{"entities":{"Q5756552":{"pageid":7786103,"ns":120,"title":"Item:Q5756552","lastrevid":50157668,"modified":"2026-01-13T07:24:39Z","type":"item","id":"Q5756552","labels":{"en":{"language":"en","value":"Minimum Witnesses for Unsatisfiable 2CNFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187207"}},"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":"Q5756552$17B502E4-EB71-4D22-9EBB-401A5C5ED3A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"805e94fc21b6e4552a839dbf9c62597c4f4ffe5c","datavalue":{"value":{"text":"Minimum Witnesses for Unsatisfiable 2CNFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756552$7E3D5654-4818-45A4-B6B8-7AED96A0D53E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17000e15fe1340eb62ca80ab4ccd8c37af46c93c","datavalue":{"value":"1187.68535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756552$1B0375DF-6BFB-49A7-922D-50D6D65419C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"134aed026d1a9e66df534a598784e13e45e8c282","datavalue":{"value":"10.1007/11814948_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756552$BD2C81CB-6CBF-4395-8D00-4B86A4D52209","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756552$03A021ED-B656-498A-8BAF-125B9FA943A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756552$88973FC0-E003-4B33-9587-677B9D1A5EBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756552$8EAD1229-5F25-4032-9F7D-184B1BCAD8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756552$919154AE-6BF4-47D1-A46D-966770F5E5C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80be928bfe65a94b48e7387612727c8ee99d7dc7","datavalue":{"value":"5187207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756552$B201A9FA-AD13-4C72-826B-FFB9A0971D96","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":"Q5756552$6780C497-B52C-4246-BA1B-A23AE460BCDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"429482dd2af1dfd77e244d0c27e85f3ce59209f9","datavalue":{"value":"https://doi.org/10.1007/11814948_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756552$3986C0A2-463C-4897-BFDF-AD648F5CCDDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e7a8c9723b4352037bbe035ac28dad807f825b5","datavalue":{"value":"W1564397736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756552$249FE767-0FC2-405C-BFD0-2C73BA8CB50F","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":"37896b91e623f48b2b59277e4d2a25722a5c3973","datavalue":{"value":{"amount":"+0.81386399269104","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":"Q5756552$28BE55E2-62D7-4822-AC74-C2E34CD98F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae02f1045f7565e768e0af18e78dc11abf32c96","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f852d11b2c047a9a3f828ab6e62ecaf1fe9826e2","datavalue":{"value":{"amount":"+0.7980658411979675","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":"Q5756552$0B6A3EF9-0549-4CD5-94BC-B413CB057BC2","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":"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":"Q5756552$C6035D90-7919-4986-8FA1-AD4315C7C6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46b9d50bd05642ead4f78dd5455c8bbbb978580","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0e23c10ad2558dc93a6dc9d81efc04be182fc9","datavalue":{"value":{"amount":"+0.7936283349990845","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":"Q5756552$0B99612D-2DE4-49CC-BA3C-051CC80120E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc440cec30ba41a528c3dc028d5e286adc8ec1e","datavalue":{"value":{"entity-type":"item","numeric-id":2192070,"id":"Q2192070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e4ef28e4a0f17970f702bc3bb44c5bfdd81832","datavalue":{"value":{"amount":"+0.793000340461731","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":"Q5756552$3357F489-51C0-41E0-853D-261A7C4DD27C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756552"}}}}}