{"entities":{"Q555523":{"pageid":557290,"ns":120,"title":"Item:Q555523","lastrevid":62834760,"modified":"2026-04-11T08:40:43Z","type":"item","id":"Q555523","labels":{"en":{"language":"en","value":"Automated deduction -- CADE-23. 23rd international conference on automated deduction, Wroc\u0142aw, Poland, July 31 -- August 5, 2011. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5931450"}},"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":"Q555523$F378A881-5278-4F01-BF20-BBB9EA77F354","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddd31866243a01745324e13727bd8f26e458c05e","datavalue":{"value":{"text":"Automated deduction -- CADE-23. 23rd international conference on automated deduction, Wroc\u0142aw, Poland, July 31 -- August 5, 2011. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555523$2C9EE40B-4195-4C68-9A34-C6C1346AB325","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"353bd0fdff5370991317cf861526f42344e1daa9","datavalue":{"value":"1218.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555523$779CB70A-CA07-49D0-838E-98727FEE9DB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"928be59d145fe0436cca4cb88ede60e64f18a271","datavalue":{"value":"10.1007/978-3-642-22438-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555523$DDC1BB11-C985-4621-8327-94B515E7797D","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":"Q555523$BD7B05F1-49D8-45E0-AC14-F33EB61CACF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5df4dafb857e4cd4bb21e9474aea0b1df6d758d6","datavalue":{"value":{"time":"+2011-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q555523$941EB6C5-6DFB-4CC8-AEEB-355CD5A1707E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555523$997AA6B8-D1F7-47A3-B431-33DB7E2FBFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555523$5434EA38-4D2E-4466-9AAE-94159C567BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555523$5F80AA68-8522-46F2-92B3-C037ABCA5953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555523$74189F1A-BCB2-44A2-86FC-C9D07DAA6273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555523$D2595932-72A7-42C7-8B48-BC66A74A001F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47d02cd1852767ed0812c3bbc790be3c6ac5da04","datavalue":{"value":"5931450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555523$EDD92B90-F64D-4A42-B749-B1A7BD523DBC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b25e418490d012cc05c0baac0dec1d5540bfd48","datavalue":{"value":"Q117287255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555523$87389A76-43F6-4F4A-BCBA-26E54A9ABBA5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555523$24DBD9F2-03C0-4C96-9BAA-56DB46A7E7B9","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":"Q555523$068E1E3A-76AB-4E77-B39A-1837163C140B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1add7551cb794d0663dd362079501592120152e1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q555523$A424181F-1596-4EA8-B803-E772914C3F11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"debf894422d0a8ad5fa392396c6453548ad0ad1b","datavalue":{"value":"W1590111213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555523$25621C73-CA49-4519-ADF3-1CAC4783988D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated deduction -- CADE-23. 23rd international conference on automated deduction, Wroc\u0142aw, Poland, July 31 -- August 5, 2011. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_deduction_--_CADE-23._23rd_international_conference_on_automated_deduction,_Wroc%C5%82aw,_Poland,_July_31_--_August_5,_2011._Proceedings"}}}}}