Hornova klauzule

Property	Value
prop-cs:wikiPageUsesTemplate	dbpedia-cs:Šablona:Pahýl dbpedia-cs:Šablona:Portály
dbpedia-owl:wikiPageID	16798 (xsd:integer)
dbpedia-owl:wikiPageLength	1616 (xsd:integer)
dbpedia-owl:wikiPageOutDegree	11 (xsd:integer)
dbpedia-owl:wikiPageRevisionID	13229684 (xsd:integer)
dbpedia-owl:wikiPageWikiLink	dbpedia-cs:Logické_programování dbpedia-cs:Prolog_(programovací_jazyk) dbpedia-cs:Formule_(logika) dbpedia-cs:Implikace dbpedia-cs:Konjunktivní_normální_forma dbpedia-cs:Negace dbpedia-cs:Disjunkce dbpedia-cs:Výroková_logika dbpedia-cs:Klauzule dbpedia-cs:Konstruktivní_logika category-cs:Logika
dbpedia-owl:wikiPageWikiLinkText	Hornovy klauzule Hornova klauzule Hornových klauzulí
dcterms:subject	category-cs:Logika
rdfs:label	Hornova klauzule
prov:wasDerivedFrom	wiki-cs:Hornova_klauzule?oldid=13229684
foaf:isPrimaryTopicOf	wiki-cs:Hornova_klauzule
is dbpedia-owl:wikiPageDisambiguates of	dbpedia-cs:Klauzule
is dbpedia-owl:wikiPageRedirects of	dbpedia-cs:Hornovy_klauzule dbpedia-cs:Hornovské_klauzule
is dbpedia-owl:wikiPageWikiLink of	dbpedia-cs:Robert_Kowalski dbpedia-cs:Splnitelnost dbpedia-cs:Prolog_(programovací_jazyk) dbpedia-cs:Hornovy_klauzule dbpedia-cs:Klauzule dbpedia-cs:Induktivní_logické_programování dbpedia-cs:Hornovské_klauzule dbpedia-cs:Rezoluce_(logika)
is foaf:primaryTopic of	wiki-cs:Hornova_klauzule

About: Hornova klauzule