@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q280896 rdfs:label "univers d'Herbrand"@ca,
        "Herbrand-Universum"@de,
        "Herbrand universe"@en,
        "universo de Herbrand"@eo,
        "Herbrand-univerzum"@hu,
        "universo di Herbrand"@it,
        "uniwersum Herbranda"@pl,
        "universo de Herbrand"@pt ;
    schema1:dateModified "2025-02-04T07:37:53+00:00"^^xsd:dateTime ;
    schema1:description "set of all ground terms of a first-order language"@en,
        "insieme di tutti i termini ground di un linguaggio del primo ordine"@it ;
    schema1:version 2306674466 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 5 ;
    wikibase:statements 8 ;
    p:P1269 wds:Q280896-5dead0b7-4675-6c16-d635-e174724ddda9,
        wds:Q280896-71B52054-E8F3-4E99-84E4-1FE14004D0CC ;
    p:P138 wds:q280896-A75635B8-3731-422F-826A-3111338E125B ;
    p:P279 wds:Q280896-d57eb34d-492e-2a74-3f2a-9f58bef3fea7 ;
    p:P2812 wds:Q280896-49e43589-455a-7066-7f6d-e6a5d5d0f36e ;
    p:P31 wds:Q280896-15d07357-461f-13d7-9db8-10520b854ec0 ;
    p:P6104 wds:Q280896-96D78868-1129-4C65-A1EC-6CF8B31B68AA ;
    p:P646 wds:Q280896-3C64720E-B364-4442-9CC9-8ACD88EF1B4A ;
    wdt:P1269 wd:Q1609475,
        wd:Q21998744 ;
    wdt:P138 wd:Q448086 ;
    wdt:P279 wd:Q36161 ;
    wdt:P2812 "HerbrandUniverse" ;
    wdt:P31 wd:Q24034552 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P646 "/m/06wnzj" .