{"entities":{"Q408157":{"pageid":409924,"ns":120,"title":"Item:Q408157","lastrevid":61632291,"modified":"2026-04-11T00:36:15Z","type":"item","id":"Q408157","labels":{"en":{"language":"en","value":"The limits of tractability in resolution-based propositional proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6019354"}},"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":"Q408157$E9EFCABB-ECBF-48E7-8BE3-F6A45FC143E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f046b00c4105f40e999ad7b5a90727d40dba983b","datavalue":{"value":{"text":"The limits of tractability in resolution-based propositional proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408157$B9CA1358-0E5F-40A6-A847-43CB134D75DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90b7e2dbdbee954bf1812f5f3b43c1999a7e53f9","datavalue":{"value":"1251.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408157$2CCA2A22-4C36-4936-9462-A3626866D410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a22dcbf04c0075727c4039eef5cf5f07e568fa3","datavalue":{"value":{"entity-type":"item","numeric-id":259044,"id":"Q259044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$3E250BFE-21F3-43A4-BFB0-DCA691F412F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb09d87b39fd189b9631d1d1dd35ec7a70bf362f","datavalue":{"value":{"entity-type":"item","numeric-id":1300668,"id":"Q1300668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$2737B95C-FE7B-4FC6-B07B-478C7FF9DF40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$0A976267-E23F-4169-A88B-62A98E5F6AAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0a3f1e568029ab0648b899666b38e418849eaa7","datavalue":{"value":{"time":"+2012-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q408157$F101572F-8A88-4CF3-84EF-7D3D90508B09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408157$4410C456-848B-43DB-B5CE-5A002019AF24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"279409342b5cf9fc6723525568bd9124f390f43b","datavalue":{"value":"6019354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408157$1011AF4B-DA0A-45A8-8099-A67812E09621","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q408157$F2D73573-0C88-4230-B161-17A5D9382754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b690c37a0c0b025847419d9d7cdf5a0a8d4470dd","datavalue":{"value":"resolution with bounded conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q408157$B9184EAA-AB26-45FD-AEB9-01BEEE940A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q408157$B05EBE49-1FBB-477B-899D-30DA4E3FA8A9","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":"Q408157$40C1611E-30E3-484B-9906-2A528AC42FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"758fef8786ec687cd44bd05face9d0e01a7319d1","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q408157$559F347B-00D4-4740-807B-148AE7FEE32E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3b4ce8e3aa7c3164fb427e33b4b211d30895682","datavalue":{"value":"W1521370165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408157$E2C8EA4B-9288-4244-BA36-C6D0A3C61BA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f01732731536b36940b0dbc6ef7319292ce0504","datavalue":{"value":{"entity-type":"item","numeric-id":2566064,"id":"Q2566064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$6F817E4C-D923-434B-A714-274607087123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8d977f093ac551e79749f4f841b2fdb18e79ea","datavalue":{"value":{"entity-type":"item","numeric-id":3002766,"id":"Q3002766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$69B6A817-3FC4-4F16-AE73-67C68C8ECD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e287ae632d1a53a9dffa973cbad87a28238105a","datavalue":{"value":{"entity-type":"item","numeric-id":3549627,"id":"Q3549627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$7AFCE16B-5561-4B59-B66B-45CAE20FE430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbbb0f4f75462332db1a73cf738fd5ee946b44f","datavalue":{"value":{"entity-type":"item","numeric-id":3576195,"id":"Q3576195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$51113CA2-9B1F-489D-BBCC-EEF1CCA7D0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b599c1282d68ddf16f7f3ca83afc285b3d685e4e","datavalue":{"value":{"entity-type":"item","numeric-id":5292633,"id":"Q5292633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$7A8CAA23-CB5E-42F3-A8F0-C42CAF992441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$32509C7F-8B76-4643-B90C-35FAC7862DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$2936265E-E749-452D-AC3A-27EE7528902D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$6A84CF42-CC02-460E-BBE3-3E1CAD5CAA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9039c5b03ce44bd1ae984dac18752d8859c6d482","datavalue":{"value":{"entity-type":"item","numeric-id":800909,"id":"Q800909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$5A386FF7-95D1-423D-B26F-8794D813EDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ba3bd74ef41e0757015be3b53bca7ad9cb71ba","datavalue":{"value":{"entity-type":"item","numeric-id":5463630,"id":"Q5463630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$6BD841A7-3BCB-428A-A704-22A31915F1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2a2f871e761bb462059a6fbf00bdca7df4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$5154FF41-70A1-4DEA-951C-548412A9A556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6a6af974a4419b7b3acbd103c48728b5d4ef1e","datavalue":{"value":{"entity-type":"item","numeric-id":1601038,"id":"Q1601038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$2D547753-4B31-4817-8390-F817C5B4014E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603f2268f1a94d487aa385cd08739de486a7e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4651510,"id":"Q4651510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$B9897056-4FA0-4D02-99D8-4AAED90780C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbff7fccb24b79b684abc97ac3c1bcc3f5f92c4","datavalue":{"value":{"entity-type":"item","numeric-id":3018648,"id":"Q3018648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408157$3E892E25-689E-4460-9DB0-300AF80369FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96c3d208598512931729746b118e8e6352086c3f","datavalue":{"value":"10.1016/J.APAL.2011.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408157$4374B6E5-C174-4682-9995-074FE9529BC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9541788a4abb7db239f8ec05398f50c05aabecf6","datavalue":{"value":{"entity-type":"item","numeric-id":3576195,"id":"Q3576195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4615f3944790da1219dbc9ee0efa047f90f46402","datavalue":{"value":{"amount":"+0.9985643029212952","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":"Q408157$AA4D0974-6484-4711-92D4-CB6634B9D54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a13204615f85c9fa4953a0f158a78851a47c05","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fb3b07c59edd228d683a06361425d1e01ab47e","datavalue":{"value":{"amount":"+0.7891334891319275","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":"Q408157$BF1C540F-8F24-46B3-BA9A-6E6FDDF4A1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79ff46c62eb19ec3b05b87662de25751c1c66c8","datavalue":{"value":{"entity-type":"item","numeric-id":1881219,"id":"Q1881219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c08dcce7db07d895c2bd9ee01629645e98bf32e","datavalue":{"value":{"amount":"+0.780733048915863","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":"Q408157$374DB69C-8D9F-4AAC-B415-0C60C4C69C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e86875d6be3139f15b3aee3947588efa3914fb","datavalue":{"value":{"entity-type":"item","numeric-id":386151,"id":"Q386151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba03d3319d3bf724caaf1b225f2542bf0fe961ab","datavalue":{"value":{"amount":"+0.7741992473602295","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":"Q408157$B99B0BC5-7482-4602-89AE-754B1B5A2C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c8eb8a067ea1bad67ff2549b250b78c7978881","datavalue":{"value":{"entity-type":"item","numeric-id":3434690,"id":"Q3434690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ba588bbef03a3cfe194e19460c9c81c29f7bb2","datavalue":{"value":{"amount":"+0.7729092240333557","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":"Q408157$EE300591-D3FC-4851-BE8B-C1E59D43C562","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The limits of tractability in resolution-based propositional proof systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_limits_of_tractability_in_resolution-based_propositional_proof_systems"}}}}}