Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Herbrand_structure> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Herbrand_structure abstract "In First-order logic, a Herbrand structure S is a structure over a vocabulary σ, that is defined solely by the syntactical properties of σ. The idea is to take the symbols of terms as their values, e.g. the denotation of a constant symbol c is just 'c' (the symbol).Herbrand structures play an important role in the foundations of logic programming.".
- Herbrand_structure wikiPageID "12274200".
- Herbrand_structure wikiPageLength "3654".
- Herbrand_structure wikiPageOutDegree "12".
- Herbrand_structure wikiPageRevisionID "678057872".
- Herbrand_structure wikiPageWikiLink Category:Mathematical_logic.
- Herbrand_structure wikiPageWikiLink First-order_logic.
- Herbrand_structure wikiPageWikiLink Ground_expression.
- Herbrand_structure wikiPageWikiLink Herbrand_interpretation.
- Herbrand_structure wikiPageWikiLink Herbrandization.
- Herbrand_structure wikiPageWikiLink Herbrands_theorem.
- Herbrand_structure wikiPageWikiLink Logic_programming.
- Herbrand_structure wikiPageWikiLink Springer_Science+Business_Media.
- Herbrand_structure wikiPageWikiLink Structure_(mathematical_logic).
- Herbrand_structure wikiPageWikiLinkText "Herbrand structure".
- Herbrand_structure wikiPageWikiLinkText "Herbrand_structure".
- Herbrand_structure wikiPageWikiLinkText "structure".
- Herbrand_structure wikiPageWikiLinkText "term model".
- Herbrand_structure wikiPageUsesTemplate Template:Cite_book.
- Herbrand_structure subject Category:Mathematical_logic.
- Herbrand_structure hypernym Structure.
- Herbrand_structure type Building.
- Herbrand_structure type Field.
- Herbrand_structure type Source.
- Herbrand_structure comment "In First-order logic, a Herbrand structure S is a structure over a vocabulary σ, that is defined solely by the syntactical properties of σ. The idea is to take the symbols of terms as their values, e.g. the denotation of a constant symbol c is just 'c' (the symbol).Herbrand structures play an important role in the foundations of logic programming.".
- Herbrand_structure label "Herbrand structure".
- Herbrand_structure sameAs Q1609475.
- Herbrand_structure sameAs Herbrand-Struktur.
- Herbrand_structure sameAs Estrutura_de_Herbrand.
- Herbrand_structure sameAs m.02vyj3d.
- Herbrand_structure sameAs Q1609475.
- Herbrand_structure wasDerivedFrom Herbrand_structure?oldid=678057872.
- Herbrand_structure isPrimaryTopicOf Herbrand_structure.