{"entities":{"Q3434542":{"pageid":3445245,"ns":120,"title":"Item:Q3434542","lastrevid":88194515,"modified":"2026-06-04T13:52:59Z","type":"item","id":"Q3434542","labels":{"en":{"language":"en","value":"Counting All Solutions of Minimum Weight Exact Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148455"}},"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":"Q3434542$6FB64C8C-8E0F-4C98-AE08-810976EE4E01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d6576a6deeb470532648c15b832fd9f1c84fcb6","datavalue":{"value":{"text":"Counting All Solutions of Minimum Weight Exact Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434542$2B25A9E6-A143-4ECA-8251-A9A8499795FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95417cde9bd35ff2e4bed23527e427024281b091","datavalue":{"value":"1183.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434542$5AD54131-1BC7-47A9-8D5C-044AFD304F1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aace8ce25038a687fe25828c9074f619e21b2ca2","datavalue":{"value":"10.1007/11758471_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434542$6D17A1DF-3006-4909-A913-BB32401A4819","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffb0466461e16e203e1eebcf15c374dbae0d4e8d","datavalue":{"value":{"entity-type":"item","numeric-id":714019,"id":"Q714019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434542$1766A411-3ED9-45B7-BBEB-298C1A2BE2FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434542$4F8ED7C0-292A-43E6-A1AB-5C072438C8DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434542$0C10C640-C817-4A7A-9D1F-D8B277D869AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434542$81DE57EA-AAA6-4719-9590-F063A5B57038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434542$72F562EC-0FB7-422B-B5DD-D24D6CF741F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5c838f6ce3b2eb66ef24172d1f851f32e7130b5","datavalue":{"value":"5148455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434542$CA3C1942-2016-48DD-A226-4A9E65482A06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3e8385794447cceb8d6d1b06ca6477a0d1ba133","datavalue":{"value":"minimum weight exact satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434542$A11D8347-2B4C-423C-A788-9DA6DFE3A380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f06a6a4e6bb174732379bceb4328699fca2f9ef","datavalue":{"value":"minimum weight set partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434542$63FF665C-7491-4856-BC70-D8AFB12F1DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d50dba714528f7e5f5796bd945019cd62285cf2d","datavalue":{"value":"maximum weight independent set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434542$CB118E24-0711-4ABF-8765-D8EEC0B88A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d0d9d46e94d9dac2a966bd0bc7ac44de8c384fe","datavalue":{"value":"counting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434542$A7ECFFB3-3584-4C9D-AC66-4C7CFEAAC7B5","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":"Q3434542$A018E236-A956-4DC4-9583-31C7E6A8DDE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6032ccc26bb26ca73972528da4c00d6f25e1d2a","datavalue":{"value":"https://doi.org/10.1007/11758471_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434542$097B3C80-B11C-4C09-B25E-CBFC52FB5D43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"490541f7ede6174f3c4e0fb53fcf33d4c93c7461","datavalue":{"value":"W1495993003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434542$B92E9EDE-DA0E-4BFB-BF64-440700C2D06D","rank":"normal"}],"P1643":[{"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":"154bc808fadfae296b98d1edf6c1b1ce7df6f1ea","datavalue":{"value":{"amount":"+0.9009842872619628","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":"Q3434542$BE611B23-AA60-42EF-8FA1-776A4CD5FDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a745d93f57a693b8e150ab551c39a0956f3bde1","datavalue":{"value":{"entity-type":"item","numeric-id":5897898,"id":"Q5897898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08973f2d8338d23610804f1f179861ea7b644ff9","datavalue":{"value":{"amount":"+0.8922920823097229","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":"Q3434542$DA9ED8C8-B545-48EE-9F0B-36DFBB90D85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f9d5c1c1d06187860be72bbea8eedf8978e3ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711544,"id":"Q5711544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5966f0a74e89f84d3a2ca4c872609de14d308146","datavalue":{"value":{"amount":"+0.8218912482261658","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":"Q3434542$886EDDC5-A739-4FB2-AFB6-D66BFB48939D","rank":"normal"},{"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":"4c14e51eb694d8b5d2c5a5afc207f3ebbf0559c0","datavalue":{"value":{"amount":"+0.7830392122268677","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":"Q3434542$DDCCC904-56E3-4721-8B46-DADE21582BC8","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":"9de25d364098077123932532f3668e8d3fa404f6","datavalue":{"value":{"amount":"+0.7819940447807312","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":"Q3434542$D788CA79-8991-4583-B51A-5B6A499A4421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting All Solutions of Minimum Weight Exact Satisfiability","badges":[]}}}}}