{"entities":{"Q5394622":{"pageid":7424196,"ns":120,"title":"Item:Q5394622","lastrevid":96112439,"modified":"2026-06-05T10:26:37Z","type":"item","id":"Q5394622","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-20"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069738"}},"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":"Q5394622$21CC14C2-E312-4BA2-B886-4D3196819D7E","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":"Q5394622$8CF9451E-9B49-4869-9B51-841FAE001643","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22ba26a52790149b2cb0596304866e6e2015bc80","datavalue":{"value":"1135.68560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394622$DFFCE93F-C1CF-4FF1-9A41-D82D90408913","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a577eae2965ce19b8ff95da312b7e14dbb3e9bb","datavalue":{"value":"10.1007/11532231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394622$BA30128A-B56F-4D44-81C7-B5969195E2B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08123107bbe753d0257762423381fa97f03c2275","datavalue":{"value":{"entity-type":"item","numeric-id":462496,"id":"Q462496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394622$8BF10F4F-B8D6-473C-966B-6327EA683770","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":"Q5394622$57066C61-F808-4975-9E34-FBC58B598AD1","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":"Q5394622$0E39850B-C79D-4819-9141-9278B653495F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394622$0533B77C-2A5F-43FF-BE1B-5D9A9C3A72CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b1ee676bac4c55ac02bf064a9ae623041ca5505","datavalue":{"value":"5069738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394622$FB1C2950-909C-4FFC-A0C4-26AC83F1B0EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394622$A482BC68-97BD-4316-8651-7C57CEC21037","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":"Q5394622$39BE9135-D5B8-48A8-879E-D39EB9C2AFDA","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":"Q5394622$5FEC8CA1-EAD8-4F0A-9738-FB1E03A83E61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c4207e35d69d7f9806dffa89195e3d8c25433a","datavalue":{"value":"W2485416161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394622$2FBCC1CB-17D0-47BB-B27C-BCFB18F573D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54323aa033699f30fffea99baabbaeefe528081","datavalue":{"value":{"entity-type":"item","numeric-id":5758129,"id":"Q5758129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c810d48b29440bdc90f958cfd9f0bf3c6f79487","datavalue":{"value":{"amount":"+0.7847950458526611","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":"Q5394622$58A006B2-3FC0-45ED-971A-4936F14B5E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fa6af5f8f27e3c7d3c5a7753445e18c50dbff3","datavalue":{"value":{"entity-type":"item","numeric-id":540685,"id":"Q540685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a124f60c10dde7a8c338f94ce0df0b5335885304","datavalue":{"value":{"amount":"+0.7517263293266296","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":"Q5394622$194B5254-34B5-4115-87DA-5664A06E09D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d40fbfc7c79288a8a58dff3230ad87bb3e37d6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b1daababb5c45ef4ae324111a3f53d86de8060","datavalue":{"value":{"amount":"+0.7504034042358398","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":"Q5394622$58DAF189-E042-4168-BD05-3CD1473D0BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831fdf921549fb7e6c277ea080f02501b3028f24","datavalue":{"value":{"entity-type":"item","numeric-id":5862666,"id":"Q5862666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0a92e73cffe964526fe7e2c00f8b8324f96b01","datavalue":{"value":{"amount":"+0.7185786962509155","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":"Q5394622$EBC32E3E-5A61-4B8C-9921-0FE7F46EBB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedd0051c9ad7964d7b4d129737bb77ebd01ce0c","datavalue":{"value":{"entity-type":"item","numeric-id":3590969,"id":"Q3590969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b8c73b62cfdac76734dcca1d6093c841ed2e09","datavalue":{"value":{"amount":"+0.7144083380699158","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":"Q5394622$407FA256-6F49-4CF3-8C0D-363C2B9743B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Deduction \u2013 CADE-20 (scientific article; zbMATH DE number 5069738)","badges":[]}}}}}