{"entities":{"Q5902141":{"pageid":8010945,"ns":120,"title":"Item:Q5902141","lastrevid":58612875,"modified":"2026-04-06T00:22:28Z","type":"item","id":"Q5902141","labels":{"en":{"language":"en","value":"Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576279"}},"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":"Q5902141$321BC8CA-47CC-4563-9F2A-113A9F0D1945","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13d53c65a18cad00cf621cfacf4d71a5c6982002","datavalue":{"value":{"text":"Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902141$85E46527-3255-4D32-AFCB-97CC74A23E66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dba0ad3266d80cd29668070ee927112deb1ec0ab","datavalue":{"value":"1247.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902141$9B2700B9-F2C0-4FAC-8B91-5E363D9B43EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4416016e2117312631b13896493f9ddb0414a6c4","datavalue":{"value":"10.1007/978-3-642-02777-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902141$C8A4849A-A822-47B8-B773-82D63A8DA3DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"691b2efa6b7a6124eda9dac7addda22440a9eb76","datavalue":{"value":{"entity-type":"item","numeric-id":458459,"id":"Q458459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$11AA6DEC-5B15-4F4B-9CD0-3A5E075F0D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1231c9ffdd6fd18a27526f5f9b2ee5db0f5e7a7b","datavalue":{"value":{"entity-type":"item","numeric-id":1647689,"id":"Q1647689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$E96C2B04-51A4-4F82-9A40-8923B98CB4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec3755777a03da9c29ea2b17b789205fc6806b8","datavalue":{"value":{"entity-type":"item","numeric-id":437684,"id":"Q437684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$CA58C8FA-2570-4C19-B56F-956DEE1C5BFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$DE9FFB15-38F2-4C9D-9867-9081C7055EE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902141$A53F46D8-4C76-468F-A8CD-92D73CA79795","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1c12fca3332bfe564e24996bba41b26804d41cb","datavalue":{"value":"https://arxiv.org/abs/1401.3868","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902141$408A0610-7F7F-40F5-99FC-6A3736F9F7C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902141$6C1924D0-1DC5-4FD0-A812-2A58D202A994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902141$34CA1803-2056-4289-9D67-5B294808E179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902141$0B56C289-EF18-4C8C-8901-C9115CA06780","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fc5ab9aed967759e0cae7cf344b2ec1ce5489e1","datavalue":{"value":"5576279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902141$27C30D15-E01A-4653-93B5-924F843EBA5F","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":"Q5902141$8BE3D873-8E17-4C84-BCD4-7AE49F1937C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc913e0e8afa2a727cce06bc306808aa43cd2398","datavalue":{"value":{"entity-type":"item","numeric-id":25035,"id":"Q25035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$5DDA1F60-150A-4023-84E4-3DA966527921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f705e695e5daf5c1a4b07b9d249dfa9eda3d87b3","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$ED6E6B60-0388-43E6-AA8F-8C966C578EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$7DA5FCB6-37F8-48AF-BAFF-6F951055CA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$5DB4455D-61DA-400C-83DF-738D54A26588","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":"Q5902141$9E5D95EB-386F-49A3-BADB-625D4822388B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c9d7af1b7afd3d81cb521051d22c91833b86a9f","datavalue":{"value":"W2158442970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902141$3D6AF347-53B9-4E5C-B1DB-D00AD809AC53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8e50187a51221a00e96148d3b4590c3646576b","datavalue":{"value":{"entity-type":"item","numeric-id":430830,"id":"Q430830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$C1E114AD-D4F2-4D05-ADEC-CAA7DE9EDC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$B4602B82-50C8-4BC6-9B90-0803844A3619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$1CBA8221-7F21-471E-BB48-F1C14FFADB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3026e313de747f9080f29883bedd1ccec049fe18","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$CD4A7CFD-95D3-40B4-8F7C-1F271AEBC30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$D331D3D8-4C69-41BA-AA3B-4359747026F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$73554D58-E4F8-4692-8AAC-9AE214A88147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$EEC8C55C-FEA6-4794-903F-63062C15D89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902141$3B56B764-7A4F-4CBD-BB5A-909F51018F70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d5c2eb27300f2b7854b64ee079eb9be89e6f87","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15087e2f141d56fd27f031e561486db35c9a16b","datavalue":{"value":{"amount":"+0.9898373484611512","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":"Q5902141$1E535050-22D2-48B6-B6D6-5916EA4EE3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6790ac591a93bbb144b604dec8633ea6754d5c2b","datavalue":{"value":{"amount":"+0.8659939169883728","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":"Q5902141$B0F11E45-6277-4410-B3AF-CFD5950F3F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e050f30d7185276802f36abdec5347610a74e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1845a508cfc0a5e50744dc946839862d540d15","datavalue":{"value":{"amount":"+0.8387048840522766","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":"Q5902141$B32B9B4B-A6B3-4911-BF81-59CF21CAE8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080cabec0b6b5dbb447620f9c61e38596a13750d","datavalue":{"value":{"entity-type":"item","numeric-id":4930576,"id":"Q4930576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63ecb87478ae41324d4debf7afca55a13a97cdd","datavalue":{"value":{"amount":"+0.8325527310371399","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":"Q5902141$7F63F43A-07E3-4874-BFDE-9BA7A00AF3DA","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":"0d49ebcab77270ec783be642a01679037d3160bf","datavalue":{"value":{"amount":"+0.8089329600334167","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":"Q5902141$4B166623-0BE4-46D0-B3E9-E6D7DECAA2FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902141"}}}}}