{"entities":{"Q3601829":{"pageid":5631735,"ns":120,"title":"Item:Q3601829","lastrevid":88503071,"modified":"2026-06-04T14:41:55Z","type":"item","id":"Q3601829","labels":{"en":{"language":"en","value":"A New Proof-Number Calculation Technique for Proof-Number Search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5506870"}},"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":"Q3601829$2159D41D-8249-4D20-92D7-E4FAD696F05B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"500545dc8aead6b6eabdc59465d469240ced060e","datavalue":{"value":{"text":"A New Proof-Number Calculation Technique for Proof-Number Search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3601829$318B897F-AA5E-4316-87B3-63DD0213C88A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95a4834706231920db5a9323af9b6ab108fb28af","datavalue":{"value":"1171.68739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601829$5EFF181F-ADC3-461B-B122-08420D12F0BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b67adcf89247eb69d1236744fffb5e7b9dab8e0","datavalue":{"value":"10.1007/978-3-540-87608-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601829$F983F6E8-4D17-4C62-B253-A852CAAB6370","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c85569529162ff39325465586dd986046866a6fc","datavalue":{"value":{"entity-type":"item","numeric-id":3601828,"id":"Q3601828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601829$DC1809BE-1873-4FBD-B4C6-C557425BDCD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a5a4e68dec3b553d6b740e481801ae8e77b3650c","datavalue":{"value":{"entity-type":"item","numeric-id":2947900,"id":"Q2947900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601829$A544F666-BBAC-492B-A725-91D6B0794DAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"662c9d768c258b8c4aa4cc6d6ce95028979dfb46","datavalue":{"value":{"time":"+2009-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3601829$BD9AAEDC-C7CC-4AF5-8D8C-7B7A1E1C6073","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601829$319162EF-ED57-4EC9-84D3-0CE5BB03C157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601829$DC3858BB-54E2-43AF-9CDB-499C851F051B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1719d6d4a46dfaf08e2506975c465c5a82f3168b","datavalue":{"value":"91A90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601829$60DAEC74-5D71-4ACD-911E-0D870F568419","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"603521f59bc772891b72a9d0bd482532d920e559","datavalue":{"value":"5506870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601829$4BA010B0-F307-45C8-A0CA-ADF399D9F77C","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":"Q3601829$7E684872-6805-4CD7-BCB8-8D3EB531ECF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6a185f796dd0f025ab4dbc85183da3f9b3db0b8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87608-3_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3601829$D88B6A7D-92FE-4303-97B4-7F4C896BC555","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5acf9a9eb6333d75f3c851aee08bd36c955cc723","datavalue":{"value":"W1517370863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601829$6A54ACD0-23DC-4B24-9F51-E4F60A85876F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4ae13282b055ef3a234fad64750953f63d0824","datavalue":{"value":{"entity-type":"item","numeric-id":1321057,"id":"Q1321057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601829$7325A847-ED4C-4485-991F-B99F333545F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3906fc9340247036b964db6e5f1132e0192799ae","datavalue":{"value":{"entity-type":"item","numeric-id":685539,"id":"Q685539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601829$43D5CBF5-F7E0-4DB3-94FD-40B53B8B3988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84394f9324a960ba0cf48689c4a89a096073523b","datavalue":{"value":{"entity-type":"item","numeric-id":3101696,"id":"Q3101696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601829$A276F290-4993-43CB-8CE1-D9F06E7D78CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0b8ddda80c82d923ac991f2e59b7e5e23e34c0","datavalue":{"value":{"entity-type":"item","numeric-id":3601832,"id":"Q3601832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9fb81106badc5cda3f3fcfeeb7e0f2994ad2047","datavalue":{"value":{"amount":"+0.8363562226295471","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":"Q3601829$CE0B8707-E2E9-4D73-8C9C-B87155E3AFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffaea36c83a95c0850983d6c35721c64aa1dd98c","datavalue":{"value":{"entity-type":"item","numeric-id":1321057,"id":"Q1321057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"698fb1ef20199b63cb95be9b0b4175b37e055c78","datavalue":{"value":{"amount":"+0.815310001373291","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":"Q3601829$CDD013F4-78B4-45E6-A9BF-8EDC063B507C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b3d1a356e9abe34e2234c96f043750479a326a","datavalue":{"value":{"entity-type":"item","numeric-id":5302475,"id":"Q5302475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ea65361e469d70444dcc80d25718de82817b3a","datavalue":{"value":{"amount":"+0.8149937987327576","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":"Q3601829$3B8B38FC-C3CE-45E5-A598-2415E773631D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b6ef4d0549034173e049e9898e5b97448063d6","datavalue":{"value":{"entity-type":"item","numeric-id":4536677,"id":"Q4536677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95e59ab83766a778c4e2ff9ca908251f0781211","datavalue":{"value":{"amount":"+0.8108482360839844","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":"Q3601829$9858E170-86EB-4956-8EC0-595A4B160704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543eb21e206e188ee65f56c624e4984d4ef3f108","datavalue":{"value":{"entity-type":"item","numeric-id":1885011,"id":"Q1885011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de993f9d3da1d581ab0c5e9f54bf70aaa6a37706","datavalue":{"value":{"amount":"+0.8040642738342285","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":"Q3601829$32CDED8E-26C5-4021-A60B-96BF1AA00318","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A New Proof-Number Calculation Technique for Proof-Number Search","badges":[]}}}}}