{"entities":{"Q5277698":{"pageid":7307273,"ns":120,"title":"Item:Q5277698","lastrevid":52850273,"modified":"2026-01-23T15:39:41Z","type":"item","id":"Q5277698","labels":{"en":{"language":"en","value":"Optimal length tree-like resolution refutations for 2SAT formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743942"}},"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":"Q5277698$25F693C5-4B77-44CC-8D07-DE3A649A22E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44f372cf43b5fb44b756be4f16cabceb2e2d51f5","datavalue":{"value":{"text":"Optimal length tree-like resolution refutations for 2SAT formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277698$A5187FA0-099C-41C4-9A8D-6CBD7DEB4276","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"834b56ca5c0c691b777bae1ccdebf3372163d68e","datavalue":{"value":"1367.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277698$3E12B9EC-6731-4C3E-8065-4F1A19732FC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3901a0e166038d048c78088c7cbb590e6732c3ae","datavalue":{"value":"10.1145/976706.976711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277698$C93B57F8-CF26-474F-B856-17DCEB72DC95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277698$E1695976-5BBC-4DB3-A5A2-2F08C8CFC46C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277698$8570225C-E3CB-4F7C-9B12-72DBBCE164B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277698$0B6AE6FA-7049-4612-943E-FB91419EE831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277698$B2CEF918-6C5A-483A-B378-A9A95217368D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bf379eaad7d83bab17bfcc0a6ca64b35bb4fa57","datavalue":{"value":"6743942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277698$34E462BD-79C5-4B45-917B-3FD07B7552BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c200a54320e5f89ea65392478928cfedc898e5b","datavalue":{"value":"2SAT formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277698$2C4C553A-328D-4F04-8C2A-489F8FDB0E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277698$77E82A0A-ACF5-4612-841E-CC8792A6B362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1c629ab5abb1420e552264a227fa1b3690a1a2","datavalue":{"value":"tree-like proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277698$2A3558E4-FECB-4909-B316-85262D54CCA1","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":"Q5277698$BF7BCA85-AB95-4E23-AFE7-B4B1AC75EC3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a83742c938eb6679c5340f0a66e54da0c9d94203","datavalue":{"value":"https://doi.org/10.1145/976706.976711","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277698$8116ED62-3538-4000-8C86-2F449A87DD18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46fc4fdae12b962138ec8ef8c0d5a183a7756edb","datavalue":{"value":"W2064512355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277698$EBF399A3-AE15-40B6-9BED-F84959F58B47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c753af4cd3f62258c428430ac7d20fb4d480877a","datavalue":{"value":{"entity-type":"item","numeric-id":4417352,"id":"Q4417352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b3a1ba998f87ae5f19dbff837c9bcc9414eb84","datavalue":{"value":{"amount":"+0.8984516859054565","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":"Q5277698$84D88689-DDB4-4897-B32D-E1A88477675D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6686e6bd84dca7fd0d190c36d22681e6c3d2348","datavalue":{"value":{"entity-type":"item","numeric-id":5756552,"id":"Q5756552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae080e0efa8fa8daca75d5d0d8d2476dfb03442","datavalue":{"value":{"amount":"+0.7940314412117004","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":"Q5277698$9D048E94-AF6F-488D-AED7-5A90E9BBBDDE","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":"380b650d5825905b70c956e3a81a1bbcfc875d0e","datavalue":{"value":{"amount":"+0.7795403599739075","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":"Q5277698$4761492F-9D83-45C9-B65C-A2E1A206C736","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":"bc3e888c5d516e0691b6f3af7151ab1504270bb8","datavalue":{"value":{"amount":"+0.7756386995315552","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":"Q5277698$B7D7DF30-D212-476C-BFB9-20E817D40CA6","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":"54130e476c55db74e782b067fe2080177fc49672","datavalue":{"value":{"amount":"+0.7711862921714783","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":"Q5277698$F4CBD9D7-ACEB-4383-959A-11D20ACABE4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277698","badges":[]}}}}}