{"entities":{"Q3612651":{"pageid":5642557,"ns":120,"title":"Item:Q3612651","lastrevid":50601461,"modified":"2026-01-14T12:59:36Z","type":"item","id":"Q3612651","labels":{"en":{"language":"en","value":"Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527397"}},"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":"Q3612651$CC71D56F-F8D5-49F6-8A04-9E748D192733","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"545705ea79e89e13fd81f672c17e1e36b50f51c1","datavalue":{"value":{"text":"Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612651$21D46754-66C8-4AC9-ABF7-3F1772AF41EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50553864dae361f8a820ab938180f01b9cc79cf3","datavalue":{"value":"1213.68566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612651$DC38B2E8-2AEA-43B4-A248-884045984245","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dec0a14b447935589cc0b9d5d27469e95eb80e4","datavalue":{"value":"10.1007/978-3-540-73445-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612651$1CA2256A-ED80-44C4-A65E-442C5DD9C5D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2758ceab13f45300dfae37817788d71b5a485f2a","datavalue":{"value":{"entity-type":"item","numeric-id":2352495,"id":"Q2352495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612651$F9FD42EA-16B2-40B1-B8C2-32E3B52C2089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612651$BE0B34BA-CFFB-43ED-B96D-BC18C87A7329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612651$0703B007-6A71-469C-A326-B6E97CF7F7B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612651$F93127FF-CE29-4FFD-94BF-539E6D29F7FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612651$85487A58-03ED-41C5-80FA-9DC497D91070","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612651$82BC8ED8-85F9-450E-8A65-C81F661FB42F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dab92641adc601599f1a708ea75eeaabe1599c25","datavalue":{"value":"5527397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612651$CCC15392-A26E-4A9A-A4F1-510C931B4E9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55592a08e3b2e78d6b91f219b5cfa16d836094a2","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612651$86CC791E-6F2E-4520-AB42-1D8E4808EFAD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612651$64D7DB74-1AA0-49DE-9CC1-4847E435843D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612651$E2B29B9A-91F4-4F0B-B330-2B81AEDC0542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612651$5867F797-52B3-4F70-897D-92E92C692130","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":"Q3612651$E784DAB3-6945-4D8C-BCA2-30F3BC3594B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"175f9894e753db46b90b17f5ee829cac4b12326c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73445-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612651$14F5649C-0852-4492-AD0F-C701EBCB5809","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa98acb2e3c60815a80d5ceea787b8a76d7be655","datavalue":{"value":"W1551552296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612651$CAB53DCF-D8EF-48E1-9CB2-F1BA8220299F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb959f515fd7c7236525feea8dded276d4ea8598","datavalue":{"value":{"entity-type":"item","numeric-id":1281504,"id":"Q1281504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dae047cd0372a8abc35ab6a83cba35e99667033","datavalue":{"value":{"amount":"+0.7578174471855164","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":"Q3612651$6773CDB0-78E0-4D13-88C0-9DE83B8BD16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d85b2603075e198252cf747fcc485a279e29304","datavalue":{"value":{"entity-type":"item","numeric-id":6488552,"id":"Q6488552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369a836798884d7adaa72860cf5c4dc0dc0c1822","datavalue":{"value":{"amount":"+0.7489594221115112","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":"Q3612651$0950CDE2-724F-4527-B4CE-6AA44044F4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a4004bec8c4bf76605ffb8af1d4dfe2b0301b8","datavalue":{"value":{"entity-type":"item","numeric-id":3352532,"id":"Q3352532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f6e3fa0ceeeb6390a4d55c23da45b61b764623","datavalue":{"value":{"amount":"+0.748833417892456","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":"Q3612651$6F616FA1-6154-4FFC-9B35-B7DD4AFB31A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce156e995b5ec8c412acc42653d7dc70c82d4d3","datavalue":{"value":{"entity-type":"item","numeric-id":1583854,"id":"Q1583854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e9c8ab7e1197c71cbb042ce28ba77c03c68f1c","datavalue":{"value":{"amount":"+0.7402127385139465","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":"Q3612651$CF67B63C-AF7C-48EB-ACB5-1B2CCE8189C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd996b2f1fae70ecc8f0f9ca5aafd645435786f","datavalue":{"value":{"entity-type":"item","numeric-id":4529543,"id":"Q4529543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bbb7915656a888316e31aecbb7da695c922c8c","datavalue":{"value":{"amount":"+0.7396775484085083","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":"Q3612651$DCB099F6-DA43-4E0C-B3F8-90E09441A00F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612651"}}}}}