{"entities":{"Q2894482":{"pageid":2905207,"ns":120,"title":"Item:Q2894482","lastrevid":84903503,"modified":"2026-06-03T05:06:52Z","type":"item","id":"Q2894482","labels":{"en":{"language":"en","value":"Efficient arbitrary and resolution proofs of unsatisfiability for restricted tree-width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051313"}},"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":"Q2894482$0E95C29A-638E-4FF7-9847-C92EB8D7D8E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"babaf193015aa72b9d46ee36694b46162afebf83","datavalue":{"value":{"text":"Efficient Arbitrary and Resolution Proofs of Unsatisfiability for Restricted Tree-Width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894482$014D3391-C8DA-40B1-8D70-F6E76FCFC6B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c45c3d36f871f2402972e26a3eaf945f1ef63bb4","datavalue":{"value":"1353.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894482$1FA6213C-CDDD-4A55-90A0-4F21FA17CADD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f0bccd528f9eaec7789562e506bde853d9ec6fb","datavalue":{"value":"10.1007/978-3-642-29344-3_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894482$6645FCBD-3811-4A3C-830E-1956D556ADA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a7c8d30a25bb8314d3cd3d28fcf71204c1a47959","datavalue":{"value":{"entity-type":"item","numeric-id":2894447,"id":"Q2894447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894482$7897BF7B-F493-477F-BB19-A835D5C16C03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-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":"Q2894482$7332FF0C-FB7D-4C51-A54C-A53FD4C3AF35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894482$284B5F5B-0143-4FE3-A9AA-DA439F4CD5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894482$D6A9679D-83A7-4D99-9FF8-10658DCA1AFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b79861d615ed7d90788dd29141ab7d0428d44298","datavalue":{"value":"6051313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894482$801D899E-8CE8-4618-83BC-7527C6F63A32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d81d6971e005b6f4d22e5d988538f584446aa6da","datavalue":{"value":"satisfiability testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894482$A17C7959-3210-4EB9-B3A0-951B20E044D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1630fc900439d5dfeb37bb596a5b9ef3839060b","datavalue":{"value":"resolution proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894482$4A1F5E9E-42BD-4925-9A70-F09E40C8A7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81b0e661ffd7a2b0cf4d74a6388abe874250e20","datavalue":{"value":"tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894482$6B7DDCFD-F7FE-447C-8489-14A5FF8B3F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894482$0C577FCA-3CF3-4871-B756-6B2F7F5B635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fb8d01458ba05f5ee2bac394b7becfbbe52731","datavalue":{"value":"FPT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894482$32A4A56A-A86F-4FDE-B29C-D637D2805A92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9568ac805badf97b59e7bcb6bcbbcb25f57c041b","datavalue":{"value":{"entity-type":"item","numeric-id":1159189,"id":"Q1159189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894482$4070B670-868B-4CA1-BA22-B1AB84EB0746","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":"Q2894482$B11CEF70-0DF8-4D11-855B-906F3D966D63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e244682b5ae7502a1eeb79e276d7358009222560","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29344-3_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894482$FCEE823E-3682-4F68-A10A-4BFA4B375C84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3728be3cccb7c7a4b1e15c412ba62d87f82049c","datavalue":{"value":"W151552961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894482$63F46AA7-14B0-4E76-8CA4-C837D7804FD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29568667d6424b287c6206f9b1baf4d1ee7e6943","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790e2e0b29b1c10a02cb5deea443374d6edb523b","datavalue":{"value":{"amount":"+0.8185260891914368","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":"Q2894482$730B96E8-8C05-40D9-80BC-DBE85996DFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507b3bfe8aab15501c87e7358c5f5c7db473c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658f954faed8910a135cf4f267fc65f655472ad7","datavalue":{"value":{"amount":"+0.8135533928871155","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":"Q2894482$3CA27535-5F47-44AA-90FA-EDD8CCB3E18E","rank":"normal"},{"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":"c76ff02d4b9ed7652f9690b4b15152691c911d1c","datavalue":{"value":{"amount":"+0.8054528832435608","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":"Q2894482$D28B9439-157D-42B0-B74A-56D41DF8DDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07df3f73f2b9269b803fbf3f3217edad12fcdd7","datavalue":{"value":{"entity-type":"item","numeric-id":5277698,"id":"Q5277698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb565616aaa4d2a7ccccfa98354fe5a37dcf51c0","datavalue":{"value":{"amount":"+0.7964355945587158","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":"Q2894482$28551EDB-EDD9-4217-948A-5C1F031C1146","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":"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":"Q2894482$6E97CADB-FF51-4160-A2D0-F6EBAD9273F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient arbitrary and resolution proofs of unsatisfiability for restricted tree-width","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_arbitrary_and_resolution_proofs_of_unsatisfiability_for_restricted_tree-width"}}}}}