{"entities":{"Q5394633":{"pageid":7424207,"ns":120,"title":"Item:Q5394633","lastrevid":49960141,"modified":"2026-01-12T07:40:30Z","type":"item","id":"Q5394633","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-20"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069747"}},"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":"Q5394633$F79DBDC7-D9D3-4579-9DFA-2EFFDABEFEFB","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":"Q5394633$256F6F90-A0ED-4F48-A9EB-42D4B8E871B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff0a3e8c96d40392a9a057fea2eb6fb69ba28cc5","datavalue":{"value":"1135.68559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394633$4A99912B-A148-4649-BF92-DE4935C2F17B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a577eae2965ce19b8ff95da312b7e14dbb3e9bb","datavalue":{"value":"10.1007/11532231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394633$56A91859-ECB5-4396-83D8-573287CE9340","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b15acefd49bfb606fa1cee1299f1d0c6078f7652","datavalue":{"value":{"entity-type":"item","numeric-id":5394631,"id":"Q5394631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394633$6044D91E-274D-46A2-B869-B5FDA1BBF97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca741cb95c441f3799864413feb5179a595c77","datavalue":{"value":{"entity-type":"item","numeric-id":5394632,"id":"Q5394632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394633$719A4A40-B08F-4FC7-AE28-D276384B0EED","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":"Q5394633$6930C17B-C62E-49F7-A54B-5A5F8902A7F6","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":"Q5394633$A8BF33D3-E10B-48D9-B95B-4B081A3FDAFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394633$17C4C191-0DB2-4D3B-BA8F-1058ADB2885F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0b038286cd9628d52c057eee571f486aa258a14","datavalue":{"value":"5069747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394633$D15FC03F-208A-4E22-B8F4-A487A26459F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394633$A0756297-A365-45DC-A686-ED77ED45CA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc77af174298c7eb41d0137956ef240d703fe0ef","datavalue":{"value":{"entity-type":"item","numeric-id":21816,"id":"Q21816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394633$0A376122-0B5A-4DAE-9ACE-517B90BD9395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"648f72141e71ba7eece3437af2f76b81124739c8","datavalue":{"value":{"entity-type":"item","numeric-id":33150,"id":"Q33150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394633$1EA4234E-A492-4C28-B6BD-3DE28B149CCD","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":"Q5394633$CA33F20A-7D6B-4CA8-975A-77FA0681DDBF","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":"Q5394633$4B47F135-B02E-47BA-810F-9945FC9B7BD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c4207e35d69d7f9806dffa89195e3d8c25433a","datavalue":{"value":"W2485416161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394633$4963EDFE-3A28-46F8-9119-BDF11EF87381","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c3c806ac343f8f5109540d4a3cc49ca98151a4","datavalue":{"value":{"entity-type":"item","numeric-id":3608796,"id":"Q3608796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4c100e6784b8926f0b34b720fa7d731d4325cb","datavalue":{"value":{"amount":"+0.7784302830696106","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":"Q5394633$8F0148A5-C0B4-4671-B449-258BF78432F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51d3187fb4b3cc182e6a6cc8c9efccf4815aa9eb","datavalue":{"value":{"amount":"+0.7163854837417603","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":"Q5394633$90431166-2821-446A-A990-0FAE34377211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875b8766515749ead4485aba9eb213bb8facf096","datavalue":{"value":{"entity-type":"item","numeric-id":3838803,"id":"Q3838803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e9aefc156dd4052e432827f5925d165cf13226","datavalue":{"value":{"amount":"+0.687598466873169","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":"Q5394633$B4B14BC7-7B85-42BC-A44F-F26DBF879689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee6156693e2fcb22e1cfdebb11a106a522a0a42","datavalue":{"value":{"entity-type":"item","numeric-id":3651485,"id":"Q3651485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e9aefc156dd4052e432827f5925d165cf13226","datavalue":{"value":{"amount":"+0.687598466873169","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":"Q5394633$8B56B959-79DF-4AEE-9BA0-78F0274000C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6775afbfbab38e695b755a444f34e4002f1cc655","datavalue":{"value":{"entity-type":"item","numeric-id":4783311,"id":"Q4783311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c90235c359507503a9c4337c1d4121bbcfbef6d","datavalue":{"value":{"amount":"+0.6857573986053467","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":"Q5394633$64F03F20-0719-4D28-AD25-8DEEC9244B1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394633"}}}}}