{"entities":{"Q354649":{"pageid":356416,"ns":120,"title":"Item:Q354649","lastrevid":61343541,"modified":"2026-04-10T22:45:00Z","type":"item","id":"Q354649","labels":{"en":{"language":"en","value":"DNF sparsification and a faster deterministic counting algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6189565"}},"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":"Q354649$55AE8CFC-D2B1-4FEA-B54C-9DB620CFCE91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d779cdd29449b6e806eab8d7377d7e3452b79d8e","datavalue":{"value":{"text":"DNF sparsification and a faster deterministic counting algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q354649$C167F165-6CD7-40EB-880C-CB1F504BA722","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"171ba2158017e84a105b802961a27abee60ee1ee","datavalue":{"value":"1286.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354649$1EC74C6D-1A4D-49F5-8DD1-A23C25E9FD5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62d7602d297dba1e0e9c3c6ec0267078f276fd9e","datavalue":{"value":{"entity-type":"item","numeric-id":354646,"id":"Q354646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$9A30EAA0-07CA-424D-BFA9-AC26B01E56AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b995923257852405258fd9fe72cb5465920a8c05","datavalue":{"value":{"entity-type":"item","numeric-id":354647,"id":"Q354647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$A3D0C87F-2EE6-4D6C-932A-4CD50F63B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2708382a5aebd4796453c44f04c8d3cff90134d7","datavalue":{"value":{"entity-type":"item","numeric-id":354648,"id":"Q354648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$265F8814-4002-47C1-98D7-613F04EDFCCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$8672C64D-D009-4619-AAC2-F5E13D9A9A74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"088890f9b4ff718d86d26dd0e453fa439be94488","datavalue":{"value":{"time":"+2013-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q354649$E6FE4681-E303-4D78-9939-DEFC8757B322","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"267a1dbcf4ee3deb43c5d53d27cd841ad5e9bdc0","datavalue":{"value":"https://arxiv.org/abs/1205.3534","type":"string"},"datatype":"url"},"type":"statement","id":"Q354649$6C8BC6E6-7602-4BD7-A27E-87A65BC4B85A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354649$C6EAE589-A3A8-4C4F-98E6-8EAB67F6CC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354649$0ECDDC63-B71C-4808-86EE-6D01152A06D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"610519c2f35643ee048a0ee45c0eecf39e5e4a6b","datavalue":{"value":"6189565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354649$0C748756-DF27-4ABC-8AE5-8985E7B35BDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q354649$20BFF837-E5E8-42B4-AE5E-CE5DD10E5935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0539db072e4ee5849e5383c82c9881917950f74e","datavalue":{"value":"pseudorandomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q354649$9960755C-82C0-45B9-BD4B-78A4B041980D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b780876d6cd571fe1e41341c135a10b0acf751","datavalue":{"value":"derandomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q354649$7B6E1CBF-F9E6-49CF-A7B8-37700957C236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c84e443b508be0e0fa68aaae877a79b740e3fc","datavalue":{"value":"\\textsc{DNF} formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q354649$B64B88FD-97AB-4C42-A7F3-AE84FCD829E6","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":"Q354649$D19288F3-98A4-45B7-8C1C-E95BCF1078BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4cf29a191a86c1347e27e6f10d479c0189ac807","datavalue":{"value":"W2153408986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354649$05C99855-E167-49A7-8F25-AD0B64BA450E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"201b483419d48c5270a3b2863ec2d0b5ec517a16","datavalue":{"value":{"entity-type":"item","numeric-id":5957724,"id":"Q5957724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$28D917B0-E692-4162-BF97-21287BC1C57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"957892286a77298fd7faca30f1f60dbb53f94696","datavalue":{"value":{"entity-type":"item","numeric-id":1054720,"id":"Q1054720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$69B8D1B5-8DE8-4D5E-A735-FDBB00E4410C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ec48aa46f7435be04f327f06754adbb2fb4ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3002829,"id":"Q3002829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$496E2FD0-0F23-43FA-8178-C4C9167A121A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcaf40421e67c7641ec8bb2f68d80afa858cfac","datavalue":{"value":{"entity-type":"item","numeric-id":3654376,"id":"Q3654376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$5E9B9E58-61C3-403F-B7CB-F8A1054F7F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80f354b54f554d250604eab5d2a5e1e5b8a6705","datavalue":{"value":{"entity-type":"item","numeric-id":3579633,"id":"Q3579633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$F64B5B7F-E3A1-401E-906A-7BA5E1F69573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d44d594158b46d7626257750a29857255d94a89","datavalue":{"value":{"entity-type":"item","numeric-id":3588430,"id":"Q3588430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$1C47FA58-8FAC-4131-BE24-20EF22DEAF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc98b33e9a835a50512897138e07b56bd6f6bef","datavalue":{"value":{"entity-type":"item","numeric-id":3287337,"id":"Q3287337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$B18A94A5-6719-44BD-BE3A-F5FD9DDEC73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28da4ab3ef0330f2d27f75b51be7a849803967f3","datavalue":{"value":{"entity-type":"item","numeric-id":1280280,"id":"Q1280280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$D9DA297D-391A-4E72-838A-ED0B8ACF204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$94B25179-6E96-4380-A985-6A5C77E37654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e00e53fcc3c4ec4f6d17e53c6e23fdccf765805","datavalue":{"value":{"entity-type":"item","numeric-id":5419095,"id":"Q5419095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$5F47C98B-16F4-4B6C-A6BA-3BCD9D6D171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac7f1baaa55096d83c73bf345e8308c96e8d9b7","datavalue":{"value":{"entity-type":"item","numeric-id":4255576,"id":"Q4255576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$4ABB2494-8F31-4478-B641-31FC5C9FB3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45558739a1380325e41235ea81c2d7698843ce9b","datavalue":{"value":{"entity-type":"item","numeric-id":1079111,"id":"Q1079111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$38306CC4-87A7-47E2-995D-E5882FAF9FBD","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":"Q354649$9338EEBB-AEBD-48AA-BB50-552C7CA3F26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daae0bb83cad646c82bd4e30eaf4258cdff2c05","datavalue":{"value":{"entity-type":"item","numeric-id":3140018,"id":"Q3140018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$2E43302E-FB7E-493F-906B-1370C5C07CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb508d29d736eb2a84de8acffa5964c396269901","datavalue":{"value":{"entity-type":"item","numeric-id":1174115,"id":"Q1174115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$468990FD-AFC3-4566-BB1E-CEAE624BCBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37ce03d3ab10fac4e0979589d913eb426baed3d","datavalue":{"value":{"entity-type":"item","numeric-id":1923857,"id":"Q1923857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$8A070586-00C3-4367-BA3F-A58B7B52AF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93102dc9c5454b4e87e550298f9d68a170764862","datavalue":{"value":{"entity-type":"item","numeric-id":4839061,"id":"Q4839061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$7B5497F7-8BE6-456D-BFC2-EF71AB0E08E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d16a44ac107b17d2b35c28372001a41485036d","datavalue":{"value":{"entity-type":"item","numeric-id":1894459,"id":"Q1894459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$EFFFDC0A-AD92-4AFA-8DA4-232D34D977C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101d2a208d3cae6ba488f21ad6bdc10331e25940","datavalue":{"value":{"entity-type":"item","numeric-id":3137711,"id":"Q3137711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$0BD34C39-D0BB-472C-8C6F-484BE7C4A6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d4923d3312b075b7c1a0186cd30d7b82a3aa70","datavalue":{"value":{"entity-type":"item","numeric-id":808707,"id":"Q808707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$ADA96E10-2DFD-41BE-B528-AC01DE3AB4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409306bdf364930adcbf624496cede43048b2af","datavalue":{"value":{"entity-type":"item","numeric-id":1337458,"id":"Q1337458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$ACA03A73-96B3-4C4A-ABFC-AB2746A0B12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118570697953b1b334926bcb50f9d1763a09efd0","datavalue":{"value":{"entity-type":"item","numeric-id":2947540,"id":"Q2947540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$C52B0925-E937-4ECA-9C0C-34B33FAF89A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62efad9a25ffc5f0c9b9289515aeda1a27b4f77a","datavalue":{"value":{"entity-type":"item","numeric-id":5313044,"id":"Q5313044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q354649$2CDE8C2E-7117-422A-A376-5926C3A32373","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":"Q354649$513D81BD-8E7A-4A80-BFE9-AC15DBC8F784","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f49a69f0cf4ea5cf1be1af2add3d2870a1cf770c","datavalue":{"value":"10.1007/S00037-013-0068-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q354649$EC6D3556-8B74-48F3-A251-4B3FDB6B1881","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf640427fcc7ba5fd3785dce25eaa4cb961ed9c7","datavalue":{"value":{"entity-type":"item","numeric-id":1923857,"id":"Q1923857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da9b83fcebed911d758b35473a2bf91b90d7912","datavalue":{"value":{"amount":"+0.8292286992073059","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":"Q354649$2DFA31F6-3EFE-47D5-8A97-5CE647EF8202","rank":"normal"},{"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":"d288bf15b8b759988db67501c56f11cb87faf17e","datavalue":{"value":{"amount":"+0.8291483521461487","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":"Q354649$A623F0D5-A4B8-40CE-8B22-35C329282742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d3be370382883b6ade6797d37ce14809997cd5","datavalue":{"value":{"entity-type":"item","numeric-id":5313044,"id":"Q5313044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7ebbf6012a80c05c1c3da9c0290cfc002e2702","datavalue":{"value":{"amount":"+0.8236362338066101","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":"Q354649$90148F28-BF48-4E7A-ABF1-D165BD109EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c33ba133530d4ec0712a7e9696bf01ad2eeb34","datavalue":{"value":{"entity-type":"item","numeric-id":5212786,"id":"Q5212786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33efaca7802c6c2a281feb74ce3f6e628c9f3461","datavalue":{"value":{"amount":"+0.8211269378662109","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":"Q354649$11494E34-357A-4C9B-AE22-E062268290F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e781a618404575c1e79b6c71294bcb9b1053cdad","datavalue":{"value":{"entity-type":"item","numeric-id":334923,"id":"Q334923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084a93bb7a2b10cb1bc9e1bfbf1f539b0dc7ef45","datavalue":{"value":{"amount":"+0.7552754878997803","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":"Q354649$AB27BCC7-A56B-49CF-B76D-ACED740DCEE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DNF sparsification and a faster deterministic counting algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DNF_sparsification_and_a_faster_deterministic_counting_algorithm"}}}}}