Browse Wiki & Semantic Web

Jump to: navigation, search
Http://www.wikidata.org/entity/Q5159939
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
http://www.wikidata.org/entity/Q5159939
http://schema.org/description conference series on automated theorem proving
http://schema.org/name Conference on Automated Deduction
http://www.w3.org/2004/02/skos/core#altLabel CADE
http://www.w3.org/2004/02/skos/core#prefLabel Conference on Automated Deduction
http://www.wikidata.org/prop/P1382 http://www.wikidata.org/entity/statement/Q5159939-55be16a1-448d-3a20-69cd-39e25a308879 +
http://www.wikidata.org/prop/P1476 http://www.wikidata.org/entity/statement/Q5159939-FEC8C53D-B0E0-455C-A16C-A141CB9B1A29 +
http://www.wikidata.org/prop/P1813 http://www.wikidata.org/entity/statement/Q5159939-fc45789a-4fd8-7abe-4f09-fa4fd2fb4e47 +
http://www.wikidata.org/prop/P214 http://www.wikidata.org/entity/statement/Q5159939-4E51CE44-3F9D-48B6-A043-4BC39491FB63 +
http://www.wikidata.org/prop/P227 http://www.wikidata.org/entity/statement/Q5159939-6c02585c-8da9-4add-8409-964871282309 +
http://www.wikidata.org/prop/P244 http://www.wikidata.org/entity/statement/Q5159939-6A6E8F62-DBA1-4B5C-8B2C-CEEA09AC00BF +
http://www.wikidata.org/prop/P2699 http://www.wikidata.org/entity/statement/Q5159939-196703fc-44fe-1069-ce29-9f3eaacaa291 +
http://www.wikidata.org/prop/P31 http://www.wikidata.org/entity/statement/Q5159939-c2ee9b11-4720-3dd7-fa5f-639427d93cff +
http://www.wikidata.org/prop/P5127 http://www.wikidata.org/entity/statement/Q5159939-7ee9ed16-4bde-81cc-d3b2-0d8adbebd462 +
http://www.wikidata.org/prop/P6366 http://www.wikidata.org/entity/statement/Q5159939-03305443-56D7-4C1C-BA7E-2B59825A6A80 +
http://www.wikidata.org/prop/P646 http://www.wikidata.org/entity/statement/Q5159939-72B145CA-78AE-4BA7-86BE-71978BF9A53D +
http://www.wikidata.org/prop/P8926 http://www.wikidata.org/entity/statement/Q5159939-047d185b-41bf-47bb-2bdd-0e3d34d57c2c +
http://www.wikidata.org/prop/P921 http://www.wikidata.org/entity/statement/Q5159939-02c20e40-4ce8-0035-e930-f5fba26c606a +
http://www.wikidata.org/prop/direct-normalized/P214 http://viaf.org/viaf/152442227 +
http://www.wikidata.org/prop/direct-normalized/P227 https://d-nb.info/gnd/125954-4 +
http://www.wikidata.org/prop/direct-normalized/P244 http://id.loc.gov/authorities/names/n80082907 +
http://www.wikidata.org/prop/direct-normalized/P6366 https://makg.org/entity/1134440762 +
http://www.wikidata.org/prop/direct/P1382 http://www.wikidata.org/entity/Q6051264 +
http://www.wikidata.org/prop/direct/P1476 Conference on Automated Deduction
http://www.wikidata.org/prop/direct/P1813 CADE
http://www.wikidata.org/prop/direct/P214 152442227
http://www.wikidata.org/prop/direct/P227 125954-4
http://www.wikidata.org/prop/direct/P244 n80082907
http://www.wikidata.org/prop/direct/P2699 https://link.springer.com/conference/cade +
http://www.wikidata.org/prop/direct/P31 http://www.wikidata.org/entity/Q47258130 +
http://www.wikidata.org/prop/direct/P5127 341
http://www.wikidata.org/prop/direct/P6366 1134440762
http://www.wikidata.org/prop/direct/P646 /m/07g2vn
http://www.wikidata.org/prop/direct/P8926 conf/cade
http://www.wikidata.org/prop/direct/P921 http://www.wikidata.org/entity/Q431667 +
rdf:type http://wikiba.se/ontology#Item +
rdfs:label Conference on Automated Deduction
hide properties that link here 
https://www.wikidata.org/wiki/Special:EntityData/Q5159939 + , https://en.wikipedia.org/wiki/Conference_on_Automated_Deduction + http://schema.org/about
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://www.b-kaempgen.de/index.php/Special:BrowseSW/http:-2F-2Fwww.wikidata.org-2Fentity-2FQ5159939"