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

wd:Q5159939 rdfs:label "Conference on Automated Deduction"@en,
        "Conference on Automated Deduction"@pl ;
    schema1:dateModified "2024-09-09T22:19:26+00:00"^^xsd:dateTime ;
    schema1:description "conference series on automated theorem proving"@en,
        "cykliczna konferencja poświęcona automatycznemu dowodzeniu twierdzeń"@pl ;
    schema1:version 2246012379 ;
    wikibase:identifiers 8 ;
    wikibase:sitelinks 2 ;
    wikibase:statements 14 ;
    skos:altLabel "CADE"@en,
        "CADE"@pl ;
    p:P10283 wds:Q5159939-E5D37686-A632-433E-8920-6B27B86273E5 ;
    p:P1382 wds:Q5159939-55be16a1-448d-3a20-69cd-39e25a308879 ;
    p:P1476 wds:Q5159939-FEC8C53D-B0E0-455C-A16C-A141CB9B1A29 ;
    p:P1813 wds:Q5159939-fc45789a-4fd8-7abe-4f09-fa4fd2fb4e47 ;
    p:P214 wds:Q5159939-4E51CE44-3F9D-48B6-A043-4BC39491FB63 ;
    p:P227 wds:Q5159939-6c02585c-8da9-4add-8409-964871282309 ;
    p:P244 wds:Q5159939-6A6E8F62-DBA1-4B5C-8B2C-CEEA09AC00BF ;
    p:P2699 wds:Q5159939-196703fc-44fe-1069-ce29-9f3eaacaa291 ;
    p:P31 wds:Q5159939-c2ee9b11-4720-3dd7-fa5f-639427d93cff ;
    p:P5127 wds:Q5159939-7ee9ed16-4bde-81cc-d3b2-0d8adbebd462 ;
    p:P6366 wds:Q5159939-03305443-56D7-4C1C-BA7E-2B59825A6A80 ;
    p:P646 wds:Q5159939-72B145CA-78AE-4BA7-86BE-71978BF9A53D ;
    p:P8926 wds:Q5159939-047d185b-41bf-47bb-2bdd-0e3d34d57c2c ;
    p:P921 wds:Q5159939-02c20e40-4ce8-0035-e930-f5fba26c606a ;
    wdtn:P214 <http://viaf.org/viaf/152442227> ;
    wdtn:P227 <https://d-nb.info/gnd/125954-4> ;
    wdtn:P244 <http://id.loc.gov/authorities/names/n80082907> ;
    wdtn:P6366 <https://makg.org/entity/1134440762> ;
    wdt:P10283 "S4306418023" ;
    wdt:P1382 wd:Q6051264 ;
    wdt:P1476 "Conference on Automated Deduction"@en ;
    wdt:P1813 "CADE"@en ;
    wdt:P214 "152442227" ;
    wdt:P227 "125954-4" ;
    wdt:P244 "n80082907" ;
    wdt:P2699 <https://link.springer.com/conference/cade> ;
    wdt:P31 wd:Q47258130 ;
    wdt:P5127 "341" ;
    wdt:P6366 "1134440762" ;
    wdt:P646 "/m/07g2vn" ;
    wdt:P8926 "conf/cade" ;
    wdt:P921 wd:Q431667 .