{"entities":{"Q3502701":{"pageid":5532604,"ns":120,"title":"Item:Q3502701","lastrevid":87276788,"modified":"2026-06-04T11:16:46Z","type":"item","id":"Q3502701","labels":{"en":{"language":"en","value":"Online Estimation of SAT Solving Runtime"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279241"}},"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":"Q3502701$B8AB29B5-B6C3-497A-B748-25AC2D939650","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9668ed42f9c419dd81c2d22a00550dc88ddf2d13","datavalue":{"value":{"text":"Online Estimation of SAT Solving Runtime","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502701$EA745AE1-3DF1-45BA-863C-17B62B18523C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2421011f95f7176a11c9276ad61d0f626e9e8a72","datavalue":{"value":"1138.68540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502701$E778AEB0-B797-4D1B-B86B-0A9633669AD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"221edb1c46250e6e6deb6bf772f53840ddfb141f","datavalue":{"value":"10.1007/978-3-540-79719-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502701$18254659-AB8D-4825-8F53-D2B9CC06163D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"896cef5019ad2b59606468fb1a2cd0f60b93d1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3502700,"id":"Q3502700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502701$F8F1F7A8-6968-44E6-BCEE-4029AED89A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6a5cb47bfb987a892c1ea29852a7967462f77d1","datavalue":{"value":{"entity-type":"item","numeric-id":215106,"id":"Q215106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502701$ACC664E5-E406-46AF-95D0-B84656E2E2A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502701$3BFE1B8A-455A-4954-A70E-5495093559F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-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":"Q3502701$C4BB16ED-FAB6-4FD7-8C89-CEA3B186DA33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502701$8876952F-C683-4BE9-BEF8-23F9FB3401CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c75c0e53693cd282ea844d4c087108df3cdd1525","datavalue":{"value":"5279241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502701$52C959EC-EDA3-4A9B-B47C-2D906AA80C6C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502701$B4459F2A-0DF4-4EED-AAAB-D660B019F7DE","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":"Q3502701$AB271053-B519-48F2-8C8C-77A08ECFA599","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5981b8faece2ea13b07c5d28cc0c0550b0c7f87f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502701$C39B87F7-C58C-4409-9DE8-0697FCDF6F96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50d7b053acfa6d04fbb238dc4db6e610e23ab0bc","datavalue":{"value":"W2155460686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502701$4E478681-E2B9-44A2-8B36-CD2A3C364791","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959cb3897716cc65c7beb773fdcdc6f13d6cb3e4","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4af09ae0a8142b5fda9382d5dd8120a6840650e","datavalue":{"value":{"amount":"+0.7744601368904114","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":"Q3502701$E3B5B25C-88F2-4DCC-8CCD-AC95BF0804A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3d2e8317539589e1c292fb5be3e6ca9a36a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":2741532,"id":"Q2741532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe996a484687d34da9fd9cad1524c0a75cbaa27","datavalue":{"value":{"amount":"+0.7608469128608704","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":"Q3502701$AAFEBF7D-AABF-44F8-87A5-8290FA5DDC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8ab3ef8c0dccaae62d064fdab9de59a221b350","datavalue":{"value":{"entity-type":"item","numeric-id":5498062,"id":"Q5498062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98b9571875f792ee6e650f9fe83227d904ef391","datavalue":{"value":{"amount":"+0.7285426259040833","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":"Q3502701$EF1A3521-24EF-4D9D-8B12-B79F3841DE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117f39cbb51cafac1661595c2be80ed5c0645365","datavalue":{"value":{"entity-type":"item","numeric-id":490455,"id":"Q490455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18825ecb36d405932e6802d0bebfe095e48257f","datavalue":{"value":{"amount":"+0.722057580947876","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":"Q3502701$BB63F77F-B4BA-4BD9-8F9E-19511A0DCC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e15248e8c160c741e80f6219ad00a22813d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3502714,"id":"Q3502714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f681f5efd1688cfd72771ff1dc89b94277d6e52","datavalue":{"value":{"amount":"+0.720706582069397","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":"Q3502701$BDA37AF6-1E51-4AA6-B1D0-82BE576CBC5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Online Estimation of SAT Solving Runtime","badges":[]}}}}}