{"entities":{"Q1799093":{"pageid":1809835,"ns":120,"title":"Item:Q1799093","lastrevid":53239748,"modified":"2026-01-24T12:59:49Z","type":"item","id":"Q1799093","labels":{"en":{"language":"en","value":"A new probabilistic algorithm for approximate model counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958107"}},"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":"Q1799093$79FD7711-F4A0-4F52-A9E1-A0A4E893DCCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80067c80aa0e7c00736a76d053a5db84b8d21bdd","datavalue":{"value":{"text":"A new probabilistic algorithm for approximate model counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799093$B863E9E4-0E0F-40CE-A33E-ECC4337851D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7004e1622c2ced122b9ab8f1087ebae255e512db","datavalue":{"value":"10.1007/978-3-319-94205-6_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799093$331C2290-33EB-426B-868D-855D39E1A0E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4da6409a092fdd055bbb2d13c72de3ddd1df5e1d","datavalue":{"value":{"entity-type":"item","numeric-id":1659992,"id":"Q1659992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799093$4D3B514B-2770-44D7-8DBA-6C904CAD0485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b88acf0bfa46feaad4f7fc85bddc739c2a861958","datavalue":{"value":{"entity-type":"item","numeric-id":1659993,"id":"Q1659993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799093$FBB01191-7F68-441B-9D29-4377BAC7517A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4f81dc51ec15d6df180613ba80e92dde9ae5864","datavalue":{"value":{"entity-type":"item","numeric-id":300226,"id":"Q300226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799093$E05FDA3D-0E82-4A7F-B929-45DDBC1EAE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f074f856fc3634e0cc07cdd3551e1ea32a5214","datavalue":{"value":{"entity-type":"item","numeric-id":963406,"id":"Q963406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799093$A2C33862-3510-4F39-B2DE-3E46523CD568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"781f09385a5a2cc0737b6411e882d312b70879f1","datavalue":{"value":{"entity-type":"item","numeric-id":1799092,"id":"Q1799092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799093$F590E623-9916-44EF-9FBF-BA93207D945B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799093$D416C1C0-E860-4E5F-95F9-A54A3DAB1C74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d795e339379ae3d010787c2587cc3689806dbd8d","datavalue":{"value":"https://arxiv.org/abs/1706.03906","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799093$94EC5696-CAC8-4D74-9160-99F2F4ABD86B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799093$DA648A90-019F-4E38-BA7C-D7678B646D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799093$1409CF52-62A9-4836-A960-1D8504974EB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"756a03d7ca7850faaccbc18f02a1b29ef85b8256","datavalue":{"value":"6958107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799093$E2AA75FE-FD5D-4099-96DC-A9FB74030E83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799093$B3404100-8F2B-420C-A94A-B8B2E794B46D","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":"Q1799093$ABA7F0DD-3078-4D78-989F-2F7811A0E8A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fede0233ebe21218ca1d209b62b7b2febc39e526","datavalue":{"value":"W2625829001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799093$F7CC82C3-F954-4909-B3E1-8F511D12F251","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8933811b8c1ade656838414e184b39137ff0c8","datavalue":{"value":{"entity-type":"item","numeric-id":5713722,"id":"Q5713722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8dd8f1c74881116b9c427452a4678a3236be9a","datavalue":{"value":{"amount":"+0.8406944274902344","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":"Q1799093$C0F7535D-A952-4743-B000-48D354325B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6baf0208fb19be50755992aa9aed2e31c050a9","datavalue":{"value":{"entity-type":"item","numeric-id":507433,"id":"Q507433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a936f4d403e3c552015e6ea605ee935e05edee3c","datavalue":{"value":{"amount":"+0.8319831490516663","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":"Q1799093$5328CB84-D21C-4539-B58E-714C0970207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d783d0aef9adbd6c5deed34b84062644de7f0ab","datavalue":{"value":{"entity-type":"item","numeric-id":5136333,"id":"Q5136333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd460e37bb628f762f0888c4b99b8fb4fb623779","datavalue":{"value":{"amount":"+0.8261889815330505","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":"Q1799093$F7E1427C-0CC2-41FA-A209-FA229EE77042","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":"27d0ce13ecb60f30d3c73cf3d1587e74afb99056","datavalue":{"value":{"amount":"+0.8254697918891907","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":"Q1799093$F2294D6A-9197-416D-AB84-AFA3D0435ACC","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":"1a29424fa1951ae6572baacf320e5367036e5012","datavalue":{"value":{"amount":"+0.8096721172332764","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":"Q1799093$82E54FE2-02FC-4DCD-A0C0-5621E44A6245","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799093"}}}}}