About DBpedia

About: Prenex-formula

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

Property Value
dbo:abstract
  • Egy formula prenex-alakúvá tételéhez először változó-tiszta alakra kell hozni a formulát. (hu)
  • Egy formula prenex-alakúvá tételéhez először változó-tiszta alakra kell hozni a formulát. (hu)
dbo:wikiPageID
  • 273216 (xsd:integer)
dbo:wikiPageLength
  • 835 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 20194779 (xsd:integer)
prop-hu:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Prenex-formula (hu)
  • Prenex-formula (hu)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects 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