{"entities":{"Q5434422":{"pageid":7463986,"ns":120,"title":"Item:Q5434422","lastrevid":92322473,"modified":"2026-06-05T01:25:59Z","type":"item","id":"Q5434422","labels":{"en":{"language":"en","value":"Algorithms for Counting 2-Sat Solutions and Colorings with Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223337"}},"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":"Q5434422$EBCA762E-F2E3-4129-9B26-8BA2DB4C5A90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"799c0f948c0b50595a042292c1ebc7816977f413","datavalue":{"value":{"text":"Algorithms for Counting 2-Sat Solutions and Colorings with Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5434422$935450B9-5E3D-462D-B15D-7D9E42DAA677","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69a766d6c84d69cdca3bdf995f1a964549b312e9","datavalue":{"value":"1137.68620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434422$1DB2B2F0-3953-4809-9ACF-C46AF8559AE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"791ce35528a8dd8d45be0cb136569670020e5a45","datavalue":{"value":"10.1007/978-3-540-72870-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434422$94797D6B-F03A-4A1D-81DE-3D024F4C652E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9a76cdde880404a609449eb4c9fa045aaf6ad46","datavalue":{"value":{"entity-type":"item","numeric-id":392017,"id":"Q392017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434422$64265114-986E-4AB0-AAA1-8D903A6D6D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9568ac805badf97b59e7bcb6bcbbcb25f57c041b","datavalue":{"value":{"entity-type":"item","numeric-id":1159189,"id":"Q1159189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434422$E89F631D-E3D0-4B1A-BF84-B1D5F858A6B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2cfd8de7e3f063c1909df2c6598df99004932242","datavalue":{"value":{"entity-type":"item","numeric-id":2830052,"id":"Q2830052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434422$8FD011F2-0FB6-4126-A984-6FFF60B10946","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f5704c6280b1f69fc5c7b22503b1ed12496a29","datavalue":{"value":{"time":"+2008-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5434422$9F5073E0-FEE6-4380-938C-BD201D2F1474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434422$F9E6241E-6A15-42DA-812F-9817A2896B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434422$884EBD8F-7011-457F-B622-982FC5EF690A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aba0c1d1c501305b4e334c98c9c2aa39b71b34d4","datavalue":{"value":"5223337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434422$CDF9F710-9860-49B6-A10A-F14F97CD5BB6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e7215ee0307eec33d8aaef18d79949e5971aa2e4","datavalue":{"value":"Q56288404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434422$F46D1D9F-8D0E-4595-9CE4-88E5A29BA337","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":"Q5434422$F6DF1404-12CF-41C2-AEF6-A6EB99EF209B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"163d5603ae4f85b89e07392054fc3b2d97045e0e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72870-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5434422$EE678A5A-B215-4CC8-8E01-FC5179CA75AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb00ce14629a8e96d5027958c9977fc9fcaf8827","datavalue":{"value":"W2123864423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434422$EE750B0A-B0DC-4ABC-8DBD-A037CB9819BC","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"13eba7fc3ec00e71442b5ad30788277cbb685889","datavalue":{"value":"conf/aaim/FurerK07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434422$40D50B4B-E81C-456D-9725-33B36B245D81","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":"5797a91a6a63ba44e9489130764a0dab6239e0c1","datavalue":{"value":{"amount":"+0.863680362701416","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":"Q5434422$EAB62939-75CF-4099-BFCA-B4323674E54B","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":"e98ef0bf5eb9cd10c5d91531c5210e7767c78acb","datavalue":{"value":{"amount":"+0.8572293519973755","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":"Q5434422$E460FAA0-EBD5-49E1-B9CE-24D8108F7E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7641f1d6191e2395888af44f7d480378216bb8b3","datavalue":{"value":{"entity-type":"item","numeric-id":4828946,"id":"Q4828946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a404ea16850105a3e99812f8434fa818d0036132","datavalue":{"value":{"amount":"+0.8565411567687988","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":"Q5434422$F475504E-0EBA-4C1B-A8D1-4C9C134D0668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e538b655714f5962a68723c41859f66c7436fa9","datavalue":{"value":{"entity-type":"item","numeric-id":1770390,"id":"Q1770390"},"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":"Q5434422$E932CB75-5ED8-4A44-B8F7-7774DFE3AD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2cf31863a65248b4191a73901a238100674069","datavalue":{"value":{"entity-type":"item","numeric-id":1408377,"id":"Q1408377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c551b12a9b13950c7352cd5e5419b361da868c63","datavalue":{"value":{"amount":"+0.8127918243408203","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":"Q5434422$BC2B1A80-5787-46DE-B1F3-8D47FF4A5B11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for Counting 2-Sat Solutions and Colorings with Applications","badges":[]}}}}}