{"entities":{"Q1770390":{"pageid":1781132,"ns":120,"title":"Item:Q1770390","lastrevid":72502368,"modified":"2026-04-14T05:21:40Z","type":"item","id":"Q1770390","labels":{"en":{"language":"en","value":"Counting models for 2SAT and 3SAT formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153188"}},"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":"Q1770390$33793EC8-5619-4E9A-9325-B3B69247AC35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0b738897100323e83a68f0b0717f621b944acdf","datavalue":{"value":{"text":"Counting models for 2SAT and 3SAT formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770390$DE0615C4-D30D-466A-9ABE-82915FF9D839","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90a76a17cade97c55427c8c26ff896455da275ed","datavalue":{"value":"1070.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770390$BB2EE1A3-6BAA-44D9-9026-8368F880F09A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59529058bed326a6847838c0c7b8d7dcdce31018","datavalue":{"value":{"entity-type":"item","numeric-id":596104,"id":"Q596104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$7FBA066C-CFCD-4571-8C38-72B40F937A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd3e34874773bfa76c6e79803e08ccc412dc7bf","datavalue":{"value":{"entity-type":"item","numeric-id":269510,"id":"Q269510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$DE0E85FF-F70C-4968-8D10-9F3DE4E6795D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11324fa342c81c30ac095bea5b5286aa7a4bc5ff","datavalue":{"value":{"entity-type":"item","numeric-id":309798,"id":"Q309798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$72E7417F-7A9E-47B8-8302-71D5184E2B5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$BAC8018D-D805-46F2-8812-A0841735B6FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770390$BD26C3C3-AE25-4A5B-9D65-9926FB58EE30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770390$6465E9BE-17EA-4E64-A381-1639911E3250","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15b3fd0a80a1d7fd4ea9f83761c234e52540f6d4","datavalue":{"value":"2153188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770390$784EC112-EDA0-41DE-B426-2A3859566952","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eec6c24a0a4606a33e4947370cc09f6e975a87f","datavalue":{"value":"Counting models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770390$EE9B835B-F050-4F2C-B719-504B42EB3CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770390$E283423C-8B70-45B1-9C1A-BF1A5D5729D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cde6ef6f5800128cca1b3eb750dd81251e76757","datavalue":{"value":"Exponential-time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770390$CB4DD1C7-D92C-4A72-8212-A633BD44D47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c0238583016c28f1f2d5cebd8a17af9263a24a","datavalue":{"value":"Exact algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770390$F25483C1-42F5-431E-87CB-C7211E53F644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadfe02502da5af00e07656a1b8b4290e025112b","datavalue":{"value":"Upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770390$E36610D0-428B-4F53-A60B-76530DA946E0","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":"Q1770390$B9F7C5ED-B403-430A-8F65-0ED008C858EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8443b0d104891f4d0dc44f69902a4e8bb46d3312","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.10.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770390$FEF10685-FA03-4DCA-9465-231AA68EFFA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70e7658aa9c6ab95e9c73d45aaf6677508a44b50","datavalue":{"value":"W2139364539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770390$DB9C4A84-5A81-47BB-B882-0D97E4E52BBC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a682c837d00c7e932b5799432db925bb28ad1395","datavalue":{"value":"Q56288403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770390$CC6C7691-672A-4421-BB16-E05F40F95376","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1885f320f9f8c4fb4b2a08797195ed12f77e2138","datavalue":{"value":{"entity-type":"item","numeric-id":4875441,"id":"Q4875441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$12930FBA-9D34-461D-ACDE-960FCD10404C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fef66bc46546066830361bca5b4e36dc9783f643","datavalue":{"value":{"entity-type":"item","numeric-id":5897192,"id":"Q5897192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$2E85A8B6-73E2-4C80-B4FB-AD02DACEE694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$BB170504-7549-4035-B948-0A2DCA6EA397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$F7C47DF6-8C02-4E2C-B3DE-034FD88D7A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163518371a609412625a5b79ed05a2903361c16c","datavalue":{"value":{"entity-type":"item","numeric-id":4828946,"id":"Q4828946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$7CF6C746-5808-4EAB-BB64-88818C1C8942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"137e514add27b29f397609391b43a6d3b040642f","datavalue":{"value":{"entity-type":"item","numeric-id":4808676,"id":"Q4808676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$B0798CB8-2A8E-474B-84DB-9E5EC8576D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$1E2F8D42-82FA-4C21-B02D-8377A54850F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76eebde946ce132f400c4e1484111961d5e974d","datavalue":{"value":{"entity-type":"item","numeric-id":1603695,"id":"Q1603695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$8776FDC4-50CB-475C-9D19-00950100ADFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ab077cc32b3b3dd27fea3b986d79a2d1191d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2277848,"id":"Q2277848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$94E30832-69F9-4B86-BE0E-E772DCCEDC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95eae76d6fb6bbc9ffc68403c1b728f21ae14a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$9347DCC6-25D9-4197-B8C2-761FDB15B140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ff8a807471958a38eef5720fd27b64677c1d24","datavalue":{"value":{"entity-type":"item","numeric-id":3869371,"id":"Q3869371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$0A76F8A9-D221-4CDF-9FB6-066D1899DC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4ef2a1a38b56c81df266118bb63175df99c046","datavalue":{"value":{"entity-type":"item","numeric-id":3851094,"id":"Q3851094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$8CA0FB45-5AF1-417C-B625-5374583C0C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb9e1b413b2c6928165e951f43c458b02d5d8d4","datavalue":{"value":{"entity-type":"item","numeric-id":2784460,"id":"Q2784460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$CC3678FC-0E08-4FAA-A764-03AF6761B45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$CCF0E36D-88B0-4EA6-8020-B9E3C81AC60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$2BA1FC08-26AA-4132-BA24-8F0981381C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4164930c80e191c797775caddd7ff2ab697a9d72","datavalue":{"value":{"entity-type":"item","numeric-id":672138,"id":"Q672138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770390$35338685-A5B7-4500-9B75-717255AED277","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3efc7061b0ed9cba8aca66fd21f99164fa8c8231","datavalue":{"value":"10.1016/J.TCS.2004.10.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770390$320A9908-2382-48CF-85CA-5958D74418A4","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"62377d99c766f0d3dcc5f81a0f9c79305f7f3944","datavalue":{"value":"journals/tcs/DahllofJW05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770390$5DD7B81F-D007-4B45-BF44-7A6B5A007636","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85307005f9aa7b14e41627295230e50fdc5b2df7","datavalue":{"value":{"entity-type":"item","numeric-id":4808676,"id":"Q4808676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f256027c7760b159007b697157c89e79aee0ac","datavalue":{"value":{"amount":"+0.8926441073417664","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":"Q1770390$69EB9120-2F4F-4D65-98E8-8A49E82C1ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a656f063de935ced5cb23a06c4a0b1791f8e1531","datavalue":{"value":{"entity-type":"item","numeric-id":596105,"id":"Q596105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d3b083d5c89caf59efb33fd0a535318bafcd54","datavalue":{"value":{"amount":"+0.8550626039505005","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":"Q1770390$F6C4B37A-48BE-4864-818D-2E2DF564ECEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b1252e11964cdbdb6b8fb797f392118aaa0e2a","datavalue":{"value":{"entity-type":"item","numeric-id":5434422,"id":"Q5434422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7226c015131d6218c04de647a1cb40b3909ecf12","datavalue":{"value":{"amount":"+0.8483306169509888","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":"Q1770390$D64257E5-7B85-4A39-9498-7B4C932B26F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055fb26871eb05accf9fbe2c85a2723e55abb339","datavalue":{"value":{"entity-type":"item","numeric-id":3503590,"id":"Q3503590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382b6ec274e282202030d7a905349abc8d2c6666","datavalue":{"value":{"amount":"+0.8254203200340271","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":"Q1770390$1569F5C0-0AE1-46B0-8535-665BFAC82DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fb051308fb50b95b0bf9456983cabaedb5d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3498488,"id":"Q3498488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461e1bc27fa8520ceb044b5f5439cd8a3193c712","datavalue":{"value":{"amount":"+0.8212969303131104","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":"Q1770390$B77090E6-CF0F-46D1-8B91-442AE2A3F12C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting models for 2SAT and 3SAT formulae","badges":[]}}}}}