{"entities":{"Q5136333":{"pageid":7165905,"ns":120,"title":"Item:Q5136333","lastrevid":58455393,"modified":"2026-04-05T07:23:21Z","type":"item","id":"Q5136333","labels":{"en":{"language":"en","value":"On hashing-based approaches to approximate DNF-counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278113"}},"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":"Q5136333$5F62A4B7-D9F2-425F-BD9C-B2D48BFE15CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ea11c75474f9723cfbcdaebb51cc436475d112f","datavalue":{"value":"1491.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136333$836D6B98-EFFC-4CF7-8925-EED7CF859468","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a6ae786fa267642e531285986729301470d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":265700,"id":"Q265700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$F9EA7443-4A1C-4164-8902-8C066139014F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb5d03e7035143192a4be939f3319804381d3bd5","datavalue":{"value":{"entity-type":"item","numeric-id":2009189,"id":"Q2009189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$E8D79025-3EE3-4048-9137-EFFD31348FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$29949242-45A6-4562-8A73-C45FE83ED4AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136333$CEC4FF7C-5D23-4CCB-A8A3-452E88F326A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93619398a4ed08de0ba5e4f942f333eedc1a941e","datavalue":{"value":"https://arxiv.org/abs/1710.05247","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136333$0BB181DF-360B-4B7E-918C-91A8FE324FC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136333$97F1C701-5469-4569-BEBF-6063EE6FA818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136333$6BD614D5-7018-41A0-BD98-3F36FC7FE7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136333$D31609CF-4B7B-4BE0-9A86-A625BE14F0FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75d24590fe6c4651a544c4e32eccace3a426381e","datavalue":{"value":"7278113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136333$8001D9FE-2B0C-43AF-ABF0-DCAC4A099FE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136333$30EC8319-96BC-4EC9-9C20-38477A0DEF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136333$C75D78F5-AC02-40EB-A4CF-4BCC989B2ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54b2541b44abdffa80a55f59d74e8518d14a635","datavalue":{"value":"DNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136333$4428F8B0-9365-499C-9CCF-E75CD6DC1AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9292b57f299e47e18cabbe474c2bcc3f3e3c6eb6","datavalue":{"value":"hash functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136333$F73662E2-6635-4654-938D-39DF60263561","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":"Q5136333$6DD9866E-0FE2-44B5-8265-ECAD73ED881E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68512525bec2098c874a62ef6abcda962f98df69","datavalue":{"value":{"entity-type":"item","numeric-id":4943879,"id":"Q4943879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$EB1DE3D3-C7A3-4690-B068-18627F20F233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a45028d0ae40ce09efb186f2debfaaab20cd0b","datavalue":{"value":{"entity-type":"item","numeric-id":3624106,"id":"Q3624106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$49FC1DAA-D85D-4115-A004-036E3CDAA1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa470c39e483cd778b462724e89f77534417348","datavalue":{"value":{"entity-type":"item","numeric-id":3612459,"id":"Q3612459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$F944AD2D-BAA9-4A83-AEB3-0865CCA11F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8182e67591e77c22d45fc8624221640783962413","datavalue":{"value":{"entity-type":"item","numeric-id":5740444,"id":"Q5740444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$559C94DE-379C-4CD0-A0A6-176210A09483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e356f4cefeec4885e9783fc6beaee96a65f3af","datavalue":{"value":{"entity-type":"item","numeric-id":265701,"id":"Q265701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$BD3D0951-F106-49AE-8835-C9D5F0EB02B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7678cadff422dc18fb5c6f9d2c4055e1ab7c4be8","datavalue":{"value":{"entity-type":"item","numeric-id":1079379,"id":"Q1079379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$83743B5B-E00E-489A-A006-EB48A03D1B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feb08de34ad3aa597fc5008850a73c3a78897ae","datavalue":{"value":{"entity-type":"item","numeric-id":3834934,"id":"Q3834934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$4D5316C3-046E-4D85-8FD9-5FA0EF20C791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55980f69e832281e17dc901971ca7693709ffc53","datavalue":{"value":{"entity-type":"item","numeric-id":4681162,"id":"Q4681162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$EEEC5F42-7BB8-4B4D-B7C5-67F99BC03774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1b9a8c417382b5bc641723141f2dd680324de72","datavalue":{"value":{"entity-type":"item","numeric-id":5715665,"id":"Q5715665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$C195DE39-B831-4150-9BFA-954B45DFD0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aa670414d4f6fec55d4a91be050421f173db46","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$046366AC-69B7-4FCE-A8B5-5AD1518B2B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"411ca33e1de22ca0f7eb29e3005d66c0cee6b906","datavalue":{"value":{"entity-type":"item","numeric-id":4799719,"id":"Q4799719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136333$53ED74C5-1025-4A09-9296-94391E8498EE","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":"Q5136333$ACA78DF5-4372-488A-8D2D-613601151AB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ed42ab9a1c7c43c82235f9cfda444d3b4b71387","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136333$B2ABFC9B-A135-4E5D-88D9-9D992F69643F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e45333c85a6ca74dbe5ecd966ef1cc4ab551f4e7","datavalue":{"value":{"entity-type":"item","numeric-id":2009190,"id":"Q2009190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af93e4f9e5018339943e61e3783ea225a9e400fd","datavalue":{"value":{"amount":"+0.8737781643867493","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":"Q5136333$8DA8D49E-6B9F-4A00-B4CA-EC56D888E64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5199b12ab148bfc2821e03ec87a2fda69fd8ca","datavalue":{"value":{"entity-type":"item","numeric-id":1799093,"id":"Q1799093"},"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":"Q5136333$E92AF9A3-BF62-40C4-87E9-A4BCF9FC5304","rank":"normal"},{"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":"3524b1482576a148cf5841228ed0019338f3b7a9","datavalue":{"value":{"amount":"+0.795527994632721","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":"Q5136333$31224764-95C8-48F1-821C-29ACA170C84B","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":"43c22b6c7a7fea7839fdc83b458e282b31bfb65c","datavalue":{"value":{"amount":"+0.7682377696037292","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":"Q5136333$075E0745-D686-4A46-B014-693DF2C4D898","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":"e20e07e89245eaea6294bae6cf1e46bde147b538","datavalue":{"value":{"amount":"+0.749021053314209","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":"Q5136333$CF697989-D6DC-4F03-84A1-9C3A47B22652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5136333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5136333"}}}}}