{"entities":{"Q5140843":{"pageid":7170414,"ns":120,"title":"Item:Q5140843","lastrevid":100333163,"modified":"2026-06-05T21:52:53Z","type":"item","id":"Q5140843","labels":{"en":{"language":"en","value":"On the complexity of computing a random Boolean function over the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7286919"}},"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":"Q5140843$612C73CA-59F9-4A0A-9774-26661ABD763D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f5283848e450c5a826937598b304ea832de84b5","datavalue":{"value":"1462.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140843$4C56D5C6-4BBF-4E87-A20B-143537F0C3C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"11632bef515b8b0af0e8d65098d262d28b5f8c42","datavalue":{"value":{"entity-type":"item","numeric-id":2816408,"id":"Q2816408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$00A01D3F-9E5B-4B4A-A15D-79165E62FAD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18e6ec83af5e33cc2c606812b07c45206b57922b","datavalue":{"value":{"time":"+2020-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5140843$B632D739-91ED-4BB6-91A1-154B2ABBC29D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140843$34298BB5-5282-49CE-9881-9E217A1D3561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140843$1E83E2F3-AEFF-4730-8F28-ACB6B0D1AC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140843$0B99C07C-760F-423E-B55C-F0C2E558A6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140843$62851383-F906-4528-9F59-2AA9ABD83A70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7c0f4deb8a7b8f595f3c694c372014070b7c8ad","datavalue":{"value":"7286919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140843$504D2185-459D-4BC4-AE02-09EE6EE1DBAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140843$0E159620-4B48-4460-9DC9-248B1E25BDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140843$D23DCB4B-F4E0-42D0-B4A4-8FB822D7510F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fab88ab30f0266d538d7bcb987e364488802561","datavalue":{"value":"average case","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140843$F6D94327-752B-4191-B0BA-F6AEEC5E34E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdfcdf00c2b018a9c79f427df1b2783729abb256","datavalue":{"value":"formula complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140843$ED78C65C-6A1C-4AA1-9E3C-023B39785F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d5bdb91ff2d9f461eed3becd47807e6259a9b1f","datavalue":{"value":"random Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140843$98FC7191-9A5B-442A-99EF-D798E04C5370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140843$224509E3-BEB6-4562-BA8E-E65BEE8694BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7ea3ca54733938686f141270931e22fee1769f","datavalue":{"value":{"entity-type":"item","numeric-id":436565,"id":"Q436565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$66402CD1-B9AB-4948-85E5-0F2918CC9788","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":"Q5140843$90A5064F-3C07-4384-89C5-336BC55D9BA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6df84931d46084882e1321c2f01d40d4516d8ad0","datavalue":{"value":"https://doi.org/10.4086/toc.2020.v016a009","type":"string"},"datatype":"url"},"type":"statement","id":"Q5140843$28C2B211-72D2-4B27-8D0C-6BF15C90E7FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8617939a3ccb9a2b3df968148d39eb6c0f6e00ba","datavalue":{"value":"W3112656254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140843$41F3A614-5954-43DC-AA9B-409E56359FC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e130c72e96bf6a6421f91022aadf22a9675cc8b2","datavalue":{"value":{"entity-type":"item","numeric-id":1977413,"id":"Q1977413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$C256BCC4-5279-4F4C-95D4-E87CF7B9EB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$CEFD64F8-428D-428A-B355-DD2F68C41C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b8759b8b588af61ba77331945229ba244e132c","datavalue":{"value":{"entity-type":"item","numeric-id":745683,"id":"Q745683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$36066C84-8DEF-431D-9DB3-B5BADAF1C3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$AD6F24E9-C28D-477B-A17C-FC2112709745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ab1b9e3e864f7e21639c713ef301d8c967d09","datavalue":{"value":{"entity-type":"item","numeric-id":2796404,"id":"Q2796404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$1CB8916E-B9EB-46A5-A6A7-0BDE7B8B401F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a0e856b37ab641259d132d542c40481e9faf36","datavalue":{"value":{"entity-type":"item","numeric-id":1264143,"id":"Q1264143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$18129656-736D-445F-ABA3-F22657A2CEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5406ea7669ed616e0ac659900417e7fcb90273","datavalue":{"value":{"entity-type":"item","numeric-id":798314,"id":"Q798314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$1ED60F45-BADE-456A-B71E-EC61B0946371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9baf8d8bfb2bdb8dd15ab2e808614d8d171cd218","datavalue":{"value":{"entity-type":"item","numeric-id":3002833,"id":"Q3002833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$E4EE17A4-76B7-4799-BBF9-8DE7B64C59E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e4c31f3a302ccbb11b9403c8a22b34f6788bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5205818,"id":"Q5205818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$5BCB4306-DC0F-4B8D-8B74-DC942F02C127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$ACF7F34F-3201-4F53-89D0-F082AC1D2121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693cb280abdc33316064e252c8d1b00dbac9a856","datavalue":{"value":{"entity-type":"item","numeric-id":2719034,"id":"Q2719034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$4E51CC80-DFC8-4D9D-825E-F48C9A8CA778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4211a2fb256efab75e1b8f203cc1e2c6b518a386","datavalue":{"value":{"entity-type":"item","numeric-id":2434987,"id":"Q2434987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$5D5CC0A7-4D9A-4AB1-9267-13F4F2C986FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4eafb5507ae3ce239e1f0b331756589939f0cac","datavalue":{"value":{"entity-type":"item","numeric-id":3069052,"id":"Q3069052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$3900E00B-C5D6-4F0E-9F8F-6710CE81FC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5dbca3bca818ebbb87eec6505d6d3a400d5ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3929052,"id":"Q3929052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$37AB4F45-BD66-42EB-B96F-B3F826995E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd412bcfdfc40b3432c1aad481107d905db51ac","datavalue":{"value":{"entity-type":"item","numeric-id":5562739,"id":"Q5562739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$585D43A1-D730-4221-8380-5EC430EBE570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c1f607610f03c3a8eea425b05e4e8f743f94a3","datavalue":{"value":{"entity-type":"item","numeric-id":1186549,"id":"Q1186549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$FD997877-6378-43EF-9085-3D692E365BBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54452cfa7f39c93375e2a9d59f25807f699fa734","datavalue":{"value":"10.4086/TOC.2020.V016A009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140843$1B2009A5-49F3-403A-8BEC-E0D15B7B12DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf914e48f2c06adbcc23529cca086b7158d97d2b","datavalue":{"value":{"entity-type":"item","numeric-id":4238174,"id":"Q4238174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd5baeb72547b6b72b32ef2e381c34f7662efc4","datavalue":{"value":{"amount":"+0.7872243523597717","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":"Q5140843$E6B7AE2C-B906-4FEC-8707-A20B4AFEBE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c18d879be5af48aeb8c3ce0e0abfa6e2f31032a","datavalue":{"value":{"entity-type":"item","numeric-id":3577253,"id":"Q3577253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2d27003924a842221d48d262b66e2f2e40ea16","datavalue":{"value":{"amount":"+0.7852399349212646","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":"Q5140843$86217DCE-ABB1-4F70-A0FF-9CF744E523FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c2374536506f2ff7ba2cf41e125144dcbf38b2","datavalue":{"value":{"entity-type":"item","numeric-id":4696224,"id":"Q4696224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887900586b938eee8708b9aebe4223705abc50d1","datavalue":{"value":{"amount":"+0.7779147028923035","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":"Q5140843$10759745-F2A3-4422-982D-BEC624C28E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03fcbbccec1114dc48e9a5fd0a2ea21d1445b3f8","datavalue":{"value":{"entity-type":"item","numeric-id":4325332,"id":"Q4325332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d60290fb45d1213ca10e7d7db7ed02660160a57","datavalue":{"value":{"amount":"+0.7749760150909424","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":"Q5140843$6DDBF5DE-B11C-4B91-9F64-DB92B87E2938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d8b339cf411a51324c0b575834387498321bcf","datavalue":{"value":{"entity-type":"item","numeric-id":891988,"id":"Q891988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bccc67b2e2037bdf2557443ba1a03063f93b0f4","datavalue":{"value":{"amount":"+0.7738566398620605","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":"Q5140843$99D4DCC3-AD08-4464-A560-EDAFB5AE6542","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140843$671559EA-4E64-4612-BED5-9FA7C04F5499","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of computing a random Boolean function over the reals","badges":[]}}}}}