Horn-Formeln sind eine wichtige Art prädikatenlogischer Formeln. Sie spielen eine zentrale Rolle in der logischen Programmierung und sind von Bedeutung für die konstruktive Logik. Benannt wurden sie nach dem US-amerikanischen Mathematiker Alfred Horn.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:author | |
| dbo:isbn |
|
| dbo:originalTitle |
|
| dbo:wikiPageID |
|
| dbo:wikiPageRevisionID |
|
| prop-de:auflage |
|
| prop-de:jahr |
|
| prop-de:ort |
|
| dc:publisher |
|
| dct:subject | |
| rdf:type | |
| rdfs:comment |
|
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| is dbo:influencedBy of | |
| is dbo:wikiPageDisambiguates of | |
| is dbo:wikiPageRedirects of | |
| is foaf:primaryTopic of |
