{"entities":{"Q283678":{"pageid":285445,"ns":120,"title":"Item:Q283678","lastrevid":60639681,"modified":"2026-04-10T18:13:36Z","type":"item","id":"Q283678","labels":{"en":{"language":"en","value":"An enumerative algorithm for \\#2SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580818"}},"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":"Q283678$E2404A96-106D-46E9-93F5-0FDDF724EBE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47db6b47b8749ba6bf1927df4b4b53f7f3428c99","datavalue":{"value":{"text":"An enumerative algorithm for \\#2SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283678$EF6A0BCB-CC23-4F00-8BD0-1583EA28B695","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfdd002c443e04f39f422d23de5e95b4a0191ee0","datavalue":{"value":"1337.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283678$C41D7B4C-5AAF-4617-8D2B-9575C5B4D07A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c108f2a8a2f2961b1d6e7cb820280ae963742e96","datavalue":{"value":{"entity-type":"item","numeric-id":283675,"id":"Q283675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283678$6546D2BD-B925-4BA4-ACB9-9A8342AEDACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60940ecc4ceaddc26904eca5f47a54fe65de60fe","datavalue":{"value":{"entity-type":"item","numeric-id":283676,"id":"Q283676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283678$7731134C-C5A8-4D64-B882-2A147C9C12AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b748c44ae3bfd99e3c6636ce8974d912f7353ab","datavalue":{"value":{"entity-type":"item","numeric-id":283677,"id":"Q283677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283678$463FADFE-A3A8-4524-9511-5BCC3991CB55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283678$8F7E531D-B683-4E81-8AB3-2CB7F868A8B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283678$D7DF5850-9873-4C9A-9D3D-E01A325C96D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283678$4915E1E8-EED2-40CA-9D48-2F9A599CCD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283678$7256F3BF-FD5D-432E-BD26-6073FF3EB064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283678$14A15228-8EDD-4C8E-8914-A9D449318A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283678$E429EAA6-57B6-414F-A1C9-B04BF34DA57F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7c21b197a1c2fe5c26b50ce0c413db94fb8d300","datavalue":{"value":"6580818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283678$2F0FF147-A491-4C3D-BF0A-964B1A09AEED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a319c27a0f2a93ff2ab13e75fa3ca07304ebeff5","datavalue":{"value":"\\#SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q283678$13B24156-2EDC-4683-B960-DBB2DB31DCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff7086c700c06e99880c04f2de1ecb5f045714e","datavalue":{"value":"counting models","type":"string"},"datatype":"string"},"type":"statement","id":"Q283678$2F3863E0-481A-40B2-A2F1-AD647D708E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddd437525c60a01caa3eb5bc65d365875d1262e","datavalue":{"value":"enumerative algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q283678$6098C7C8-2E63-4BC6-843D-FCF133DC68E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f80de9c246b1747387505009dfb12a20a0a2d2","datavalue":{"value":"efficient counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q283678$1A837E7B-0882-45D7-8FA7-3DDA94C94C58","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":"Q283678$47201DB8-FD87-4EA9-BF3E-F09E22CE30A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35934590b3dc754dab17ff4290951f5fad0ef238","datavalue":{"value":"https://doi.org/10.1016/j.endm.2014.08.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q283678$A9C89541-7454-4BE8-8EE1-4EC6F3E880F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b92aa26b9c64b666961eaa8f64c9cb79fb222bb","datavalue":{"value":"W2094368491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283678$4D394957-77F4-48BA-9BE5-90D6DFB43031","rank":"normal"}],"P223":[{"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":"Q283678$4FDCCDED-787B-47E3-821B-971C69B7510C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4f5a67d2516cc8bb30d75bd9b43966daaf57fa","datavalue":{"value":{"entity-type":"item","numeric-id":1770390,"id":"Q1770390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283678$51BCDE7D-C1BB-4466-9FFF-7240E9F112C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e09b2df25fed7040c3c645039ce3ce0b724eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4443390,"id":"Q4443390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283678$55F06B54-4E2A-4FE9-9894-16C18627BDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aa670414d4f6fec55d4a91be050421f173db46","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283678$6E0014C7-5690-4462-ADCC-65D539640FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191e92623f9d2438f3f0d910e23020101d3fbc07","datavalue":{"value":{"entity-type":"item","numeric-id":2701738,"id":"Q2701738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283678$61D440F3-4D9F-4F41-B835-8F8E6CB59A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23604afcb0364f670f2bc60da96b028577190ba","datavalue":{"value":{"entity-type":"item","numeric-id":5325861,"id":"Q5325861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283678$3A27ABDD-6195-48B9-9A25-ACC5EAE2E2BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54b06abed8e657157802cfb056fcd344de45f3a7","datavalue":{"value":"10.1016/J.ENDM.2014.08.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283678$90CCA856-3C8C-4408-9CA6-954F3AFE3636","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4135ca915e7ab0df8ce97bf3dff50253a0312e19","datavalue":{"value":{"entity-type":"item","numeric-id":6138912,"id":"Q6138912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da65a6c487523bc52f11ca778871406d5a185cb","datavalue":{"value":{"amount":"+0.9251313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283678$1DE6D88B-E047-4CF3-884E-AA69444DF4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd35a3df112970d6cc97180e5ec0ad32b2881cac","datavalue":{"value":{"entity-type":"item","numeric-id":3386918,"id":"Q3386918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb33a1cca767f9114844addc818b9eefdd19ad56","datavalue":{"value":{"amount":"+0.9117311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283678$5FF2B50A-6871-452E-960A-851917F44E4B","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":"2edc40102db2897fc22d301c93842e5f75e6fcdc","datavalue":{"value":{"amount":"+0.887847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283678$D116CC2F-44DA-497A-AA72-10E6B3EF846C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be8cfcb7d316220513ee1cf63a1a821b8f284f13","datavalue":{"value":{"entity-type":"item","numeric-id":1841881,"id":"Q1841881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3749c3910d9134502a6846f9e16c141a4966ac09","datavalue":{"value":{"amount":"+0.8846451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283678$31BCC46B-8725-43FD-9B3B-DE48CA048DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5669bebc9f992fd45d7d493355cdf50fc33ce435","datavalue":{"value":{"entity-type":"item","numeric-id":4501522,"id":"Q4501522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4705ccdf216361de0610dfdd3a2bca65b2c5922d","datavalue":{"value":{"amount":"+0.87378025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283678$89103706-C61F-421C-AD37-729D416B5813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621720e8b7b4f2dc69ceb6b3a0c92a83e0f8185e","datavalue":{"value":{"entity-type":"item","numeric-id":3552502,"id":"Q3552502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb91a17f1a638f66c6eb7c1faf50e59bb239e15","datavalue":{"value":{"amount":"+0.87119067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283678$A62FF5FB-3A50-4CDD-AB01-06DA45E860BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdb66b8b7279614db584a247f7287b2a6f9eab2","datavalue":{"value":{"entity-type":"item","numeric-id":1961449,"id":"Q1961449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612603f779a9171c86e7c5a3afb2f50d0e4614cc","datavalue":{"value":{"amount":"+0.87025726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283678$BA807525-A2AF-4D74-BB9B-0C96AF8A6B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267852268ef92e7f3e3d9e8057a1589c67641d67","datavalue":{"value":{"entity-type":"item","numeric-id":4263798,"id":"Q4263798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f8d9e9653fc3de2b7638e10b477558f417a0f3","datavalue":{"value":{"amount":"+0.8687657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283678$6D858F30-EDF4-49EE-B2B9-115D7DC22666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb99da77c4cad897c30658ec35cd00f2752b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":2487388,"id":"Q2487388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bca468f22e62f78d1714390f2ef2aa63ef604e5","datavalue":{"value":{"amount":"+0.8666617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283678$0FF21B91-49FD-4C5A-BE9A-2412077EEB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e892e1c0d996adbb1534cf0be0300e81ea1c8fa","datavalue":{"value":{"entity-type":"item","numeric-id":1870908,"id":"Q1870908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3dc0296bd2568e5489302ca2170d0106ee73a31","datavalue":{"value":{"amount":"+0.8628412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q283678$C6C167E5-CDA3-4600-B228-EA1402D76E49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An enumerative algorithm for \\2SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_enumerative_algorithm_for_%5C2SAT"}}}}}