{"entities":{"Q3612473":{"pageid":5642379,"ns":120,"title":"Item:Q3612473","lastrevid":80930171,"modified":"2026-05-06T17:19:39Z","type":"item","id":"Q3612473","labels":{"en":{"language":"en","value":"Minimum 2CNF Resolution Refutations in Polynomial Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527217"}},"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":"Q3612473$616CD25B-6F2F-4EAA-A719-371CC40D0218","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ab573c1a466e1bb88a20ee7340efa734fe32e19","datavalue":{"value":{"text":"Minimum 2CNF Resolution Refutations in Polynomial Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612473$014DC21B-C235-4B4B-8C52-33B6F5D22E24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fe963cf16492e6782eefb64c0fcedb915ca8473","datavalue":{"value":"1214.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612473$79EFADE1-48FD-49CD-8AE7-A4A3DFC33088","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2705c3a1c56803f9a860215b56c225e777333bdc","datavalue":{"value":"10.1007/978-3-540-72788-0_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612473$5D058559-0C0A-4E4D-A054-B7A9BB773A18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612473$7CD000F4-F732-4077-B870-60AA63508EBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612473$03E01AB6-3D94-4B77-B02A-66A94FDC04CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612473$F6999903-535D-4DD6-BAEB-6F9B7A586CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612473$C9AE2A43-08F6-477B-8535-E5E0E8A12898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612473$AC8E5C32-482F-4BD3-A1BE-E8245134B405","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"106ece3983eafa8fc484d6f7cdbdbce6dffbe494","datavalue":{"value":"5527217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612473$26E83191-4767-43F4-9AAC-F0515CE97D23","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":"Q3612473$06DD7815-F32E-45A8-B547-9284DE60E76D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"835f495c5fc2f8bf121e26cae73ef90646eb6109","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612473$75D2F523-D473-4D61-9F28-3B39B2FA998B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae87895afc778b7ed2abab6b3a5cad61deb731f4","datavalue":{"value":"W1588707965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612473$21663C86-DB85-402C-9910-4F7309EA2C1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimum 2CNF Resolution Refutations in Polynomial Time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimum_2CNF_Resolution_Refutations_in_Polynomial_Time"}}}}}