{"entities":{"Q820148":{"pageid":821996,"ns":120,"title":"Item:Q820148","lastrevid":64617018,"modified":"2026-04-11T21:05:40Z","type":"item","id":"Q820148","labels":{"en":{"language":"en","value":"On finding short resolution refutations and small unsatisfiable subsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5017472"}},"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":"Q820148$A2B3321D-EC1D-4DD8-9095-89DF216BC2DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb7cdc4f016d0ca68ce3c0d04970a41c833289ab","datavalue":{"value":{"text":"On finding short resolution refutations and small unsatisfiable subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q820148$48BB8210-7B2F-45AA-B14A-00DD0964149C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bb2668b4423ee16db9b55c69bb5babaf1a74057","datavalue":{"value":"1087.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820148$81F44C9C-41A9-4D3F-9B69-6456BB6A11AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"057c48278a1d014d58f7703e66b1dc164eccfbc4","datavalue":{"value":{"entity-type":"item","numeric-id":175527,"id":"Q175527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$1E80760B-53FC-4E99-B5E9-B4E60E01409B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$A5EED0FC-F862-473D-B209-4D8C3A9DA25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c343d7266e3ac1f198444a571c50c523729b3f8","datavalue":{"value":{"entity-type":"item","numeric-id":820147,"id":"Q820147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$FA53D954-E775-46AA-AC24-32ECA234DAD9","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":"Q820148$18BE2286-F344-4C94-A4A9-0D17148F7E7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7b5cf394bcdbe8afe258f05ea5234af0f11a462","datavalue":{"value":{"time":"+2006-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q820148$1543D6E2-3EBF-44A2-99C3-CF645BB3E3CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820148$995DB05B-A82A-4869-9E09-0C3C6D33CF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820148$C1E9A5B0-E35D-4E4C-9359-85E2C54DDAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820148$E310CB04-0488-4E2C-B414-00794B064A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820148$B9859F79-C7FB-42D3-A818-24CE8C5C9A88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"309ad153ac5052d537a57e14440e6146d2be2cae","datavalue":{"value":"5017472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820148$1DAB4681-DC7D-4544-BD9B-B19D6E9E8CAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6af7c353f84d78eeaf80c632d7f373c1d90530af","datavalue":{"value":"resolution complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q820148$6C87DC07-0891-4BC7-9C09-B908E79CF8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q820148$D3BFAAA5-ACEA-45B5-8152-4807DE2B35E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ceb5ff93c1de19fbaeb24c1ea93b033bf181dc2","datavalue":{"value":"\\(\\text{W}[1]\\)-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q820148$8C47FF2F-D5B4-4AE2-BAED-55BDCEACD1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ef4da3678f6b7a7e71b032dc0270aa23fe47c5","datavalue":{"value":"bounded local treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q820148$F872818C-4E30-4ED6-AD36-4F01B49CF149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a5ead8be37819ae166c092c873a23099e7e8c1","datavalue":{"value":"planar formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q820148$1131C970-E6B3-418B-B54B-0BF478641E3A","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":"Q820148$FF0CC5B6-0DB3-40BB-9762-378C6631928E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8051a4ccb7dd8bbc056b3a22b0cd5c917fa08e94","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.10.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q820148$F06AE248-17A3-48E5-B4E0-6B5E7BB3A0E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6d97dd945745fcd755617d553a5b86e76cc4854","datavalue":{"value":"W2171456022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820148$9212974E-FBB7-461C-BF86-63E3E887F309","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":"Q820148$CB3D2273-9EBD-4B2D-8731-23C0887941ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9cb2a4e4fb6a095d91ee24830284f50b193c2fb","datavalue":{"value":{"entity-type":"item","numeric-id":2732273,"id":"Q2732273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$E0F0A3AB-9EFA-4A2D-83F2-9C1FD38DE77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088d50352df9ad001d77073382165c77d3798fad","datavalue":{"value":{"entity-type":"item","numeric-id":3395034,"id":"Q3395034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$7C504451-F9FD-44CF-835F-4E0BA953BC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c70b318395c4ed2d5675bb48c8ac58ac36b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$EE64CDFD-26D4-40F8-AD8B-0ECCFFF16A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$BD11F3BF-FD72-40FE-AAAA-E6D3344E4888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5699694bdd1074c4792cee7c3f50ae33d8eb62c2","datavalue":{"value":{"entity-type":"item","numeric-id":4718423,"id":"Q4718423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$BA588003-287D-4320-A9DB-3882EE31AAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf3e133365d57dfbd2c07919f3093669a42c66e","datavalue":{"value":{"entity-type":"item","numeric-id":5928867,"id":"Q5928867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$20FEE335-0E88-40F5-9976-2A004E30F180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$2CFCDB3C-42AF-4DB6-A0C2-D3CE6AA28CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$674B3CF3-FFC3-447A-97C3-9C808F77DD74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea79ffe3a076af8b924158860accd261638c485","datavalue":{"value":{"entity-type":"item","numeric-id":3196630,"id":"Q3196630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$3FFBD6D8-AB9C-45FE-902B-C4FFE72D5CA7","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":"Q820148$2E780B18-C2E5-41E8-933B-532747C9BFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d00577aaab877471eab13639deaf5bae1c0a78e","datavalue":{"value":{"entity-type":"item","numeric-id":4699307,"id":"Q4699307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$7DCD79A5-BF35-420C-A0FB-4B0E89452FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152bc7463fcce9eed8b94a2712374316ad80364","datavalue":{"value":{"entity-type":"item","numeric-id":1331895,"id":"Q1331895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$6692618A-426E-4FB0-BDF1-61E528F5D5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$C97C46D7-3986-4C2A-84A0-E433D771FB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176f92be0a5c8084cbea32a162c15c6e5a582bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3936195,"id":"Q3936195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$3B126259-B2A8-4DC0-B1D0-C33C0B8F4C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d6b5aa38dd1fc479e0f8c62d4e3ebbc8f8fe02","datavalue":{"value":{"entity-type":"item","numeric-id":1307689,"id":"Q1307689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$A2E4C24E-9FB0-411E-A7EE-1FFCDC7EE59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23604afcb0364f670f2bc60da96b028577190ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325861,"id":"Q5325861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$316C25AA-6F80-44F2-881A-E82D7CBC8BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$82C9AB0F-8B0A-4E9B-B281-E2F601492BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q820148$28F7F428-5737-4D6D-83D2-F95A509AB82E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5086ab654b93183504b20e5b631707f314cebb78","datavalue":{"value":"Q57359981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820148$7C687156-776A-4509-88E2-F337D30BA316","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"04e03f5ef98b80684fa28a02f1033c3e645e50ab","datavalue":{"value":"journals/tcs/FellowsSW06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820148$EE2B3CE4-F035-4344-9BD5-6CD39E3C6F2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"712d7d11a7649235dd58cbc87bf9576d79f5a1ff","datavalue":{"value":"10.1016/J.TCS.2005.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q820148$C42BAE35-B492-404C-B685-289ECD6FA71D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52aee2087ffab465d94af480a7b9b4f3b2e2472e","datavalue":{"value":{"entity-type":"item","numeric-id":5311515,"id":"Q5311515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354da35e2c0b8a8ba46d8f5ba445b03cbb7f53e7","datavalue":{"value":{"amount":"+0.9943411350250244","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":"Q820148$18A69610-32AE-499F-AD2D-AEEEC32758F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3883fd0ca3e5a135d492c1afa41925f1cf6746b6","datavalue":{"value":{"entity-type":"item","numeric-id":5369245,"id":"Q5369245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c82b55f53823e9126acc9ec0f5c9fb81da3c7f","datavalue":{"value":{"amount":"+0.834297239780426","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":"Q820148$688ED7CB-1CDA-4D27-8153-849FCCF9A1B9","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":"9f19c0c29bbbf439aeb839e73a34a903a5743cb3","datavalue":{"value":{"amount":"+0.8022844791412354","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":"Q820148$A8E1C617-3813-43DD-AC1A-684EA2D0A565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9ff714fa2bf0640f604531d7bbd74f6f4b166a","datavalue":{"value":{"entity-type":"item","numeric-id":1765303,"id":"Q1765303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fed5c949ba3e84216ef257103448953166e9d11","datavalue":{"value":{"amount":"+0.7956755757331848","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":"Q820148$0411C108-535E-40C1-B832-E7463C6983B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d29bbf1bbc9f5aba33489e7969f75d6c388d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2894482,"id":"Q2894482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8cffa870058796d1fc3ae7a45a3cd30c8ac08a","datavalue":{"value":{"amount":"+0.7919781804084778","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":"Q820148$CF552A2C-8572-4083-9FB6-220333C417AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On finding short resolution refutations and small unsatisfiable subsets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_finding_short_resolution_refutations_and_small_unsatisfiable_subsets"}}}}}