{"entities":{"Q1953299":{"pageid":1964041,"ns":120,"title":"Item:Q1953299","lastrevid":71999394,"modified":"2026-04-14T01:58:49Z","type":"item","id":"Q1953299","labels":{"en":{"language":"en","value":"Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171776"}},"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":"Q1953299$552BE429-8CE6-41E1-A5D0-12C8786F1DD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d390406a80dfd527ed726d50220ebfa4e687a583","datavalue":{"value":{"text":"Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1953299$130666EB-DB4D-44AE-9E5C-76029CF9785B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40594b72388312500e11c2916f42480398f3a238","datavalue":{"value":"1264.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953299$C17757BB-7208-4C49-B09D-FE3C802E72E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5faa8f0b32bf87970a948569cc5ae2a5303e7766","datavalue":{"value":"10.1007/978-3-642-38574-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953299$253D2BF2-6444-4D91-A5FD-7EC9387DA92F","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":"Q1953299$D3C13E90-BEE2-4AB4-B622-A1B3B75A7782","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a8303ee696998ba030c9b1c3b6bc07c6038c334","datavalue":{"value":{"time":"+2013-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1953299$FE5576C3-7B31-4F24-9777-B6C78B1FA52A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953299$FF7D4BC1-BCF6-4156-B289-A997D23BBBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953299$AE0FE45E-BF0E-468B-8DCA-5FB573FBBF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953299$0B075CB3-5B16-439C-8B94-3A291941CDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953299$9C799EA8-64A4-4188-9270-6218422DCC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953299$810ABC78-4AFD-4E68-8071-D083A6353E65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d21736d0956a0ad524141789b575e33bccd975c","datavalue":{"value":"6171776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953299$7457164D-4CFC-4634-B1C8-E4A2F288A31E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1953299$479737B8-CCDB-4B14-B633-657B31B54FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1953299$62779631-75D9-4528-A657-3D2D8EF08C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8376bcc90e7c7f009563b97a4560743162f2cada","datavalue":{"value":{"entity-type":"item","numeric-id":22158,"id":"Q22158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1953299$934E06F7-DAA8-4208-B2D6-3DD68B0333FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4db67863b5fec3bef62722f41df2cb373dae295e","datavalue":{"value":{"entity-type":"item","numeric-id":27083,"id":"Q27083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1953299$AD08268E-C74D-4BA3-9F99-3F9902AA458A","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":"Q1953299$6DE4A1B7-DFF7-4A3F-9F98-2DBCD0078611","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"529e65e303c7096ca370952013f5fcfbd855fae1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1953299$D24BA7DC-DC52-40A4-95A9-0ADD3CE677F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0fc0dbe3d75ff6e413bc66c0c18d78d2740c8fb","datavalue":{"value":"W2504697871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953299$1959CED0-D357-44E5-8D1F-42022FD72230","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings","badges":[]}}}}}