{"entities":{"Q1749535":{"pageid":1760277,"ns":120,"title":"Item:Q1749535","lastrevid":68965692,"modified":"2026-04-13T03:25:08Z","type":"item","id":"Q1749535","labels":{"en":{"language":"en","value":"Finding read-once resolution refutations in systems of 2CNF clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869362"}},"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":"Q1749535$5A065557-BA18-42A9-A44C-6C33829C87C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e495dddc2e3ec9fe53e34ca7898069d7435886c7","datavalue":{"value":{"text":"Finding read-once resolution refutations in systems of 2CNF clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749535$632BBB3C-515A-4697-BA5A-2DD2CA6C071B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f632965e872ec3b526983b3f70b278df86c5c050","datavalue":{"value":"1435.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749535$97239F4F-610D-4693-9E41-46116ECAFE1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$53A8DC70-8B73-406B-A519-57F1E7410F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$74EEE846-D201-45E8-BCB8-CB14D9214B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$73986C2F-26CF-4802-90EB-E2CC72889D48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$6D951E7B-26B8-4E73-8E2D-C8F5A53244E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c01739a4214e1a2ae2105a086153c18669073f","datavalue":{"value":{"time":"+2018-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749535$7B6C5F42-3676-4702-9769-CD762538360C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749535$E8AC34F1-F785-4F52-88C9-3B5830C54D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749535$E7485790-C719-4222-871E-75599A148827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749535$67BB328D-5766-4F5C-B0E8-D538FFE33534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32a4e065227b7f6b682504973b2bf1bf330f819d","datavalue":{"value":"6869362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749535$85ED7982-3EAA-4BE7-9879-FFD23E1FDD15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca65c80d45a260814459fdc56063b854235eab38","datavalue":{"value":"2CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749535$58107038-44DE-4CDF-9891-C2A3B8B8B276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749535$6857646A-1ED1-4C46-A24D-78CBC29A27A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb3c99922201d29babffd9dc858fa390355f7cc5","datavalue":{"value":"read-once resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749535$C0EA904C-478B-4B8C-882F-B9A76750B671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f90ac1a31f8ad900ffc83b3a83e16a807b16cbf","datavalue":{"value":"variable read-once resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749535$DABF7989-C871-4F7D-8337-E63780CA9FD7","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":"Q1749535$9BB277B5-8549-4B22-B6AA-5EF4052F3191","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cff61cf3d6d3c0d1d1cae8aefaa79a5fafa9472","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749535$24678CB4-0FFF-45FA-9207-0D5F630C0FBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1b966f24e337c54ed2c28cdc7f8a087c6a75688","datavalue":{"value":"W2789909559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749535$2A32E871-27EF-4810-9686-CEC996EF94AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"725c84c2ebc6f4b154eb6d601e5b793715036a34","datavalue":{"value":{"entity-type":"item","numeric-id":1087560,"id":"Q1087560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$967B5FB4-3B0C-4AE0-A124-27F02F74755C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0086f5e874fe7e4f38ea6905507c6d71ae7ad220","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$4F8400CB-207A-402D-9E81-7C72B45F1B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfc99d2b561f99f43a908ce842ee7791f5e09f3","datavalue":{"value":{"entity-type":"item","numeric-id":1844708,"id":"Q1844708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$EB945F5E-3150-44A5-BCB1-AEF0A9DE5B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c56aaf8ccd46e3192e050c0368f83b3d69dc51b","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$16A5D86C-1354-4ADF-BC28-5363D5270EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$62123AB0-08EE-4C97-9943-67257FE646EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$C3C65200-EE95-4FBF-AE78-0561BE387DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2045a7ec56e01f15e3eae4db248ef2b73a81db","datavalue":{"value":{"entity-type":"item","numeric-id":1132111,"id":"Q1132111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$47AD902C-0AAA-4EE2-B45E-8D1A56158F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$8D5F09FA-6623-42E5-93B6-154C16330ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f2a499aa442a03c1708933f2c21f395f3a4f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1610491,"id":"Q1610491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$BF34F0D9-F885-41E6-B2DA-BF6F58680E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e9b3d4894f3739abe95fe62d00a87db18c64ef","datavalue":{"value":{"entity-type":"item","numeric-id":1408380,"id":"Q1408380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$0A9F93C0-17BF-4B72-8AD0-0AD2D38BD711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9979ebb68c3240066aa018dabe2c214830eec0a2","datavalue":{"value":{"entity-type":"item","numeric-id":5325874,"id":"Q5325874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$669FE35E-B801-4446-B7F7-C9031C04A9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$3F9452B1-F9CF-4ED0-B324-88A382412BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$D7385770-CB4A-42F9-9372-F9A63F1573C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$8C6C343C-6010-4978-8D80-9110D564DF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$33680739-8852-4539-89BE-3021F7D884D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d21a1dd8ced0005122cd1f252e3788cfede82cb1","datavalue":{"value":{"entity-type":"item","numeric-id":5277698,"id":"Q5277698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$898AC779-3E04-420C-9C03-433E5033175A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975857b4102edd8f5c3a368d6243f0d960c3b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4539605,"id":"Q4539605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$11983CCD-E329-4375-B281-D4F0959D53F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749535$98D31FE1-718C-485F-B44F-CFBDF161E60D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b622ad3ae171a480c255f03bce5e96b6bb6bb84","datavalue":{"value":"10.1016/J.TCS.2018.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749535$C3E427B7-BAA8-4120-B95D-865E21704A45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf5397941b8f8076f28ec9a6f693aa7470497c1","datavalue":{"value":{"entity-type":"item","numeric-id":2988835,"id":"Q2988835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7586e8299ff2c1d4a40f23d58656c17dceb88736","datavalue":{"value":{"amount":"+0.9322266578674316","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":"Q1749535$3BAAED7A-8928-4F8F-8344-F2DEFFCC3D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfbe819dacccc077b96f36df1997f67822da032d","datavalue":{"value":{"entity-type":"item","numeric-id":2075363,"id":"Q2075363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c016105c8f1d633ca65485298724ad3d807ffa92","datavalue":{"value":{"amount":"+0.8744301199913025","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":"Q1749535$6F15D3D7-80B8-4240-AB24-DF707E864C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37711a1f9db45c4ea3c33515ffb03b2d5ec2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5224491,"id":"Q5224491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a434097a1cca4b8fd0185b8e8fc6d2f1476864a2","datavalue":{"value":{"amount":"+0.8357588648796082","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":"Q1749535$F335E5A4-89CB-4F32-88E5-C011872FDC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8832ba9a080737a2ad3288fcd858633b5f53471b","datavalue":{"value":{"entity-type":"item","numeric-id":4539605,"id":"Q4539605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"255fd3424addc79de78bf541929c9ce596085cc6","datavalue":{"value":{"amount":"+0.818882942199707","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":"Q1749535$81379208-E76E-4A0B-ABDC-498BC65C2B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b73f0bcd9d62fab9a89cd0539ba480246a9947","datavalue":{"value":{"entity-type":"item","numeric-id":1610491,"id":"Q1610491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00dfcdeb6b52ca7326364d7c5dd614e646728ce0","datavalue":{"value":{"amount":"+0.7908021807670593","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":"Q1749535$83BD4909-FBB5-4152-AF12-B6B2371FE421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding read-once resolution refutations in systems of 2CNF clauses","badges":[]}}}}}