{"entities":{"Q436581":{"pageid":438348,"ns":120,"title":"Item:Q436581","lastrevid":51517766,"modified":"2026-01-18T14:42:49Z","type":"item","id":"Q436581","labels":{"en":{"language":"en","value":"A note on SAT algorithms and proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059694"}},"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":"Q436581$5006576D-C1E9-4C58-BBB3-EB5D75E42AEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff76c09377f177174333d052d1c2a8b9caa913ee","datavalue":{"value":{"text":"A note on SAT algorithms and proof complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436581$16746D7D-215F-45B1-9849-DA8521E60EB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c495e7a2cd7543106cb7fa313228027a9fed95db","datavalue":{"value":"1243.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436581$53569745-50E0-4DFF-9423-7C07DB355CBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$2A3CBDAC-FF8E-49D6-A195-205F756B19BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$30732571-8372-43F9-B7C3-31B1E7D3623E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f54f5f40958cf95300fdefc35ba5b640104be76a","datavalue":{"value":{"time":"+2012-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436581$1905FC80-8F83-4586-B0D5-ABB623B4695B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436581$BF76240C-9565-4AE6-96C2-0B2043AA66C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436581$82650A9E-B58B-462A-AE25-03CEA2BFA016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436581$C3AE075B-B9AA-4ADC-A84A-38B1FAFD41C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5d65c934fe3a50295d947df9d470eddbf9a84ce","datavalue":{"value":"6059694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436581$FB438BEE-D0A3-43D3-A365-7945F700A4D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q436581$FD394338-9AC5-4EAA-AB54-F9F9F6E282EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93075c113c514ec5cfef089f598511d50a0c8524","datavalue":{"value":"SAT algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q436581$29466B98-8E88-4E71-BC17-8BE9561F1298","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":"Q436581$2595484A-F99A-46E8-BACD-56F4D81B5701","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"889799009696fcaabbb3dbc4cb0a7f33657bf024","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2012.03.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q436581$E6BABD5F-4573-488F-8C51-DCE98872C77B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb692d3344626d8f9d9abbe413ecb648ac6d330a","datavalue":{"value":"W2009304285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436581$D0AA74C2-8E75-4881-808E-DF54F2BE2936","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"132c5fa70f6446549e91b9cf8cbeecc515861cba","datavalue":{"value":{"entity-type":"item","numeric-id":5466449,"id":"Q5466449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$1079571D-E7C6-4754-8BF8-8011784CCA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9074ee3d5efbd83e8d8f04ba3e757924dfd642e1","datavalue":{"value":{"entity-type":"item","numeric-id":1881219,"id":"Q1881219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$EE67EFF5-FAC8-4E43-8A93-296A744D5164","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":"Q436581$6A23E75A-350A-4818-9B70-48E77F401179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$3B4D5BBC-78EF-40B2-B630-8167E5ABD748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7720c79d9d941dd6aa16b56bd3152d016f5f96cf","datavalue":{"value":{"entity-type":"item","numeric-id":2843321,"id":"Q2843321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$90C6F784-8574-48F5-920B-439BB60CE062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$B5A36CE1-59B6-4A9C-A182-C4BC42B45FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2e5035e8c49172e2a82144878400bd13d858ef","datavalue":{"value":{"entity-type":"item","numeric-id":408544,"id":"Q408544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$0E80B9E1-E910-48B0-83E6-D8E3920070CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$3ED7C83C-0D70-4DF1-87ED-EA98BF5BE1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad8cc9b1ac9554ff4a70a106dee8357520e9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$341C50CA-FB2E-446F-B4E5-A893A82EDE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$9D07C2A7-9E2F-42EF-B913-1293B784B3A4","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":"Q436581$0C54D9D8-51D6-4895-B2E5-80E0D33348CB","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":"Q436581$49FFE462-CF2B-4577-BD80-7CC5E7502A35","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":"Q436581$BA63BD8A-2A0C-455D-A14F-D5038E19F492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb43c2a0bbada6bd509ddafd5372bd0149e84aa","datavalue":{"value":{"entity-type":"item","numeric-id":5694881,"id":"Q5694881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$3F9D52A7-FF77-4B28-AC2E-8208AAFBAB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441f5812e34a559e1a1e9ab89e4cf3751977c625","datavalue":{"value":{"entity-type":"item","numeric-id":5387310,"id":"Q5387310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$D034B25C-DE1A-476F-BC0E-2DFA94CBCA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$BA78A82E-1861-484C-9CF0-22F1E7AB2DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c91a2d52fb100925548482e5c1cd7bcae9e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$059826B5-D80D-4795-B348-3EA264695898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436581$17C01055-47F3-4A4C-B46B-7FB12CAF0F16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"745582585d0fc1025706832daa914d8115c8975e","datavalue":{"value":"10.1016/J.IPL.2012.03.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436581$96090244-9354-4F07-B88E-010E7A261676","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb65919fc597229a6a39b39e1b70a0498b02ec41","datavalue":{"value":{"entity-type":"item","numeric-id":2577593,"id":"Q2577593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc59ea064c91137f99a4f38276a137ed3e3e11b","datavalue":{"value":{"amount":"+0.8132074475288391","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":"Q436581$2085619B-714D-4D5C-B02F-759559C9DAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2384784e67b746c941848cc6fcfe27e81759712f","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925390c620436a498cecca48c45ae3e44fac02aa","datavalue":{"value":{"amount":"+0.7989016771316528","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":"Q436581$A0DA4CFB-11B9-4B85-ACD4-6FC36DB64DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61d84e070a214db063b64febdc62a5edfe35cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4218095,"id":"Q4218095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6468cda7e0314f8b3d6fb7d29c7dc2a472b67ade","datavalue":{"value":{"amount":"+0.7959508895874023","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":"Q436581$57093765-4AD3-46FF-B414-01FDF45DAEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9418863af074efd172cb3ea566f4ff571cf982","datavalue":{"value":{"entity-type":"item","numeric-id":862399,"id":"Q862399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97cbec797af7b10b482b1b1c16f46781aea9fe1","datavalue":{"value":{"amount":"+0.7932993173599243","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":"Q436581$F2965B12-5E2F-4355-A8CC-550464C7343E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1f4345d84abcd2f8502e6a44a0a7defbfeb5c6","datavalue":{"value":{"entity-type":"item","numeric-id":5466449,"id":"Q5466449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87f56f32227593216c56b2d94e81903d1cf532f","datavalue":{"value":{"amount":"+0.7860959768295288","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":"Q436581$3C1E5270-09B0-4DFD-B726-2FF463EC088B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:436581","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:436581"}}}}}