{"entities":{"Q5394607":{"pageid":7424181,"ns":120,"title":"Item:Q5394607","lastrevid":96112304,"modified":"2026-06-05T10:26:36Z","type":"item","id":"Q5394607","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-20"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069720"}},"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":"Q5394607$A4767C98-4505-4CA1-9512-56DF4B75A71E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2c570f8c98486d9b306013d0b56ce7c1e054399","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-20","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5394607$E4F3B980-FE62-4DEA-BC9D-F3D08A0C8758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4815faad8d6cdc2c00dc0aa8a0717e9e38fcd810","datavalue":{"value":"1135.68554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394607$F0EE2C1B-FEFC-444E-9F4C-4AB59B78721E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a577eae2965ce19b8ff95da312b7e14dbb3e9bb","datavalue":{"value":"10.1007/11532231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394607$4A3A1997-229A-4509-8E63-BE4D539FC68B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394607$DA546F35-6316-442F-B299-49F5595BDD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394607$63D5B499-AFCA-4AA0-A51B-B65858BD3410","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":"Q5394607$96BC7422-E5A8-43BC-9F5D-C6C3965E9EDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"383fa8cf3a55c9f8c536ed3293ab02f870426e40","datavalue":{"value":{"time":"+2006-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5394607$C6067B40-198E-44E3-939F-F40C6AE67F58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394607$6BA6C178-F4B8-45B4-A2A0-47E7C708929E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394607$29458D12-42B4-46D3-BD06-9057E71F1CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394607$5515AE82-4959-4DEA-B0EB-A24D291D9B39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f28022fdaf4370d3f65c63bf99dba3b18419b6ec","datavalue":{"value":"5069720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394607$C8E389DB-89F1-4E12-85D6-44E68704406C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6f0aa77e475c4664199396d1dc04a1aa751a004","datavalue":{"value":{"entity-type":"item","numeric-id":23925,"id":"Q23925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394607$13CB3F60-7119-4F55-8FFF-0A5636BBF427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb3edc89650c4076d0b4ea16fb243ec7c06ec7a5","datavalue":{"value":{"entity-type":"item","numeric-id":23927,"id":"Q23927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394607$B181EC46-143F-485C-A1EE-AA8E3DF8B9D2","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":"Q5394607$155EEBE2-1C58-44E0-A90A-D7016312C919","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb92e61a4d75b7d289b5e7f0bf9b7e65ab1d7896","datavalue":{"value":"https://doi.org/10.1007/11532231","type":"string"},"datatype":"url"},"type":"statement","id":"Q5394607$30A21466-06B9-4B95-B452-9892F3545F7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c4207e35d69d7f9806dffa89195e3d8c25433a","datavalue":{"value":"W2485416161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394607$37297CE1-0186-4EE1-B6A3-5E09B3BE6D64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fecaf5d9c86b134261a13b9db086904b8d4b9fc","datavalue":{"value":{"entity-type":"item","numeric-id":5394578,"id":"Q5394578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f7a72a00f5dbed18526a55ce8d7e3532239081","datavalue":{"value":{"amount":"+0.8683164119720459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394607$F45CDDAE-33F6-4C74-812A-05CCA6F0C8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"569212cee5b1a71f3f06acb33bf8b257b5e9bb46","datavalue":{"value":{"entity-type":"item","numeric-id":5191105,"id":"Q5191105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1d7930b6d986a75c41b8ddb578282b89433999","datavalue":{"value":{"amount":"+0.7923502326011658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394607$EF588168-AE38-4835-8C22-F9366D529515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8897b503f35dfc7a7d29212f92d8ed25b0532f55","datavalue":{"value":{"entity-type":"item","numeric-id":5505551,"id":"Q5505551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa798d95044a5b002e3c3a33cd6bd1f8be385563","datavalue":{"value":{"amount":"+0.7875149250030518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394607$E41CEE54-C376-4514-96D0-C8F240859483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea81a421aa44ac10016fb7cde17905ba717b215","datavalue":{"value":{"entity-type":"item","numeric-id":928660,"id":"Q928660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa5bddd47be806d92b372cd7eec8b32ac132fc8","datavalue":{"value":{"amount":"+0.7801109552383423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394607$9CFC36E6-0786-42A9-B1C6-019CEC09ABE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"546d9adf7e0eed11370eb8b4e06e8d4cf94fe5dc","datavalue":{"value":{"entity-type":"item","numeric-id":4539650,"id":"Q4539650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fe2da57ecd8ce68a2d232a4e4d9ca9888f6849","datavalue":{"value":{"amount":"+0.7670073509216309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5394607$5485B736-FD7C-4207-8CAF-483D4E0FC6D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Deduction \u2013 CADE-20 (scientific article; zbMATH DE number 5069720)","badges":[]}}}}}