{"entities":{"Q3503590":{"pageid":5533494,"ns":120,"title":"Item:Q3503590","lastrevid":50376461,"modified":"2026-01-13T22:24:39Z","type":"item","id":"Q3503590","labels":{"en":{"language":"en","value":"A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5285036"}},"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":"Q3503590$9E1897E1-D2AE-486D-A1F8-558CB33B65B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca03d57140f4a81bdaea208ca1be6ee679273018","datavalue":{"value":{"text":"A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503590$EEBE3045-E790-4B3A-92DA-26B73C3E0B77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8097b47074c7167e06d4c50347e79c1b8c3303a","datavalue":{"value":"1142.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503590$78F33E7B-C156-4515-AC9C-0DB4E60ADD55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecac68648bdc03dbf82e4e99449dc16fa164d566","datavalue":{"value":"10.1007/978-3-540-79723-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503590$43EC60D6-5777-43E3-A8DC-D82708766BC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11324fa342c81c30ac095bea5b5286aa7a4bc5ff","datavalue":{"value":{"entity-type":"item","numeric-id":309798,"id":"Q309798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$F8F3FB4F-DF66-4C73-9287-3C720972B15F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c7444d43d742ff192f7c630ea625c103bfe4587","datavalue":{"value":{"entity-type":"item","numeric-id":2867067,"id":"Q2867067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$F451D3D7-5A9A-41BA-930A-2537A9BDA0FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf52a5dab4cce181d346855b7e145b14f7affd55","datavalue":{"value":{"time":"+2008-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503590$0D45EAF0-363F-4BAA-839C-42B0A64BBA4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503590$11C8688A-B912-44E0-8B20-AB63FE859E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503590$9A6EB5A3-6B02-4690-9AA7-6B88ED67D1AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4769ca0b0cba08a8f0d900c3251169658c894e4a","datavalue":{"value":"5285036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503590$ED4B3A1C-4CB7-4228-BB2D-B3917630548F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e74493c4ca36ad72d3d45b1520048fdd2814581f","datavalue":{"value":"Q56288405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503590$1D984171-B68B-42F9-88B4-9A1D754B12BA","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":"Q3503590$9BF2AD5E-D942-4653-BDE0-E60088006634","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dff3a28ca644fb3b0ff8a7137cdfa254a6de19d2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79723-4_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503590$D50F577D-7E31-4120-9E87-298773242EB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f71c7470c4212469da05897fbbe075f6cac618c","datavalue":{"value":"W1591820613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503590$897F625C-26CF-471A-BF0F-C2D32977206F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc870744846575072bf5ee045339dd2dafe30a6f","datavalue":{"value":{"entity-type":"item","numeric-id":706635,"id":"Q706635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$C5282528-CC97-46AC-886C-48C0F0F131A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"137e514add27b29f397609391b43a6d3b040642f","datavalue":{"value":{"entity-type":"item","numeric-id":4808676,"id":"Q4808676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$9EF314AC-CD9C-4B41-94BA-D5B9647539A7","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":"Q3503590$51D6AC4F-DCD7-47EC-B9F9-CF252BCF0E00","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":"Q3503590$D7720C30-E499-425D-9E83-3A7D0019B9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c05979c04d144ffb1ff478f6f68cf3e33a6dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5501340,"id":"Q5501340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$E4F3A6EC-BF28-4A31-92D9-6EA52914C41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ddc2af7df51868e37047fa03913303f8eadb60","datavalue":{"value":{"entity-type":"item","numeric-id":3396567,"id":"Q3396567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$18536A1D-67B7-4EFF-A5D0-0E89B5F86C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73717f3325f0586e383ce376be83451c4cc7ed5f","datavalue":{"value":{"entity-type":"item","numeric-id":5434422,"id":"Q5434422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$60CE08E0-822B-40FA-B2C1-A78CE5636565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f84a7480c49fc409dbcbf738c5b5d98de37e02b","datavalue":{"value":{"entity-type":"item","numeric-id":5501274,"id":"Q5501274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$708D940E-518A-4170-AE7C-99F161C71660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4ef2a1a38b56c81df266118bb63175df99c046","datavalue":{"value":{"entity-type":"item","numeric-id":3851094,"id":"Q3851094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$56A15404-1DB4-4C5C-B3FB-A4EBEF1AF370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3560cc4279512a542093927dd496e3c6304104b7","datavalue":{"value":{"entity-type":"item","numeric-id":3359758,"id":"Q3359758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$0A41C40D-EAA6-4426-A10E-F4B2C7848BE1","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":"Q3503590$1E9036C8-A0D4-480A-B85F-D922A3EC0E5A","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":"Q3503590$00D79BF9-2752-48DC-A3B8-D6D51597C4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3194984f10d1bd6b3034671e1f13a64006941dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503590$78FD3851-69FE-4B0F-90E5-9EA8D553CD9B","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":"Q3503590$61447A7D-E517-4063-9579-2E2535439C3C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e2e0023e26b5f42e3f4ec09c69afa2785b763184","datavalue":{"value":"conf/iwpec/Wahlstrom08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503590$6C6599CF-FEE0-4049-8EFF-5272707A5853","rank":"normal"}],"P1643":[{"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":"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":"Q3503590$62686CFD-FB91-4523-AEC3-E69383D52C3F","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":"382b6ec274e282202030d7a905349abc8d2c6666","datavalue":{"value":{"amount":"+0.8254203200340271","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":"Q3503590$B418D633-2966-4057-A7BC-14936E8C055F","rank":"normal"},{"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":"4008588d4be67936b6ea07ae45f41b1c84992922","datavalue":{"value":{"amount":"+0.8218268156051636","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":"Q3503590$E66F8F4D-4B8C-4E1A-B0EB-8CF8C9009708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b952b0a496022871d960112292997501b00173b8","datavalue":{"value":{"entity-type":"item","numeric-id":4578331,"id":"Q4578331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d96d1ef5148b3770bc61fa9694890960d8e159a","datavalue":{"value":{"amount":"+0.8113956451416016","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":"Q3503590$D6AD6BAB-29BA-4290-B88B-71C0C1E64280","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":"dcaab4c4b93a735fadab3c053c7147e5dfeaa055","datavalue":{"value":{"amount":"+0.8091810941696167","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":"Q3503590$BA399D8A-8CB6-4B71-82FF-3181EB6C3994","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503590","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503590"}}}}}