Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Herbrand_structure> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- Herbrand_structure abstract "In mathematics, for a language , define the Herbrand universe to be the set of ground terms of . A structure for is a Herbrand structure if the domain of is the Herbrand universe of and the interpretation of is a Herbrand interpretation. This fixes the domain of , and so each Herbrand structure can be identified with its interpretation. A Herbrand model of a theory is a Herbrand structure which is a model of".
- Herbrand_structure wikiPageID "12274200".
- Herbrand_structure wikiPageRevisionID "544867154".
- Herbrand_structure hasPhotoCollection Herbrand_structure.
- Herbrand_structure id "6105".
- Herbrand_structure title "Herbrand structure".
- Herbrand_structure subject Category:Mathematical_logic.
- Herbrand_structure comment "In mathematics, for a language , define the Herbrand universe to be the set of ground terms of . A structure for is a Herbrand structure if the domain of is the Herbrand universe of and the interpretation of is a Herbrand interpretation. This fixes the domain of , and so each Herbrand structure can be identified with its interpretation. A Herbrand model of a theory is a Herbrand structure which is a model of".
- Herbrand_structure label "Estrutura de Herbrand".
- Herbrand_structure label "Herbrand structure".
- Herbrand_structure label "Herbrand-Struktur".
- Herbrand_structure sameAs Herbrand-Struktur.
- Herbrand_structure sameAs Estrutura_de_Herbrand.
- Herbrand_structure sameAs m.02vyj3d.
- Herbrand_structure sameAs Q1609475.
- Herbrand_structure sameAs Q1609475.
- Herbrand_structure wasDerivedFrom Herbrand_structure?oldid=544867154.
- Herbrand_structure isPrimaryTopicOf Herbrand_structure.