{"entities":{"Q1567498":{"pageid":1578238,"ns":120,"title":"Item:Q1567498","lastrevid":72212757,"modified":"2026-04-14T03:22:36Z","type":"item","id":"Q1567498","labels":{"en":{"language":"en","value":"Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17--20, 2000. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1461736"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567498$FEECA338-92B7-48CF-B648-ED05EB67D385","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a86f4d70dd559369bd1aa62d31056db81ae025bb","datavalue":{"value":{"text":"Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17--20, 2000. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1567498$A60A19BC-8853-46F6-9169-8E041B828D8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8631f73451c683aa9fe0838906ff0f6118e81be6","datavalue":{"value":"0939.00024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567498$A71AE642-6D15-46F6-BA31-0306A72ACA0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567498$558135BB-84D6-4A05-9ED5-A12ED899E70F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c095d1fd6a9ad2c3a1058f1f892c0dc8ccec72e","datavalue":{"value":{"time":"+2000-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1567498$9B5A8F99-2E8D-492F-9151-C3EE5CC17A73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567498$CE06BF06-3F14-4742-8096-C4B2918C8647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567498$5E0EDE71-2E93-4977-97E7-E855DF96FF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567498$E0A8D641-EF62-476D-B405-F98122871654","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b9745dda5aa6b5701ffc0fc5a239096f151c305","datavalue":{"value":"1461736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567498$66B9D663-75B8-4FFE-9FF2-218DA3F9B399","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e0d502dbaecdaa8d9d2c1f2ec2968006f7bdfa","datavalue":{"value":"Pittsburgh, PA (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567498$934F7632-DD09-44CE-8379-3FA4E406D9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567498$2D32E185-5578-47F0-A0C1-2F0C721F2BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567498$14BAB34E-444A-4C8C-B9B3-665DB0C8ABCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed739869c52c8181ff5a1d10d6dfa18f82170a47","datavalue":{"value":"CADE-17","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567498$D7F955E1-AA71-4181-8AF4-85DC6F7D7096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567498$EF460B35-8B41-4631-8DD6-3371EA8CA5A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567498$CA358A14-FE18-45E2-9194-C34DB80AFCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b4417edeb81eecf1e8b28f6301e9e7aaa772c367","datavalue":{"value":{"entity-type":"item","numeric-id":18919,"id":"Q18919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567498$04EBB819-611D-4C14-A205-553ECBB737D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567498$A272EAC5-1926-4910-8094-BF7BC86D45A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"594dfaf0018a3856fda12bed34127aa02bdbfc31","datavalue":{"value":{"entity-type":"item","numeric-id":31447,"id":"Q31447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567498$E6BAEA84-80CA-4F41-A17C-9B8D3BFF103A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567498$0210A02A-278D-4696-B9E0-F4292DD80357","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17--20, 2000. Proceedings","badges":[]}}}}}