This HTML5 document contains 92 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n8http://g.co/kg/m/
n18http://www.idref.fr/137039441/
schemahttp://schema.org/
n16https://archive.is/20131118022946/http:/www.info.ucl.ac.be/~ms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n9http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n21http://genealogy.math.ndsu.nodak.edu/
n12http://fr.dbpedia.org/resource/Modèle:
n17http://viaf.org/viaf/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n20http://dblp.uni-trier.de/pers/hd/s/Sintzoff:
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Michel_Sintzoff
rdf:type
dbo:Animal n9:NaturalPerson foaf:Person wikidata:Q729 dbo:Person wikidata:Q5 wikidata:Q215627 wikidata:Q19088 owl:Thing schema:Person dbo:Species dbo:Eukaryote
rdfs:label
Michel Sintzoff
rdfs:comment
Michel Sintzoff (né à Ixelles le 12 août 1938 et mort à Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un mathématicien et informaticien belge, précurseur de l'interprétation abstraite de programmes.
rdfs:seeAlso
n21:id.php?id=213011
owl:sameAs
wikidata:Q16018906 n8:0zb_pct n17:212131423 n18:id dbr:Michel_Sintzoff
dbo:deathPlace
wikidata:Q22189817
dbo:deathDate
2010-11-28
dbo:birthPlace
dbpedia-fr:Ixelles
dbo:wikiPageID
11599361
dbo:wikiPageRevisionID
187855970
dbo:wikiPageWikiLink
dbpedia-fr:Université_Joseph-Fourier category-fr:Décès_en_novembre_2010 dbpedia-fr:Mathématicien category-fr:Informaticien dbpedia-fr:Manufacture_belge_de_lampes_électriques dbpedia-fr:European_Association_for_Theoretical_Computer_Science dbpedia-fr:Interprétation_abstraite dbpedia-fr:Théorie_des_systèmes_dynamiques dbpedia-fr:Algol_68 category-fr:Décès_à_72_ans dbpedia-fr:Analyse_statique_de_programmes dbpedia-fr:Academia_Europaea dbpedia-fr:Service_civil dbpedia-fr:Université_catholique_de_Louvain_(1835-1968) dbpedia-fr:Sémantique_formelle category-fr:Membre_de_société_savante dbpedia-fr:Programmation_concurrente dbpedia-fr:Ixelles dbpedia-fr:Université_de_Lubumbashi category-fr:Docteur_honoris_causa_de_l'université_Grenoble_1 dbpedia-fr:Katanga dbpedia-fr:Ottignies-Louvain-la-Neuve dbpedia-fr:Philips dbpedia-fr:UCLouvain dbpedia-fr:Théorie_du_contrôle dbpedia-fr:Langage_de_programmation category-fr:Personnalité_en_informatique_théorique dbpedia-fr:Digital_Bibliography_&_Library_Project dbpedia-fr:Informaticien dbpedia-fr:Éditions_Dunod dbpedia-fr:Système_de_preuve_interactive category-fr:Naissance_en_août_1938 dbpedia-fr:Ordre_des_Palmes_académiques dbpedia-fr:Doctorat_honoris_causa category-fr:Professeur_à_l'université_catholique_de_Louvain
dbo:wikiPageExternalLink
n16: n20:Michel
dbo:wikiPageLength
5958
dct:subject
category-fr:Docteur_honoris_causa_de_l'université_Grenoble_1 category-fr:Informaticien category-fr:Professeur_à_l'université_catholique_de_Louvain category-fr:Décès_à_72_ans category-fr:Personnalité_en_informatique_théorique category-fr:Décès_en_novembre_2010 category-fr:Naissance_en_août_1938 category-fr:Membre_de_société_savante
prop-fr:wikiPageUsesTemplate
n12:Infobox_Biographie2 n12:Date- n12:Lien n12:Ouvrage n12:Références n12:Portail
prov:wasDerivedFrom
wikipedia-fr:Michel_Sintzoff?oldid=187855970&ns=0
prop-fr:année
1986
prop-fr:auteur
Anna Gram
prop-fr:collection
Dunod informatique
prop-fr:consultéLe
2018-03-31
prop-fr:isbn
0978-02-04
prop-fr:lieu
Paris
prop-fr:pagesTotales
388
prop-fr:titre
Raisonner pour programmer
prop-fr:éditeur
dbpedia-fr:Éditions_Dunod
foaf:isPrimaryTopicOf
wikipedia-fr:Michel_Sintzoff
dbo:doctoralStudent
wikidata:Q102364650
dbo:abstract
Michel Sintzoff (né à Ixelles le 12 août 1938 et mort à Ottignies-Louvain-la-Neuve le 28 novembre 2010) est un mathématicien et informaticien belge, précurseur de l'interprétation abstraite de programmes.
dbo:occupation
dbpedia-fr:Informaticien dbpedia-fr:Mathématicien