{"entities":{"Q4930606":{"pageid":6960188,"ns":120,"title":"Item:Q4930606","lastrevid":91659803,"modified":"2026-06-04T23:44:23Z","type":"item","id":"Q4930606","labels":{"en":{"language":"en","value":"Uniquely satisfiable \\(k\\)-SAT instances with almost minimal occurrences of each variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793473"}},"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":"Q4930606$F807456E-C513-44EB-9733-E69D4FB19593","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6ad5bb0ae2a2737885cf27cf2640649c56af4fe","datavalue":{"value":{"text":"Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930606$1DBA3355-24AC-497F-8632-3260DC16EE99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f828ab1c0ae4fe2b79952704cc8e257455b6a63c","datavalue":{"value":"1306.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930606$6801A28A-ACFF-4AB4-99C9-6E3C1CC89D94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a10f193d9528579782992a68784e2f0af6269806","datavalue":{"value":"10.1007/978-3-642-14186-7_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930606$1F4B2425-A89F-4D80-949F-F86E9AE2FE87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c69d158c9ec4e5975ec012911f074c639ce5287","datavalue":{"value":{"entity-type":"item","numeric-id":411371,"id":"Q411371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930606$224D023F-E267-48E2-8F42-994FBC5AFD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72b6c9fa09679ee04e7df5acd3659b335857c59","datavalue":{"value":{"entity-type":"item","numeric-id":192223,"id":"Q192223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930606$FAF403D7-7C64-4C4B-B78E-CAFAB8E875CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930606$8893DDDB-BDF3-45A7-90E5-267D609D94B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-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":"Q4930606$96219AE6-868D-4A1B-AEF6-077A236F2350","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930606$646449E9-BCD4-4EF5-B37B-600D9E4BDD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930606$29B4EA94-B1F9-4E30-BE13-ECFD2862BA17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48ca3747f2bc39e1755785acc66dce8bb16b4713","datavalue":{"value":"5793473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930606$175D58C6-9AAF-4D59-8C0D-E6365BAFD388","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":"Q4930606$8305B17D-96C4-4231-BB72-510F405565CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b63fdc2130d5a7a01480eaa82fbbfd8828e29591","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930606$907EA824-0074-4752-9DEF-DD0D7D772C5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b87d57f9fecce34d9c3d9c38a5283dea46084e72","datavalue":{"value":"W1575350156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930606$5CAE5A2E-2D07-4CE8-BDA5-B8D2E1B9C61D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b97ba761d4e2b6ccde57061d1068fe5c8a35ef","datavalue":{"value":{"entity-type":"item","numeric-id":3440269,"id":"Q3440269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd015b4b01d7e766612e819b99c17d17eefe30cf","datavalue":{"value":{"amount":"+0.8676658272743225","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":"Q4930606$22D38522-B72D-41FB-92EE-EE7A147ACA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df06991ccf06069f6f047a45ab0cc7be22e30f5c","datavalue":{"value":{"entity-type":"item","numeric-id":557836,"id":"Q557836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5fd93aea7de3a597459bb054234d5d37d652fe","datavalue":{"value":{"amount":"+0.84385746717453","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":"Q4930606$3AD7F821-B52C-4BD3-AAF3-CA6A8AF0DD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb6b6bcdb87c4692903667b4772f341680ad7c51","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3549ddea71454ca567f68eb21dd63e08bdf61f","datavalue":{"value":{"amount":"+0.8345277309417725","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":"Q4930606$A8AA685D-AEC0-4373-AB9B-61CE5BEA68CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7488a95a6fb23c2a75057e349b7ab3a82a4bd841","datavalue":{"value":{"entity-type":"item","numeric-id":2475410,"id":"Q2475410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb649c4116b178f2b5a082e405cd10db98be2865","datavalue":{"value":{"amount":"+0.834443211555481","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":"Q4930606$9259EC67-9DAD-4C5F-BF9D-5D7D3EE3ECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767558b863c9ef3d5032bfa664bb4fe5001b96a2","datavalue":{"value":{"entity-type":"item","numeric-id":5898882,"id":"Q5898882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b44c4fc589c8037b1f9c6f43f6960c047f83242","datavalue":{"value":{"amount":"+0.8245889544487","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":"Q4930606$45101A90-7CFC-4C8B-A077-475169B90E30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniquely satisfiable \\(k\\)-SAT instances with almost minimal occurrences of each variable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniquely_satisfiable_%5C(k%5C)-SAT_instances_with_almost_minimal_occurrences_of_each_variable"}}}}}