About: http://fr.dbpedia.org/resource/Sémantique

Property	Value
dbo:abstract	La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu'un programme informatique est correct. (fr) La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu'un programme informatique est correct. (fr)
dbo:wikiPageID	98420 (xsd:integer)
dbo:wikiPageLength	4461 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	159157525 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Abstraction dbpedia-fr:Algorithme_d'Euclide_étendu category-fr:Informatique_théorique category-fr:Méthode_formelle dbpedia-fr:Charles_Antony_Richard_Hoare dbpedia-fr:Logique_de_Hoare dbpedia-fr:Logique_mathématique dbpedia-fr:Plus_grand_commun_diviseur dbpedia-fr:Preuve dbpedia-fr:Programme_informatique dbpedia-fr:Robert_Floyd dbpedia-fr:Règle_d'inférence dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Sémantique_dénotationnelle dbpedia-fr:Sémantique_opérationnelle dbpedia-fr:Équation_diophantienne_ax_+_by_=_c
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Palette dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Section_vide_ou_incomplète dbpedia-fr:Modèle:Ébauche dbpedia-fr:Modèle:Article_général
dct:subject	category-fr:Informatique_théorique category-fr:Méthode_formelle
rdfs:comment	La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu'un programme informatique est correct. (fr) La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu'un programme informatique est correct. (fr)
rdfs:label	Axiomatische Semantik (de) Semántica axiomática (es) Sémantique axiomatique (fr) 公理的意味論 (ja) 公理语义学 (zh) Axiomatische Semantik (de) Semántica axiomática (es) Sémantique axiomatique (fr) 公理的意味論 (ja) 公理语义学 (zh)
rdfs:seeAlso	https://www.quora.com/topic/Axiomatic-Semantics http://www.omegawiki.org/DefinedMeaning:1222640
owl:sameAs	dbr:Axiomatic_semantics wikidata:Q792533 dbpedia-de:Axiomatische_Semantik dbpedia-el:Αξιωματική_σημασιολογία dbpedia-es:Semántica_axiomática dbpedia-hr:Aksiomatska_semantika dbpedia-ja:公理的意味論 dbpedia-pt:Semântica_axiomática dbpedia-sr:Аксиоматска_семантика dbpedia-uk:Аксіоматична_семантика dbpedia-zh:公理语义学 http://g.co/kg/m/02ks7z http://ma-graph.org/entity/58041814
prov:wasDerivedFrom	wikipedia-fr:Sémantique_axiomatique?oldid=159157525&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Sémantique_axiomatique
is dbo:wikiPageRedirects of	dbpedia-fr:Semantique_axiomatique
is dbo:wikiPageWikiLink of	dbpedia-fr:Semantique_axiomatique dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Logique_de_Hoare dbpedia-fr:Méthode_formelle_(informatique) dbpedia-fr:Sémantique_algébrique_(informatique) dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Sémantique_dénotationnelle dbpedia-fr:Sémantique_formelle_(logique) dbpedia-fr:Terminaison_d'un_algorithme dbpedia-fr:Modalité_(linguistique_et_logique)
is oa:hasTarget of	tag-fr:DeFrResource tag-fr:JaFrResource tag-fr:EsFrResource tag-fr:ZhFrResource tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:Sémantique_axiomatique

About: http://fr.dbpedia.org/resource/Sémantique_axiomatique