{"entities":{"Q3612459":{"pageid":5642365,"ns":120,"title":"Item:Q3612459","lastrevid":50601053,"modified":"2026-01-14T12:59:07Z","type":"item","id":"Q3612459","labels":{"en":{"language":"en","value":"Short XORs for Model Counting: From Theory to Practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527201"}},"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":"Q3612459$541D7BC3-0CFC-431E-B0B0-D5CDC0C48462","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"930b546270ea1583ede460624592adfeb1ecdfc6","datavalue":{"value":{"text":"Short XORs for Model Counting: From Theory to Practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612459$240E673B-A4F1-4D79-A5DF-978E90A4476E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b3b9a61d731756a19e697517283cafb71774b68","datavalue":{"value":"1214.68354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612459$92287A85-AAFB-4142-BF03-67BB63129C1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab7a1f61711268f4819b3ed9680eafaf0d34c4a7","datavalue":{"value":"10.1007/978-3-540-72788-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612459$8C681EAE-52EB-4868-966C-95926D6333DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0da8fce251f678eb843710c76aaf8c91a126fcee","datavalue":{"value":{"entity-type":"item","numeric-id":514136,"id":"Q514136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612459$0636D34D-EF39-48C6-97C6-2A2E0C954EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc48f6482cafbc4c9db96d1df1775b795a5c68d","datavalue":{"value":{"entity-type":"item","numeric-id":456410,"id":"Q456410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612459$522B0503-8138-4A53-95F6-8CF67B539511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0a6e2901f37f07f61955e71608f708a4ec7051","datavalue":{"value":{"entity-type":"item","numeric-id":456408,"id":"Q456408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612459$57D0C679-F436-4641-832F-2AAFB68B6585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474d80fb8e3e25b0903af1e87b38ff443f35798","datavalue":{"value":{"entity-type":"item","numeric-id":545552,"id":"Q545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612459$BCED8464-996E-4C53-BE7C-0534555E4A55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612459$9C0A36A1-7ADE-42CA-9A66-B59E1E5BFA74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612459$5C072553-16CA-4AD9-A199-53D2A73531CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612459$98AADB22-A80D-4210-919E-E83181A2F3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612459$47BFDC5C-1931-4EBF-A42D-A9CBFAFB3110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612459$BE029911-8B74-4484-B27F-2A6F4C300021","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7416a00f0a2ab17214fbfe8676796009dd6e720","datavalue":{"value":"5527201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612459$FB38C2E5-8955-4D59-AD69-5EE49F020F47","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":"Q3612459$B0BB94D9-73D0-4AB2-96A0-B7D7DAA4F7B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b32447a8d1100e832a5e9c5462abe905248efdde","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612459$F0522938-F182-4C6C-9850-8FEF575DD995","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba4771c21e497aed8e4b4713336326223b94fffc","datavalue":{"value":"W1549031924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612459$71F8571A-21E0-4408-8DE2-1CFB1B75D1ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a9b1202f959a90559b3da8deb74226c04dd7fb","datavalue":{"value":{"entity-type":"item","numeric-id":1680238,"id":"Q1680238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd1ee2272195d60224c7264c29b6099eb760467","datavalue":{"value":{"amount":"+0.8776994943618774","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":"Q3612459$F0BB4FC6-AB4C-4C89-A3BA-0E4A1D234991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e21852165bf53c530db96628a42399eaa0c525f","datavalue":{"value":{"entity-type":"item","numeric-id":5740444,"id":"Q5740444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae11100406094e850f878606d87d70bb898c529","datavalue":{"value":{"amount":"+0.8408247828483582","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":"Q3612459$EE9DC9D4-D3DF-4414-94E0-D57723384C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2e03c64952a0c91b15f2c75af6a11cdebbc959","datavalue":{"value":{"entity-type":"item","numeric-id":2009186,"id":"Q2009186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6733ddd04a1f17021f3ef0f1b78dce32386e3e1d","datavalue":{"value":{"amount":"+0.7814887762069702","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":"Q3612459$3B7A450A-5CF6-484E-9792-A55568CD5426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27ff0b1b081ce4c0de994a3ba60a78067aeed1a","datavalue":{"value":{"entity-type":"item","numeric-id":1656574,"id":"Q1656574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e36a8c64e71247394a6321af17319e25ec7d2c","datavalue":{"value":{"amount":"+0.7729223370552063","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":"Q3612459$E11A795F-E5B9-4B2C-9284-4101A5685E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eabe57e006a2767ca17fba7b3991ee9d2f7bae3","datavalue":{"value":{"entity-type":"item","numeric-id":2225121,"id":"Q2225121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f5bf0017ae0da499d72340f58e23ab4d9d11a5","datavalue":{"value":{"amount":"+0.7645844221115112","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":"Q3612459$C4442A80-1E4D-487A-91F8-F3FC0172E6D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612459"}}}}}