{"entities":{"Q521804":{"pageid":523571,"ns":120,"title":"Item:Q521804","lastrevid":62578302,"modified":"2026-04-11T07:02:23Z","type":"item","id":"Q521804","labels":{"en":{"language":"en","value":"Evaluation of monotone DNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6705188"}},"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":"Q521804$FACCB10A-F6EA-4D97-B9D9-39D3835D55F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9fe58a5936b84a086f2cece644579966279d448","datavalue":{"value":{"text":"Evaluation of monotone DNF formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q521804$5B019583-DBE2-4175-83F9-AC5E69382076","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4090e4ccd79ef1e765afd58b26d57a397e6fb448","datavalue":{"value":"1364.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521804$6C9B24B6-2EE3-49F8-A0D7-EC956B3CDB96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a6c44f115e1f729410b83bf0443cc8a0eb086fa","datavalue":{"value":{"entity-type":"item","numeric-id":521801,"id":"Q521801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$4E95988E-66C6-476C-B98F-DB849BA5443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1094a4d9cd447ca3e59d4f1558fd9d02536babbf","datavalue":{"value":{"entity-type":"item","numeric-id":513284,"id":"Q513284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$48B5457E-4D79-4730-9E4E-0EBC5D8FF666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba3d53a8d2d19af5629cb054215067c000ae8618","datavalue":{"value":{"entity-type":"item","numeric-id":521802,"id":"Q521802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$055F3704-CD4C-4C06-93D7-EBB80C032FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1938c43a86910fbc831ce2293e23282597ed803","datavalue":{"value":{"entity-type":"item","numeric-id":521803,"id":"Q521803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$128D59F4-3D4B-4116-A408-94B3DC428721","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$7F27309D-1FF0-438B-94C0-A34C800F9644","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38dc8e5b9e70c7942e6735512dc1d3dbaf92011b","datavalue":{"value":{"time":"+2017-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q521804$DE31D068-7E08-429B-980C-6DC29EA1EB6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3132a9478959875a2b2de7db5cbf2c0e21239185","datavalue":{"value":"https://arxiv.org/abs/1310.3673","type":"string"},"datatype":"url"},"type":"statement","id":"Q521804$13D46885-6A0B-4E6E-AD1C-F615CC646362","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521804$39AE68E3-9354-4338-8FED-5D796CE9C12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521804$4F3CF550-D874-4F9F-B071-BE36185B7066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521804$E21B3891-EAE5-45FB-AB73-EDBBFD04BB38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd3d265c1ec810960e170b8e7899a0cf3a03ad68","datavalue":{"value":"6705188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521804$73AC550E-0FC7-4EBA-8EAB-DDD83D152866","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa7dfde41aa43eebbef0c4ef1dad05f4dcc34d4","datavalue":{"value":"DNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q521804$B291D0F8-3C8F-4065-AE8A-5D869BB9CA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc985d37d276855e32ca4996c5ab03aa3229a4db","datavalue":{"value":"sequential testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q521804$4E740E19-F004-4DEC-A78F-5D999B4E8BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6175e593b7eeef8a95d514e1dd04813ba4d3620a","datavalue":{"value":"stochastic Boolean function evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q521804$4D07946E-6A58-4045-9CC2-4FB3DE8EBC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4837877785b4675d8ac1c6d4c911bcaf794e13","datavalue":{"value":"approximation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q521804$B8CA0879-8315-40A4-9489-C257078D5778","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":"Q521804$7751359D-D57B-4F33-A784-643910670595","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27467bada9f89b2c57a184c4239ead8873f9fd67","datavalue":{"value":"W2174148654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521804$7D908CFF-FEC8-4395-80C0-46AE5FB324CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"330c5a3600c2ca6f87aacf49b4c7ee7ec19cc856","datavalue":{"value":{"entity-type":"item","numeric-id":1383159,"id":"Q1383159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$524DBDB5-C716-466C-BE93-9734897B63C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5262d366dc4787fc7584daf1cb23334c0d91c777","datavalue":{"value":{"entity-type":"item","numeric-id":5272188,"id":"Q5272188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$0753B721-4408-4D0E-AADA-CD38E6434C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29276047232c9f8254795bd21a0eaae868f50f4b","datavalue":{"value":{"entity-type":"item","numeric-id":696973,"id":"Q696973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$EB3E8566-EED8-4D1C-A868-0821799CFC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a80eed9f379f185c9ca92aab1fa2ad3cc4463c9","datavalue":{"value":{"entity-type":"item","numeric-id":3887227,"id":"Q3887227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$A76C4B37-5FB7-4388-B9E1-3BF87E53A4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce94d4e9cce54ac1f3f6f1a7eb5a9899ac6fd61","datavalue":{"value":{"entity-type":"item","numeric-id":2275907,"id":"Q2275907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$0568CDCC-FA80-49BB-9386-87B572065777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0dea7e41f6b75683da12cc367ffa541a67f7aa7","datavalue":{"value":{"entity-type":"item","numeric-id":5892621,"id":"Q5892621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$F9860971-B8CC-47ED-B8E5-2CB0243C28BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4778fd061b00f921f10fcf472b44473a70e17ef8","datavalue":{"value":{"entity-type":"item","numeric-id":918437,"id":"Q918437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$B0B34B9A-2482-4813-A7AF-F09BA5518155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3beadb4ca05175c61c7dd14e04dd9ca232b287","datavalue":{"value":{"entity-type":"item","numeric-id":2457646,"id":"Q2457646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$4A3D954E-2473-4B3D-AC7C-17F7907D61A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e6ed74ea793314033ab454f73bf48da716f35e","datavalue":{"value":{"entity-type":"item","numeric-id":5384069,"id":"Q5384069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$D78F0948-A032-4E16-8B4B-D2728E7EA10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87faac27c8a301e13d9dc1f37095f0bc22d084c","datavalue":{"value":{"entity-type":"item","numeric-id":4228484,"id":"Q4228484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$BB8DB025-1C54-416A-A791-6C403C07F187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e39a91832ff83c0b35f40a10ff0139a4172a1d","datavalue":{"value":{"entity-type":"item","numeric-id":3112637,"id":"Q3112637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$5BD2D838-3063-49D9-9519-E00066C6867F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ac4418cdddb28b6e8704f0c8cfb524c4915f16","datavalue":{"value":{"entity-type":"item","numeric-id":1606947,"id":"Q1606947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$DCCA56E7-3D6B-4922-B1B1-DF132B92F74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00a9e252dcd967174efec124226bbf4f16c443d8","datavalue":{"value":{"entity-type":"item","numeric-id":3947140,"id":"Q3947140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$12CEB72C-48B1-4DB1-9CC1-ED24D54AA0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcefbda5e216db62c82c383dfaba610c7891f75f","datavalue":{"value":{"entity-type":"item","numeric-id":3581435,"id":"Q3581435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$CD411194-AB9E-4EEB-BCAC-121AE28B3E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7546d40b60414e8c5323bb6391841461955b593","datavalue":{"value":{"entity-type":"item","numeric-id":4372942,"id":"Q4372942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$12277AFD-6B1A-4FE2-82AE-F507874D224A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb187cd10c605ea9065aa86a7797d4be0c0788a3","datavalue":{"value":{"entity-type":"item","numeric-id":4427049,"id":"Q4427049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$4816F4E5-156E-4947-B7AD-59816B4A38D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936f54ddabd3570f7138c8d17125f7c37d5788af","datavalue":{"value":{"entity-type":"item","numeric-id":5316618,"id":"Q5316618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$685C367D-8A78-4759-8FED-50AD006A84C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbb1ef7a2dbd11e6547b2349603b144ccb70628","datavalue":{"value":{"entity-type":"item","numeric-id":408432,"id":"Q408432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$8D0AA292-C969-4AFE-BB80-38BEE96CE369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c70634284a7b4df5d3c9177fef72cb7262cfa4","datavalue":{"value":{"entity-type":"item","numeric-id":1878412,"id":"Q1878412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q521804$CC38A8DD-E5D9-4467-9985-633716ECB7B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e54c1ab761127d894fe085225d7e1732573e528","datavalue":{"value":"10.1007/S00453-015-0092-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q521804$68BB83B6-EFE1-4F2D-899F-0B7058EFB674","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26fe7a6d26d3f484a686fc54978cfcf61ac1fb0d","datavalue":{"value":{"entity-type":"item","numeric-id":5384069,"id":"Q5384069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a0a4503ef345eb5de9df67dbcc59c6158113ca","datavalue":{"value":{"amount":"+0.7853297591209412","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":"Q521804$04652FC0-11D3-476F-AADE-6CE962665E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899b0b83183ccec80de6e0dcc87ace981873346c","datavalue":{"value":{"entity-type":"item","numeric-id":4962618,"id":"Q4962618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9bfbef56b173e2d08ceaec5730753f26727d04","datavalue":{"value":{"amount":"+0.7685850262641907","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":"Q521804$E6D12DD8-D728-4474-ACF1-06B0C44C29E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e77c60364097e9850fcfc8a71677f27183e24c","datavalue":{"value":{"entity-type":"item","numeric-id":5202960,"id":"Q5202960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca12919b638ac1b8085fd9b2b46bcfbad27b1bd","datavalue":{"value":{"amount":"+0.7523928284645081","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":"Q521804$3BB9D1C2-026F-430F-85CB-48F277764117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e856dda511de28181d7b996fe82b89f635b18a8a","datavalue":{"value":{"entity-type":"item","numeric-id":3521917,"id":"Q3521917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923a018e91438a2db429f781350a0eaa7462b70f","datavalue":{"value":{"amount":"+0.7492725849151611","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":"Q521804$7783C93F-3628-4A2B-8A9F-188EA390C29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5283386c35e6e3a16c92e377662b522e07ee102","datavalue":{"value":{"entity-type":"item","numeric-id":1701106,"id":"Q1701106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367608ad92b169304dcec8408bfbb6c5d7fcb1c4","datavalue":{"value":{"amount":"+0.7486196756362915","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":"Q521804$38F6B710-5ED4-4D29-BE2F-07435C11A6BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Evaluation of monotone DNF formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Evaluation_of_monotone_DNF_formulas"}}}}}