{"entities":{"Q2980924":{"pageid":2991649,"ns":120,"title":"Item:Q2980924","lastrevid":52796441,"modified":"2026-01-23T12:53:49Z","type":"item","id":"Q2980924","labels":{"en":{"language":"en","value":"An upper bound for resolution size: characterization of tractable SAT instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6711900"}},"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":"Q2980924$2D8ADCCD-F62F-4E1E-BCA4-39C7154778E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a39810bfee721c9f5d3a3f4da38d3a7bc5b455cc","datavalue":{"value":{"text":"An Upper Bound for Resolution Size: Characterization of Tractable SAT Instances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2980924$BAF22A1C-BB4E-4B96-ACF6-E8DD52F286E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80efc6b0e03562675990768a694281f5378df5d6","datavalue":{"value":"1485.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980924$1686DE61-2830-40F9-82E9-67773EC04233","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"236c15e6028e4a9b57c2bbca1ff8586d14e65c31","datavalue":{"value":"10.1007/978-3-319-53925-6_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980924$4845F130-9F12-44DB-A090-C29C62892ABB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"877e93af179aa075a4fbbff9c6c75ec506ce55db","datavalue":{"value":{"entity-type":"item","numeric-id":2980923,"id":"Q2980923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$C0D2B62C-AC88-40E6-8A81-82E2B5838D28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"118620394eb650c0e6d85ac23085596c66fbf70a","datavalue":{"value":{"entity-type":"item","numeric-id":2803802,"id":"Q2803802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$6E0BBBF4-2870-4695-A5D5-5782303AD219","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2521123b5dbe8709daed0db214711d9c66f9f8cf","datavalue":{"value":{"time":"+2017-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2980924$F9A2FB78-03DF-4395-8C44-237656A03ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980924$DD6C7BBF-B72C-458C-B3D3-972215E02FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980924$CC3216D2-F0FA-4E5F-9CB6-8C83E5BCC2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980924$11EBB744-02DD-44CB-BAE1-EB065B6EBDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980924$E42247A4-3AD5-437D-B80B-A7031C487E59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"784be9ef38eed21fe6462caec842cc5c6b81c55f","datavalue":{"value":"6711900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980924$B1BA348E-DA83-45FA-9F8E-A26E43BFF9E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980924$C8A76F2B-C442-4F63-9248-20E053D045A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980924$15380F36-E7A4-4CAD-A4CE-9458EB8CA1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb50ec46505f30d109b6a78575a9efc40bcb980","datavalue":{"value":"resolution size","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980924$44758065-D901-4BE3-B777-33305A8059D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e792ff646f6fa664efd2613027c94cc69a7563","datavalue":{"value":"incidence graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980924$1F442E45-9EED-4058-81C8-98AEA57956D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f458d393b772a7cf36a53976d2b5be911e683d","datavalue":{"value":"pathwidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2980924$A0D3F5FD-8E05-49FA-A1D5-0BE1F0868480","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":"Q2980924$C5BE6D7F-722F-4BD8-B090-777D726EBF15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a342192907756c513533c0cfb44384f14946c3c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-53925-6_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q2980924$4686B9E6-DF5E-4EF9-94F6-CBF0E1A0FB36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c66312027d95f3c029b25d15c8529ec717e319e9","datavalue":{"value":"W2588004537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980924$9FE7308D-4AB5-4042-BC41-613FC562EE5F","rank":"normal"}],"P223":[{"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":"Q2980924$C21CE7AA-A216-4146-8771-C6B469D5D7FB","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":"Q2980924$0820472E-1E92-422D-91EC-8C54E939C1FD","rank":"normal"},{"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":"Q2980924$155E8DD3-9112-4D5A-825A-AEAD1E62E849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345d727ccbd76ddca8c6106034f4c5e52c95f38a","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$BE7C89C5-D19E-49B3-AC18-176BD1301176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465f736e3553ade7935865484c1b908a1260691b","datavalue":{"value":{"entity-type":"item","numeric-id":5277920,"id":"Q5277920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$AD93914E-7720-4204-AD46-67FA2B385991","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":"Q2980924$D28FAB9E-540E-40E0-86D2-0062823D085E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bbe5a3415d1d0180896b0f42ae9ec1cbdc97b9","datavalue":{"value":{"entity-type":"item","numeric-id":5248490,"id":"Q5248490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$10C6BDFA-EC0B-42E8-9425-69007375F650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22c5348b8b2641ae581fcd3bade1b996d4382e2","datavalue":{"value":{"entity-type":"item","numeric-id":4895809,"id":"Q4895809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$4C9F391B-5F88-4F9F-8B75-69836003BA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$25437B65-279A-4285-81FA-F2199F88CA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$7C73D879-851A-49C3-B70A-EF0B2C3100DD","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":"Q2980924$E0A40110-898D-466D-8B25-2DE648230125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$8BE8B417-1E53-47BD-B3F2-C9DFF06929F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bdf4ec7260080ec2ace85e7db971d84eebc13f","datavalue":{"value":{"entity-type":"item","numeric-id":1801672,"id":"Q1801672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$1287CC8B-E4B8-4CBF-9F3A-F5E36A13DB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cc06de39b4daf6419488822f8874eccb75b23","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$BC6B0474-8317-4717-B0AD-84433B9B8AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29c3edb437fe49bdce404fe379c64b6ca2adddd","datavalue":{"value":{"entity-type":"item","numeric-id":4571992,"id":"Q4571992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980924$A71F6994-D105-40D7-9F01-A7B89C4519BF","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":"0c4c17d3e55c8d26001ab8dd874a641733790f40","datavalue":{"value":{"amount":"+0.7706279754638672","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":"Q2980924$76BA2536-B7D7-4E65-BB2A-3C1D08809A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca41ae030821ab671f7a23d248198671e5582a2b","datavalue":{"value":{"entity-type":"item","numeric-id":820148,"id":"Q820148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc37a6c926fb17a5a2b7d8d924f15b58b441d1c","datavalue":{"value":{"amount":"+0.7648698687553406","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":"Q2980924$66309546-A5F4-409F-B56E-99504928B530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8ab7b5c75b5192b6be788b19381b73046f577e","datavalue":{"value":{"entity-type":"item","numeric-id":990090,"id":"Q990090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a960550892c35dcf0674761e2769c8f012902caf","datavalue":{"value":{"amount":"+0.7481990456581116","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":"Q2980924$62A82EB1-FB8B-4F88-BF1D-9B91CE9534C9","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":"0bb23e0700b8c8e0871fe7aa33e79ae5ed4d0e58","datavalue":{"value":{"amount":"+0.7462172508239746","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":"Q2980924$F72E0004-82C9-47A4-A5D3-C9C8FEBE2373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410116ad48c47fefe9b752df2eaf62a843a92da9","datavalue":{"value":{"entity-type":"item","numeric-id":5325859,"id":"Q5325859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab7e0fa772b75928d7cb2df73daffa57ec77792","datavalue":{"value":{"amount":"+0.745419442653656","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":"Q2980924$C26939B3-0288-469C-8512-14C930666DDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2980924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2980924"}}}}}