{"entities":{"Q5394608":{"pageid":7424182,"ns":120,"title":"Item:Q5394608","lastrevid":49960063,"modified":"2026-01-12T07:40:02Z","type":"item","id":"Q5394608","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-20"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069721"}},"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":"Q5394608$A8BE158E-D384-4DA3-A49F-AD1F9E956D31","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":"Q5394608$AE2065C6-AC13-4BFD-A178-681C08E9B634","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"628db013623f7f1e9ed6d48072fe1e79a4b175a9","datavalue":{"value":"1135.68549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394608$533E6C9B-CEB7-4621-8602-721E1F77D741","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a577eae2965ce19b8ff95da312b7e14dbb3e9bb","datavalue":{"value":"10.1007/11532231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394608$489903AE-86ED-418B-B725-26E7118A111F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dbcfab01bc8a329499434eec2cf9301b09edd82","datavalue":{"value":{"entity-type":"item","numeric-id":841685,"id":"Q841685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394608$140E660B-AC07-4332-AFFE-9B987AB2A9B3","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":"Q5394608$E68DBB77-7499-4D2E-BC5A-BD74423A6899","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":"Q5394608$D90BEF51-9A0F-4B59-A01F-0D76C71F9549","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394608$2691C7F5-D678-44BC-BF46-45A9E97CDF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394608$6F623867-0FF8-4B99-8473-A92C416FBD4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b45e94376e6c75e30e9659f52cd0e3729e43069c","datavalue":{"value":"5069721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394608$E2EE9902-7165-4A10-893A-C096EDFB2C4F","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":"Q5394608$073D6AC5-D2AC-436D-9DBF-32727492B19A","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":"Q5394608$26B46C10-D700-46C5-BF99-8E5FDD4D2C2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c4207e35d69d7f9806dffa89195e3d8c25433a","datavalue":{"value":"W2485416161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394608$7A6C2B3C-B99A-4F77-AF4F-AFA9E6FFD462","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ca1f12c67ad163330d43f42f3e886aa4ddc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4790652,"id":"Q4790652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d4c27e1f64bc4f4c04d6da4134a3bbbacefcc8","datavalue":{"value":{"amount":"+0.7253731489181519","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":"Q5394608$5B33D35A-73BA-4F85-B0A9-E9CBD5FA7EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22860814a549f6d2381505fa4c4fdc08fe96fdf","datavalue":{"value":{"entity-type":"item","numeric-id":5366876,"id":"Q5366876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b382dc67553c86a19dbe726a055d5a1a7d6bc95","datavalue":{"value":{"amount":"+0.7206456065177917","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":"Q5394608$7ECFEA96-4751-476C-A0A2-2063B04BC514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce02baa0de333273f9fe4a98bbfa19bd3e619f0b","datavalue":{"value":{"entity-type":"item","numeric-id":3455860,"id":"Q3455860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec276ea7bce20ed9e5e371b524e8a5f6b371cb3a","datavalue":{"value":{"amount":"+0.7093176245689392","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":"Q5394608$3291CD38-760E-47CD-AE07-23C3030CB8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a75defd29272f33db316493bee64bea5815d0f","datavalue":{"value":{"entity-type":"item","numeric-id":3179185,"id":"Q3179185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45e04856b332a4c9f89ec384aa26f99a42193042","datavalue":{"value":{"amount":"+0.7024421095848083","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":"Q5394608$0E1C6040-5695-4CF6-ABB1-CCFDD89CAC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd509e6718aa47b8918d606620dc4fdb7cd425c","datavalue":{"value":{"entity-type":"item","numeric-id":1312161,"id":"Q1312161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f3023b71aaf27b0c723875b39d3a5d574add72","datavalue":{"value":{"amount":"+0.701738715171814","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":"Q5394608$C03ED732-840B-4ADB-AB52-2CD9432CF952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394608"}}}}}