{"entities":{"Q1680253":{"pageid":1690994,"ns":120,"title":"Item:Q1680253","lastrevid":68124756,"modified":"2026-04-12T21:35:59Z","type":"item","id":"Q1680253","labels":{"en":{"language":"en","value":"On tackling the limits of resolution in SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807225"}},"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":"Q1680253$1F508DD1-EE7B-45F3-860F-57A70AB551E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"928fad7b7f39f8cdd4cf1dd4588f55f58a4227c9","datavalue":{"value":{"text":"On tackling the limits of resolution in SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680253$F8A1D69F-CC43-467B-8EA6-64A05F2D4B48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dc1a657f6dfba6fa527bc5424b389a7ec681e48","datavalue":{"value":"1496.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680253$02ED628A-B57F-4379-8370-85066CC6414A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f0568c08579d318f37f4a8451f1128ac5a8662c","datavalue":{"value":"10.1007/978-3-319-66263-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680253$55A5357C-E2D0-453E-B278-B92150923689","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2914f32562ebd9ae230eceac7c78b1ac22a86f7","datavalue":{"value":{"entity-type":"item","numeric-id":272015,"id":"Q272015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680253$6BDB93E9-26C1-4FC6-963E-EF9D05090577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f98f77118ea7c1ca4efe7089e0d480e5cd16947","datavalue":{"value":{"entity-type":"item","numeric-id":1656600,"id":"Q1656600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680253$6DEF80C9-4454-46CF-B98E-F5F418674648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680253$7891000B-1772-4093-A3F8-C23F26163CA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5de28599599215268e07ae07176d0509363e1642","datavalue":{"value":{"time":"+2017-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680253$E00F23ED-7798-4D42-8844-07873655AEB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb128b0b1213d8ea947736333bb16833e9d06083","datavalue":{"value":"https://arxiv.org/abs/1705.01477","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680253$94544D81-A9E1-4392-A0BF-60C6E9517393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680253$6D4197A7-67F9-4EA3-95E8-FFBC500ACB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680253$2E3A1EEC-D69C-45F5-9A9B-BCDDAC4F887D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680253$11E6E833-F849-4F4D-B1AE-CD5B404D07EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680253$A44A3EFB-37E4-413A-AFD8-A4C82FB93661","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"852206d0a24672997d1286d503f09d7332c532b9","datavalue":{"value":"6807225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680253$926537FF-E413-499A-B58E-11411800C439","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b4080854e6c3efd73caa0f3157d5ed5b72457336","datavalue":{"value":{"entity-type":"item","numeric-id":21549,"id":"Q21549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680253$38E2D928-9AD9-49D0-9DC7-07A2DAB7A6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680253$CE9E7723-5C1E-4344-B54C-9751485229B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680253$0EC1DF15-7AD4-4C12-9DB3-35AF5EA0BDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bd2d1f95a77da74a3a1f74809707a51d6a42d70","datavalue":{"value":{"entity-type":"item","numeric-id":22014,"id":"Q22014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680253$461FFCC3-94FB-4645-AEB0-659F5A997978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c37ffd04dc5105d4d852e6e07d9dc8be2efe69f","datavalue":{"value":{"entity-type":"item","numeric-id":28606,"id":"Q28606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680253$0769D590-0B37-4041-9078-B980E287DC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680253$F540F704-3008-40E4-8215-D2918C0287DC","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":"Q1680253$6F00FBC9-192B-451F-A045-CB070CF0BB74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d24ec146d51139f4c612c87100a90fc9b1ebda6","datavalue":{"value":"W2963321374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680253$95270B82-B6A6-43FE-B530-D4E5DF3F6052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24af5eb737a9157449d1892857bf1806ed38e500","datavalue":{"value":{"amount":"+0.798761248588562","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":"Q1680253$72265AD7-BE28-44B6-8FCC-992B255F4BE1","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":"177518176cacf09110aff326a64bf7337395a4ac","datavalue":{"value":{"amount":"+0.7965787053108215","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":"Q1680253$BABACE11-5EBD-429F-B4B4-C1A8220DF250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c647744274850ccef5a15f5cc3ce686ccc5200","datavalue":{"value":{"entity-type":"item","numeric-id":3007695,"id":"Q3007695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5173db1de9265f62f0d5e3c5a1519dbba776249e","datavalue":{"value":{"amount":"+0.7948395013809204","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":"Q1680253$F134E697-6868-4014-8F56-3CAAECA5C3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea49af491734bb1eae9415b843e3fb6e2b96365","datavalue":{"value":{"entity-type":"item","numeric-id":5504707,"id":"Q5504707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9894d9a309450d9530c8f5296f60a3c5531c17","datavalue":{"value":{"amount":"+0.7893648743629456","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":"Q1680253$3BD36C2A-E514-4990-A78F-658E02B760AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db7f63855891cc6d180fca0c5fe57c12c56447","datavalue":{"value":{"entity-type":"item","numeric-id":4904223,"id":"Q4904223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3a7cd937b627f4371cda58e0ec2d19fef869da","datavalue":{"value":{"amount":"+0.7878595590591431","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":"Q1680253$8D418C7A-CBDF-42A3-8832-6511E9B35169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On tackling the limits of resolution in SAT solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_tackling_the_limits_of_resolution_in_SAT_solving"}}}}}