{"entities":{"Q3073725":{"pageid":3084441,"ns":120,"title":"Item:Q3073725","lastrevid":51186680,"modified":"2026-01-17T03:30:39Z","type":"item","id":"Q3073725","labels":{"en":{"language":"en","value":"Evaluation-function based proof-number search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850679"}},"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":"Q3073725$92BDB28A-79F3-4059-8B6F-6DA5E77F67C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c09bba836219bfd6ad6e94d3ebe7fb1b1ef1a0a4","datavalue":{"value":{"text":"Evaluation-Function Based Proof-Number Search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3073725$550A514E-D9EF-486A-A7BA-20DB082D6BC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ebd97e03d8d5167bfa2ddc352b199f09284ea2b","datavalue":{"value":"1316.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073725$9248A6D4-1FF5-4DF5-8168-B728AC65C14F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d295e9aef2c9065fafe61fcad1c06ecd9685a68f","datavalue":{"value":"10.1007/978-3-642-17928-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073725$68076B94-9A8C-464A-951E-03EEF0A44A71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25079933778389b3a64b73f8afed6e7f070b64e3","datavalue":{"value":{"entity-type":"item","numeric-id":286380,"id":"Q286380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073725$742B23DD-2FFA-4C98-874D-494CE541BC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b0a83829d6ded6cfd4b17e23f8c1a171629b978","datavalue":{"value":{"entity-type":"item","numeric-id":2947914,"id":"Q2947914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3073725$C25DAFC7-7DB2-4D20-9BF7-DF55E078677F","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":"Q3073725$8D6B45FC-D508-4352-9883-1880E3ED2D24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68c84d94dc2b0d372224244b271c713d0aa2e67","datavalue":{"value":{"time":"+2011-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3073725$A7F29FE2-0AEA-4464-9465-82D3DA7C17CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073725$014F8A82-1F95-4BCE-B19B-FAB2D8125A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b62273aea3375cefac54cd8688def5a3b6704b92","datavalue":{"value":"91A46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073725$804E242F-FE86-4A5C-B6BD-41E1F92E71E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1719d6d4a46dfaf08e2506975c465c5a82f3168b","datavalue":{"value":"91A90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073725$72517B4A-7DEB-4165-99E0-14F5001FB30F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4158312635c6cf718681a69c188373ec2321e688","datavalue":{"value":"5850679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073725$D457A078-068D-49AA-BDC7-0BDE3719FBFB","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":"Q3073725$11F7FA66-9875-4153-B9C9-FD6B5C26C4DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3f78be691a7816ead73a21876f2e3fbe814d9b9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17928-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3073725$4B492E5D-B490-4FEB-84BB-8345643DB8EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e1b391c1536d3a22a326a43906bf3fad345eb23","datavalue":{"value":"W1518646052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3073725$774E87A3-871A-4BF2-A9D8-756E099DCD21","rank":"normal"}],"P1643":[{"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":"0a9d1f32fe5da2476001092b614be2042bccd375","datavalue":{"value":{"amount":"+0.8196287155151367","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":"Q3073725$146AB113-34F4-4C62-9389-0B5822076D61","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":"e1087b3694c430deb4e29d4914cebe6431e1b335","datavalue":{"value":{"amount":"+0.815922737121582","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":"Q3073725$2912BD52-719F-4C3D-ADB7-016F617836BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe161eb90ba3769f9fc5a5b7fc17cfda6cd55c40","datavalue":{"value":{"entity-type":"item","numeric-id":3601830,"id":"Q3601830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc91f887c785fce7419cf6231688d4a704a3e63","datavalue":{"value":{"amount":"+0.8154428601264954","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":"Q3073725$540B6F04-91DC-45FA-B74E-8A699EE0D93C","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":"e2637019cb683c540de3e278fd4d213c513031c0","datavalue":{"value":{"amount":"+0.8039335608482361","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":"Q3073725$D09E1CA8-8A7A-4C8C-8423-01F60B4749EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e912d5eee73b9639376a48497a6fea13fa5360b1","datavalue":{"value":{"entity-type":"item","numeric-id":3601829,"id":"Q3601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1fca2304e9ac0f92ec2ffd48c33f28bcbf04a9","datavalue":{"value":{"amount":"+0.7843275666236877","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":"Q3073725$F0A0ED85-8577-4CE5-9990-44FAE5C5777E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3073725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3073725"}}}}}