{"entities":{"Q5394609":{"pageid":7424183,"ns":120,"title":"Item:Q5394609","lastrevid":58551789,"modified":"2026-04-05T17:29:44Z","type":"item","id":"Q5394609","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-20"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069722"}},"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":"Q5394609$AB2BB191-32DF-40F4-847A-DC7AB117A689","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":"Q5394609$39C19189-34CD-41E8-97B6-7FB58CDC5A77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a6142159b038fcadfb0bf05da240e5a090f80e6","datavalue":{"value":"1135.68556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394609$6C616640-2E81-4F36-BD8F-42E27A8B65AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a577eae2965ce19b8ff95da312b7e14dbb3e9bb","datavalue":{"value":"10.1007/11532231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394609$48CD972C-5BDB-40C8-9DB9-F6A240E2DCB0","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":"Q5394609$EB2545AB-F12A-41BF-B8B5-8E34B0A1F718","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":"Q5394609$B89662F2-2F19-40E4-A03A-2C7A39F21537","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a015b6e9f0f614fdc5a1ffb0ad5ff913deb2193c","datavalue":{"value":"https://arxiv.org/abs/0904.4902","type":"string"},"datatype":"url"},"type":"statement","id":"Q5394609$B305BF0C-CC96-45BE-9BBF-E780EEAC15E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394609$7B8B47F5-3A6B-4D45-86E8-31E222267F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394609$D5F2040E-F55F-4B34-9D8D-FD85F3917C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394609$950623BD-CEA9-4B6A-9181-57900AFF0771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a9a67a4c7d3ded7bc9f29d4e453361d41490d47","datavalue":{"value":"5069722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394609$27DC8360-ECB8-4ECA-8946-59BC8BA45D55","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":"Q5394609$A4794A4B-2332-4495-A47D-51FC1DD5183D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c4207e35d69d7f9806dffa89195e3d8c25433a","datavalue":{"value":"W2485416161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394609$526E1AEE-C0FE-452D-99EE-4CF2D659A6BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42fd7fd08a842e0eb95ea9deb6868d0cf675d00","datavalue":{"value":{"entity-type":"item","numeric-id":3636811,"id":"Q3636811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab5838d9c3f1dffbe534a5f2dcae55ea5f13129","datavalue":{"value":{"amount":"+0.9989522695541382","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":"Q5394609$85D6EF6F-C057-4834-B5D9-EDB06B8691EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b2d35a9295d82e540406e0b6df40b0b0eb42e2","datavalue":{"value":{"entity-type":"item","numeric-id":5312907,"id":"Q5312907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f2d7823a670086fc5dbd0320fa8a91e10534b3","datavalue":{"value":{"amount":"+0.8551357388496399","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":"Q5394609$07A76EBF-B7AE-491F-A011-ABE11EAC1013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74e7ae950967d9d83198b88f58fe257c62a8a73","datavalue":{"value":{"entity-type":"item","numeric-id":2643337,"id":"Q2643337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94682e2a351796e01ef83f491110391a4df1a1f0","datavalue":{"value":{"amount":"+0.8099178075790405","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":"Q5394609$5313F4B5-FBF8-487C-AAD4-D4DDF52E4359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b75373f9f0445c42710ea3d755e0ae2535555e","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ab944072b4700c756084b733e60deff95c4dd6","datavalue":{"value":{"amount":"+0.771893322467804","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":"Q5394609$A63F8F19-9F3D-430E-92E2-E6A4DC67BD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0fbceec55478b7811fdca0d030f66fe942aff3","datavalue":{"value":{"entity-type":"item","numeric-id":5899082,"id":"Q5899082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e4d60ccc7af0dfd4b72f8f6c0ef205c76b3983","datavalue":{"value":{"amount":"+0.7691802978515625","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":"Q5394609$F372CCB9-E77C-4FAF-AE7E-95B9780359FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394609"}}}}}