{"entities":{"Q5394604":{"pageid":7424178,"ns":120,"title":"Item:Q5394604","lastrevid":49960054,"modified":"2026-01-12T07:40:01Z","type":"item","id":"Q5394604","labels":{"en":{"language":"en","value":"Automated Deduction \u2013 CADE-20"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069717"}},"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":"Q5394604$F4BD630F-9F53-4758-BB57-734D11CACB15","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":"Q5394604$CC7849F6-19AE-4B33-89FD-E28891C8BC05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"001fd060a3fb264ce9fa5f56111207fee74cad9d","datavalue":{"value":"1135.68551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394604$F68FA6A5-FFD3-4EEE-8DF2-D028F27D54CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a577eae2965ce19b8ff95da312b7e14dbb3e9bb","datavalue":{"value":"10.1007/11532231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394604$0F1E6A2C-746D-4CA0-8EBF-3FC1D4BF36F1","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":"Q5394604$1D4034DC-C719-491A-8E37-91F89665908D","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":"Q5394604$B4514553-8780-469F-AF2C-CF433351F870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394604$AEE5E374-715A-44B0-9761-E5E4F43530C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394604$2C4D423C-D164-40E1-9623-CA158EECE03C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"757d30fa207a2bdc82973ebb534b330cd46939cf","datavalue":{"value":"5069717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394604$7720222D-C983-4A24-88DD-0E00EDC9D034","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394604$CBC191EE-3717-4615-8FA1-AA9FE9A6EA28","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5394604$83189C23-69BB-4C81-84E5-F4C4E136C515","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":"Q5394604$5F7106DC-7991-407F-BC00-CD31366EFBA6","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":"Q5394604$97AD8FB6-EF42-4D08-9F97-4CFD46A19604","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5c4207e35d69d7f9806dffa89195e3d8c25433a","datavalue":{"value":"W2485416161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5394604$CD15043C-1DD4-4FB7-B23C-25ECF6E5A757","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5ddd592d5b38bbc2651085afdaabc9d3ec7901","datavalue":{"value":{"entity-type":"item","numeric-id":3586992,"id":"Q3586992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c41e73e23478a7637aae1e6e2f81f34d74d4a4a","datavalue":{"value":{"amount":"+0.7922931909561157","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":"Q5394604$1B2AE43F-CD66-4A5A-86E3-AABFDF31E2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ead96eb0dad59b33308a29c10c00c5949abf9c","datavalue":{"value":{"entity-type":"item","numeric-id":2723415,"id":"Q2723415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98847a5504cb1fd345bebdc19cf0efdbe2a85b2","datavalue":{"value":{"amount":"+0.7777154445648193","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":"Q5394604$443AB3B0-1825-4C06-8ACC-35CA89D7AA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5fe89c802bf99e3b7d049a8d7c4d9ef2f2e9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4503899,"id":"Q4503899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a89805289c31e816dce1e7bfc026d0f723b6e7","datavalue":{"value":{"amount":"+0.7777153253555298","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":"Q5394604$4B471540-9B3D-42DF-96B8-34F7AF2954C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00eeadb8ca107f43b52703f930458c0a9c22a34d","datavalue":{"value":{"entity-type":"item","numeric-id":4263170,"id":"Q4263170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea0e3e03c1045e6b6cc4532e4ad72fc8a943252","datavalue":{"value":{"amount":"+0.7741075158119202","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":"Q5394604$AB88E8F7-786F-40C1-9B48-54CC2BFC15FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08562885acdf630cb480dbe6bb784304badc973","datavalue":{"value":{"entity-type":"item","numeric-id":1868508,"id":"Q1868508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5ea4fff804fd0c883c308d8f441bf88aa9fd40","datavalue":{"value":{"amount":"+0.7696055173873901","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":"Q5394604$57FE56CC-847D-40AA-A6E4-BA7EAFAFC1BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5394604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5394604"}}}}}