{"entities":{"Q1601835":{"pageid":1612575,"ns":120,"title":"Item:Q1601835","lastrevid":67960269,"modified":"2026-04-12T20:29:41Z","type":"item","id":"Q1601835","labels":{"en":{"language":"en","value":"Combining assisted and automated deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1761161"}},"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":"Q1601835$51D9AD9F-DD4F-490C-9E5B-8176CD3E48F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5591be5309fa73b3524554a59ba40fcc94f161eb","datavalue":{"value":{"text":"Combining assisted and automated deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1601835$C3825E00-3EA0-4547-90F0-9F92173EC191","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08c12ce5c9187a367f416545caa02eaf918457aa","datavalue":{"value":"1001.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601835$0726FA42-18C0-4750-9F1B-949804C2E9B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be301cdb6b9e8e610151eaafe48562736a7e840d","datavalue":{"value":"10.1023/A:1018987702427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601835$BA343CB8-0276-4224-9048-2B8772B0262B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601835$C730C372-5D97-4BD2-BCC9-0B770C4C4563","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601835$B43CB002-8BFB-4ABB-95F9-F6CFAAF40E33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6aa0b5839eb2d6e7fb371f8a4ca03238e6998f63","datavalue":{"value":{"time":"+2002-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1601835$7225567C-68FD-4734-8D5B-32EE4E5800BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601835$63BC4163-8C94-4E8D-9BFA-5A3F761CAFE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77c05ab07c2041fc440eed31f7da54af4b7a1d0d","datavalue":{"value":"1761161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601835$81C36CB6-0ED6-4CB3-9748-CB0E53D8638E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601835$8DEF7EAA-E784-48A8-85DB-CE37E2077B1D","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":"Q1601835$76164B22-68FC-47B5-8342-C05D8906910E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ae58b3c3b82c5c0f06f8b00dbcce12b373e1c02","datavalue":{"value":"https://doi.org/10.1023/a:1018987702427","type":"string"},"datatype":"url"},"type":"statement","id":"Q1601835$587C358D-2960-4A75-8DB3-EF09F2F1DCD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6e16e32cce3f4410e7b36c5f9c73a0bb530ccee","datavalue":{"value":"W2148375730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601835$A35856FD-4889-4700-9A42-8842B333B972","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31ac5b611e1dc394bc6dbb9071cf4d1998a3862","datavalue":{"value":{"entity-type":"item","numeric-id":4524769,"id":"Q4524769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709f859ce8156dccbf37de942e3b634cbd7c3b09","datavalue":{"value":{"amount":"+0.7955853343009949","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":"Q1601835$60670425-BA38-45D0-A275-8E2A68407DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d7cfad8603408517432e91f5b24385906e213e","datavalue":{"value":{"entity-type":"item","numeric-id":1364068,"id":"Q1364068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e9b3c115bba1e53031290c5ccfe06817f8c70a","datavalue":{"value":{"amount":"+0.7754887938499451","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":"Q1601835$6735B415-7CBE-451C-8732-662E765618BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a601cfde3006cf82c00d658779dadb2e2a7db9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5387852,"id":"Q5387852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e9b3c115bba1e53031290c5ccfe06817f8c70a","datavalue":{"value":{"amount":"+0.7754887938499451","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":"Q1601835$7AEE5D29-4B76-460F-9B7F-6802F1BA06B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95c54f3fa2c62f282adb6a4b1352266acf255a7","datavalue":{"value":{"entity-type":"item","numeric-id":4916217,"id":"Q4916217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cc528d1dc99d9737247fe978bc63bf19019e6e","datavalue":{"value":{"amount":"+0.7506532669067383","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":"Q1601835$84362CCE-703F-46B6-8F6A-1C92C6B9752E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa5a0802698a0678b8093ca6b34b4f52d547832","datavalue":{"value":{"entity-type":"item","numeric-id":5900725,"id":"Q5900725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6250aa0882efd359089db8be703a095d7e60bbc1","datavalue":{"value":{"amount":"+0.7491308450698853","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":"Q1601835$2E7CCF62-91F1-430C-9A02-9CDEBFEB32F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining assisted and automated deduction","badges":[]}}}}}