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