{"entities":{"Q2270573":{"pageid":2281316,"ns":120,"title":"Item:Q2270573","lastrevid":43791423,"modified":"2025-11-14T07:45:24Z","type":"item","id":"Q2270573","labels":{"en":{"language":"en","value":"Automated deduction -- CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2--7, 2009. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587533"}},"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":"Q2270573$FD771501-1F25-4E9A-9006-12CD46D5FFAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f2a869a3b60afaeb0554c60538400b87a70a9d8","datavalue":{"value":{"text":"Automated deduction -- CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2--7, 2009. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2270573$AD1FDC73-6178-4D1D-8822-387F64B5A350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc7ff158c8b922034c7e869227e0a64534c603b8","datavalue":{"value":"1167.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270573$D1E72977-A030-4CC5-A00A-3BA50F85D169","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00e9348f640861d978b37968d8a7ed1dc51ba5d5","datavalue":{"value":"10.1007/978-3-642-02959-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270573$4718006F-9D1F-4761-924C-8B2595833482","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":"Q2270573$1DB22958-4066-401C-BE19-DD4353EC8BED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2270573$65778CB5-A1B3-4814-9D9D-A6D68AD7E413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270573$EDF840EB-6EFB-4794-A9E3-3F3020166BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270573$4BFCA413-407B-430A-8534-9906DB490A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270573$D2D257B3-C923-4CD0-9079-033165C11279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270573$2C8E6BD2-D67A-437C-B74B-A4BF23D0B711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270573$E9A42787-71C0-47F8-A25E-82CE6898A840","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb2a309cf889179c7ab3e31ff25fa760407d1b93","datavalue":{"value":"5587533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270573$CB62794E-257D-4AB0-8C7C-C178DBF6D378","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":"Q2270573$F279B5DE-6A20-40F8-A864-C35844077A9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8462cdd36d5eb61193d36a287dab39cc2fdc7dd0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02959-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2270573$7B31546C-DEB5-430C-B1BD-9E2C5B3E0055","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71debfc20d0456f9e396ec5bf901ec9a09e4e1a8","datavalue":{"value":"W1564749156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2270573$A177AC15-AE22-42B4-891E-B35A578FE560","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2270573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2270573"}}}}}