Herbrand universe
set of all ground terms of a first-order language
| rdfs:label |
"Herbrand universe"@en
|
| schema:description |
"set of all ground terms of a first-order language"@en
|
|
schema:date |
"2025-02-04T07:37:53+00:00"^^xsd:dateTime |
| schema:version | 2306674466 |
| wikibase:identifiers | 2 |
| wikibase:sitelinks | 5 |
| wikibase:statements | 8 |
| p:P1269 | wd:statement/Q280896-5dead0b7-4675-6c16-d635-e174724ddda9 |
| wd:statement/Q280896-71B52054-E8F3-4E99-84E4-1FE14004D0CC | |
| p:P138 | wd:statement/q280896-A75635B8-3731-422F-826A-3111338E125B |
| p:P279 | wd:statement/Q280896-d57eb34d-492e-2a74-3f2a-9f58bef3fea7 |
| p:P2812 | wd:statement/Q280896-49e43589-455a-7066-7f6d-e6a5d5d0f36e |
| p:P31 | wd:statement/Q280896-15d07357-461f-13d7-9db8-10520b854ec0 |
| p:P6104 | wd:statement/Q280896-96D78868-1129-4C65-A1EC-6CF8B31B68AA |
| p:P646 | wd:statement/Q280896-3C64720E-B364-4442-9CC9-8ACD88EF1B4A |
| wdt:P1269 | Herbrand structure |
| term algebra | |
| wdt:P138 | Jacques Herbrand |
| wdt:P279 | set |
| wdt:P2812 | "HerbrandUniverse" |
| wdt:P31 | mathematical concept |
| wdt:P6104 | WikiProject Mathematics |
| wdt:P646 | "/m/06wnzj" |
Download as: