{"entities":{"Q5894155":{"pageid":7932673,"ns":120,"title":"Item:Q5894155","lastrevid":41096599,"modified":"2025-04-18T06:19:51Z","type":"item","id":"Q5894155","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 5862402"}},"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":"Q5894155$79B98D39-DFA0-4F04-9257-5D0A10D78B96","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":"Q5894155$239F8C6A-7B51-4F03-9606-924FF3EE6D2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c14a7e8e2d5524fec2333a7cfb11167e4fed16dd","datavalue":{"value":"1214.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894155$1DA46C98-CC2B-46F4-9D23-1CE7445A435D","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":"Q5894155$85769DAE-12D0-460A-8EDB-2B40C30B990A","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":"Q5894155$F304F990-49A5-4272-B161-00DFCF1FB6FB","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":"Q5894155$42B1DEAE-5C8F-4A1A-B1B3-270FD3BBB6AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894155$D85DC882-4DE7-41CD-AB7D-1B8D14090B32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a7583b1e3be50fc6ea49700c35e083b5398d19a","datavalue":{"value":{"time":"+2011-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894155$8FCBF5ED-4B85-4C16-9583-DF32F8CF522D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894155$6BEB503C-2C1A-402C-8BBD-DAD6291DD255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894155$761ED3AB-D3FF-490A-A0EA-0B92DA7D39E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894155$2157DE49-4D4F-4D46-B92C-6E0CA48CF772","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ac4931b0423825820f40e329848089c2b186536","datavalue":{"value":"5862402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894155$4BC4CDBF-9420-4F67-A2AC-AD8F8BFCF9C9","rank":"normal"}],"P1463":[{"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":"Q5894155$8CE79DF6-CCC4-4357-862D-1F5E936AE7C1","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":"Q5894155$070FCB4C-DC18-4A8B-AE27-2D37A7AEAB96","rank":"normal"},{"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":"Q5894155$B7B0ACEF-DE6B-4060-B841-05B4CBB2607B","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":"Q5894155$DC4682CC-D6B5-4440-8610-E5DD097E8AFF","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":"Q5894155$033538B0-4427-4F24-96C4-4CDFB4486DE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2912a3d71ed9bf09ddfd919f1ed969805b7c4ec8","datavalue":{"value":"https://doi.org/10.1613/jair.3152","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894155$8A4E1396-BCA2-4BD6-A080-6D2DEDCBDA46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5458dfebc194675c75ba7d2775d45818ab85bd36","datavalue":{"value":"W3103546459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894155$C319E0CF-2015-497F-A706-B26E1997ACC3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e873e41a879b416735ac402f4591805d0bbb492b","datavalue":{"value":"Q129519655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894155$9AC55749-B3F5-4D4D-B1A7-C7E62E7E954A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7894e721d4cc7fc4e74f1452174e2d2cd9c45b3e","datavalue":{"value":"10.1613/JAIR.3152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894155$F416EA36-921F-40BD-A223-948E4243A752","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e367b9365c51e5a796d1351242716e78cdb290d8","datavalue":{"value":{"entity-type":"item","numeric-id":5902141,"id":"Q5902141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894155$30FCF008-5FC7-4CE9-9269-AB18C1FF46A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dbba60b1780eb41be416d194bbcc58007ea4791","datavalue":{"value":{"entity-type":"item","numeric-id":3637163,"id":"Q3637163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c4de9f29f31575c4aa886873d54f9a070cb267","datavalue":{"value":{"amount":"+0.90686923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894155$60D09961-5CA3-4974-BED0-D85938E6DDAC","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":"f7041956a4546a604f7d6379a2f38a06366b1e1f","datavalue":{"value":{"amount":"+0.8874083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894155$651441DE-8060-4D44-AFD9-52C629B85B21","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":"b95b815b4668c83f961be31516bb83191189111d","datavalue":{"value":{"amount":"+0.86678135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894155$F1D4DEFD-73B7-4BA8-B41B-D048863AAC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ab00eadfabc67b639862576bfda59d6977a671","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05de8a1adc02be68c144ddcb3f6c1cf4727df78","datavalue":{"value":{"amount":"+0.8483932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894155$11A4911D-A848-4C26-BCB8-96DA0174008C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c78a3b1a7a7ae5c49e3259e467f06d86da55e9","datavalue":{"value":{"entity-type":"item","numeric-id":5424882,"id":"Q5424882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a635a40d36715e0259e0aa6253200b559e7ca1d4","datavalue":{"value":{"amount":"+0.84342587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5894155$20B6B0F3-AC72-4987-8EDC-7A70B305ED36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5894155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5894155"}}}}}