{"entities":{"Q2386352":{"pageid":2397095,"ns":120,"title":"Item:Q2386352","lastrevid":72673125,"modified":"2026-04-14T06:26:00Z","type":"item","id":"Q2386352","labels":{"en":{"language":"en","value":"Counting for satisfiability by inverting resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2197198"}},"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":"Q2386352$0B25B228-E69D-4184-B086-63849EC12E20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bb5dd492b078ba4c9801acf2d73f2c3be8cdc77","datavalue":{"value":{"text":"Counting for satisfiability by inverting resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2386352$74FE89D2-6EEE-4BCE-B7E1-7E3072DF2D35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b14d77ffd169d159206954ba0021cebfa70d4bd","datavalue":{"value":"1099.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386352$C2153A09-725E-4F15-8B84-D7052B06D228","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"864a75a6839514803d74f762d339f267e13fd31d","datavalue":{"value":{"entity-type":"item","numeric-id":71170,"id":"Q71170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$83C37BAF-076A-4B6E-AF2A-B5722B7F01D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dd83e30b5291de8829d091c1ba44aab3df736da","datavalue":{"value":{"time":"+2005-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2386352$9403CF23-BD96-4838-AE93-C8F0759E0339","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386352$F20FE1D6-9167-4A5D-87DB-51FBDEAD3692","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44697f01ffe36bcb206f02cdf61916a626cdf5f6","datavalue":{"value":"2197198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386352$98813944-5F51-442F-AF69-0D96AD9BCDAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386352$68D1D31B-E900-4F6D-B240-0F1BE7C11D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4613fd9c4bbb3c21bc8ca971682db95c3957d723","datavalue":{"value":"counting truth assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386352$B2E7AC2B-E9A7-4455-ADEF-2865E7D6B59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386352$AE1DB9D6-84F7-44E0-8B3E-1AD9802BD529","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb0440f4d24a09bc01fb2b6999ed5812e4a2e1e","datavalue":{"value":{"entity-type":"item","numeric-id":1037241,"id":"Q1037241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$F0F28334-12DD-4A4C-A12F-B8092452C374","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":"Q2386352$3CFD3460-1DA5-4B55-9EF2-3C16BDDF917E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"556a6b57252f04f8cd4c935de212ab27ac0dba8a","datavalue":{"value":"https://doi.org/10.1007/s10462-004-4329-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2386352$D8F406F2-A97E-413F-BDCE-06AEFC1E98FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a1f2015d3d63076eca75185ed7132f5d39be1eb","datavalue":{"value":"W1519524620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386352$0A2B9D17-8D54-41A5-B380-F5F3797BC6B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6515ec1f799ac720199fe647c6907436dd10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4256519,"id":"Q4256519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$EEFF14A7-30C6-4A99-BFBE-F99579B5E477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab04f4868b4dbd099b852dcf8087a1d8d0be3253","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$7762C94A-0FA0-45D0-BF4C-70457115B988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$081575AD-163D-4EB8-AFF0-56C0BA805998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$B076DC96-3258-4139-B09F-FF2FE3929250","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":"Q2386352$05A68D90-DA4A-401D-A280-0F4F60968D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67a4ea09da882c27284fbb04b8a294dde7aba32","datavalue":{"value":{"entity-type":"item","numeric-id":4808619,"id":"Q4808619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$AC20E442-5AED-4ACA-A72E-263E722AE525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$69C9447D-37AD-421D-9B93-488C0B8A03E2","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":"Q2386352$B17697B2-1F28-410F-8A10-779F8DEB95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$FB9AE7C7-7B39-4581-ABED-550CE87C5870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$4EF9A42C-BB43-4E93-AD0D-EE77EE828880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$E7D7577B-2DC9-493E-9110-3419B27E7397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741c7d3129901eccb8c6a0c0e2bacc188c4905d9","datavalue":{"value":{"entity-type":"item","numeric-id":4728220,"id":"Q4728220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$EE574FB7-8C50-451A-8796-6E6947AF5316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb697a72c5019d34697697fcca3426dc7d50713","datavalue":{"value":{"entity-type":"item","numeric-id":4843403,"id":"Q4843403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$B7B59ABF-145B-47E8-8AC2-412B9D4E3AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$DF0EAB6C-78AD-4934-B613-840FE685BB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa979efcc4f8ac4a0155fe0fd668c60d99e2561","datavalue":{"value":{"entity-type":"item","numeric-id":1197995,"id":"Q1197995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$F6C84A24-2FDF-4F59-8E55-83C9D65971B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d20bdcea5490376265832e57967847211e2ee14","datavalue":{"value":{"entity-type":"item","numeric-id":4305633,"id":"Q4305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$0DE59E32-C47B-48DF-967A-6095D254AB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb6855ef389bf054811a011cc0d541ef395a32","datavalue":{"value":{"entity-type":"item","numeric-id":4004339,"id":"Q4004339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$D2DE788E-95F0-4B24-8730-2DB27F91487D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef56913e488cf1c648765de8c5e42dab2c07137","datavalue":{"value":{"entity-type":"item","numeric-id":2767042,"id":"Q2767042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$DEA919B5-D8F9-4731-8886-635D53975EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$E2695B8F-3FDF-451A-882C-300DEF5BDE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$7FAD153D-BFF5-451B-997D-37196C47E2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08a326268eddd6d2d5c349bf6aab49ba6b055f89","datavalue":{"value":{"entity-type":"item","numeric-id":4486016,"id":"Q4486016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$892A1B6B-BBFB-48CE-A888-2631704257EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57bef4e7675c2b12fc3b5f89e9c8a54589ba4bad","datavalue":{"value":{"entity-type":"item","numeric-id":750165,"id":"Q750165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$2AB7BE7F-1A71-47E1-ADE4-E3AFD72B4957","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":"Q2386352$C4C5F538-8A5D-4238-9474-544403556DD0","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":"Q2386352$9FC158E5-DE9C-43DD-8919-029242B37A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7970641b5a366b5a66b14e7a2fa9c4559ad8a0","datavalue":{"value":{"entity-type":"item","numeric-id":4529644,"id":"Q4529644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$AF3D2882-6137-4688-AB6A-2B3FF36DB72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8656ee63942b5739c31fb600513edb430dc96e70","datavalue":{"value":{"entity-type":"item","numeric-id":5939378,"id":"Q5939378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386352$CF2ED624-535A-4A2E-B1D4-4B1AF5944C7A","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":"Q2386352$8D9B6480-AE52-4703-84D2-5907DBF11DAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1210768f6b02a294b0104ed4a7116b48026a217","datavalue":{"value":"10.1007/S10462-004-4329-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386352$97C3FEE5-C3EE-41E2-A21B-FA74EBCEE476","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":"d4708daa298fef6aa846e850f895fd7a799ce0ed","datavalue":{"value":{"amount":"+0.794374406337738","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":"Q2386352$65AE5BD0-2062-4D46-B7C7-661E10E836DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff15b13e4a16816e53c2a8c38ec95e861d0039b","datavalue":{"value":{"entity-type":"item","numeric-id":3145291,"id":"Q3145291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a579a4359845e16fdfb7361a083f5e4aaafe35f","datavalue":{"value":{"amount":"+0.7699009776115417","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":"Q2386352$A314E9CD-079D-40D8-817D-FB8EC555CF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364518d8413330694049cf3ab925de858aa2ab22","datavalue":{"value":{"entity-type":"item","numeric-id":2941085,"id":"Q2941085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11a8be40f9e1ce3dae40bd000783f5893a33f55","datavalue":{"value":{"amount":"+0.7672794461250305","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":"Q2386352$E751E5E5-6816-43A1-98EB-B4FAA8D92B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8933811b8c1ade656838414e184b39137ff0c8","datavalue":{"value":{"entity-type":"item","numeric-id":5713722,"id":"Q5713722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9814962dd29eddfaaacd3038e08a8ae09fa13b","datavalue":{"value":{"amount":"+0.7656667828559875","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":"Q2386352$3B803C29-8591-4FBA-A720-BA962D3A6EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481ba62f2326cf0138f169b1c2bc980f74461d51","datavalue":{"value":{"entity-type":"item","numeric-id":4475696,"id":"Q4475696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26797e2a94cb41f801ae735d4a60e1c7268d5a7","datavalue":{"value":{"amount":"+0.7637210488319397","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":"Q2386352$CA4DE662-6A55-4513-925D-8C7F624352C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting for satisfiability by inverting resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counting_for_satisfiability_by_inverting_resolution"}}}}}