About DBpedia Fr

About: http://fr.dbpedia.org/resource/Liste_de_systèmes_logiques

An Entity of Type : Thing, from Named Graph : http://fr.dbpedia.org, within Data Space : fr.dbpedia.org

Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle.

Property Value
dbo:abstract
  • Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle. (fr)
  • Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle. (fr)
dbo:wikiPageID
  • 10239497 (xsd:integer)
dbo:wikiPageLength
  • 17354 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 174518472 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:art
  • List of logic systems (fr)
  • List of logic systems (fr)
prop-fr:id
  • 720121878 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle. (fr)
  • Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle. (fr)
rdfs:label
  • List of Hilbert systems (en)
  • Lista de sistemas dedutivos (pt)
  • Liste de systèmes logiques (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License