{"entities":{"Q2941085":{"pageid":2951805,"ns":120,"title":"Item:Q2941085","lastrevid":55853233,"modified":"2026-02-20T12:50:42Z","type":"item","id":"Q2941085","labels":{"en":{"language":"en","value":"New worst-case upper bound for counting exact satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6389057"}},"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":"Q2941085$9DF9ABF0-5B0B-45E9-B8CF-B08A7BDC017D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"656d28810edc86b50419caa4c39804e97538ff93","datavalue":{"value":{"text":"NEW WORST-CASE UPPER BOUND FOR COUNTING EXACT SATISFIABILITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941085$415E4B07-6405-4FDD-A11F-93C47BA29EB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"870db010e42c87c1eaa170470f5336f0d3387ea2","datavalue":{"value":"1304.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941085$699C95D6-9DA2-4689-9D2A-8D868F3A0CA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92239a7cda5a480592d8a06f9f2b798458c5245b","datavalue":{"value":"10.1142/S0129054114500270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941085$317AF699-B179-43D9-83AB-5482BD10D219","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fe4085960916936e2fd7a18a6fa3560a35aed1f","datavalue":{"value":{"entity-type":"item","numeric-id":474509,"id":"Q474509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$D8FEF749-56B4-47B1-956A-7F42F9D1BDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5488062f8751eaf79d6ead48a18c32144c5f0479","datavalue":{"value":{"entity-type":"item","numeric-id":403515,"id":"Q403515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$F48C83B5-CE77-4608-AF56-D982D28FE6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf86d3592de839a236fe3727a7a005bd7db9ff56","datavalue":{"value":{"entity-type":"item","numeric-id":1718422,"id":"Q1718422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$987BC571-E5E7-455A-8432-8ADF2D981DA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$F6EF7675-38B1-4039-85EB-3EA6595EC796","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d0251b69d7d19697bca623567230f62a256b263","datavalue":{"value":{"time":"+2015-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941085$5A06079E-0AB9-48BC-B447-0A803418E81D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941085$76957F5F-B923-47D4-BDEB-C14857C35650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941085$B998760A-A0E2-4523-B8F9-8AAB554A5929","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f7188b578d4fd5d3d3f77a182ec9fad3359d778","datavalue":{"value":"6389057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941085$F6A12112-C437-499E-828B-FDAA9BF35589","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3c179e0684bb212a39c80d0cb6189399ea1329","datavalue":{"value":"\\#XSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941085$C1D7D435-1816-49F0-8932-1EDDA3A63389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817f91d754a6618dd027e0d851a1fc8b7cbc7134","datavalue":{"value":"upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941085$77C52BDD-5F76-448F-97C5-BFA1D7F1F84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941085$C3FE66FC-9133-4825-8491-D63AF2E8A4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372d719e56815ecf6ec73ee7fd1cf3a7a67cb946","datavalue":{"value":"common literals principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941085$20FB7C90-67CD-4BD5-B68A-C242CEAFE48F","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":"Q2941085$4D003EF7-0A1E-4F70-8ED0-81541F629C43","rank":"normal"}],"P223":[{"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":"Q2941085$A95ED6F7-F237-46AF-B75F-323A9B5CCBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e8d6e6021b4878350ddba09efe7c96a57721c","datavalue":{"value":{"entity-type":"item","numeric-id":596105,"id":"Q596105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$57127866-EAE5-45D5-9468-FB9037955EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbfa834970c2d1f9247d00d5b6de7ad66a60892","datavalue":{"value":{"entity-type":"item","numeric-id":2577590,"id":"Q2577590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$24766621-3A95-4127-AE05-F73CC8522DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4804a3d5e22e55dd2988f314aab0480d1661c0c","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$66DE4C31-F46B-49E3-86E4-D70688F013CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6ef516b95b003abd6660eeb19e6d35ed0d82c6","datavalue":{"value":{"entity-type":"item","numeric-id":964408,"id":"Q964408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$AE38239C-D4B0-4D84-B0A9-84163CA14C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada94e07b5dc6281f31941be6024fd6e3ba86c79","datavalue":{"value":{"entity-type":"item","numeric-id":1944049,"id":"Q1944049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$F20407E1-9339-457A-BEE3-1888F7879DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31f15d123876a2e8938f5e3dd7e09d1436bc1f0","datavalue":{"value":{"entity-type":"item","numeric-id":1028939,"id":"Q1028939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$515484AA-F98B-43B6-97D3-76AC31D83DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6fd1b7d8b3626d73270eac8a248c4a288fa63f","datavalue":{"value":{"entity-type":"item","numeric-id":2368999,"id":"Q2368999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941085$1D1B6E75-0AEB-4C1D-98FB-299A8C40105C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69c1864d8d72ba106a26af3be9f669bbb1df736","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e006b046c6e95ab35c875160ece55df0242824b1","datavalue":{"value":{"amount":"+0.8307082653045654","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":"Q2941085$65AD4917-DED6-4D87-8781-A5E1B43FF6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2006d42a1cc4804a42adc41ef97767eadde675","datavalue":{"value":{"entity-type":"item","numeric-id":2380029,"id":"Q2380029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40afe598d4dc52ddef56bba72cd0456f986d0201","datavalue":{"value":{"amount":"+0.8302582502365112","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":"Q2941085$33059A65-1647-48A2-8167-8B053CD5D4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb237ec0f03166e294e8c0d7afb00e933d9e13c","datavalue":{"value":{"entity-type":"item","numeric-id":2232607,"id":"Q2232607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b838e006f06c2bc8b8ce06ed9a70fafee5d01be2","datavalue":{"value":{"amount":"+0.8246631622314453","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":"Q2941085$EB87CF49-25A2-46C7-B877-339B7340ECCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4289397083f984f5e90ae7055cfa2ae188c07ef","datavalue":{"value":{"entity-type":"item","numeric-id":2462633,"id":"Q2462633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd854ac090b27758d2aa71bfd71ab036ae10f21","datavalue":{"value":{"amount":"+0.8164626359939575","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":"Q2941085$9586AAE4-47AC-4E59-864D-FC250F1A3C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10d3afb1955d15139cbb29aeaee1ac969582928","datavalue":{"value":{"entity-type":"item","numeric-id":2897996,"id":"Q2897996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b2fa893da9ab950247a678f2c85d4d152f30f5","datavalue":{"value":{"amount":"+0.8119711875915527","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":"Q2941085$2710A8B9-A8BF-438E-B212-8A1461D92AFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2941085","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2941085"}}}}}