{"entities":{"Q1675519":{"pageid":1686260,"ns":120,"title":"Item:Q1675519","lastrevid":74082639,"modified":"2026-04-14T18:17:54Z","type":"item","id":"Q1675519","labels":{"en":{"language":"en","value":"Upper bounds for the size and the depth of formulae for MOD-functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6802424"}},"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":"Q1675519$F789426F-8B9C-4B80-8200-F26D55B77E79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73282f8e396ff16a1683320cc6cdf1b3c890a2c2","datavalue":{"value":{"text":"Upper bounds for the size and the depth of formulae for MOD-functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675519$FC25A4BE-6645-4A9D-BE0A-29CF7795FF09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bfb0dbb9c25c45055320d9d4f6e29ea88ca57f9","datavalue":{"value":"1422.94053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675519$A464A6FF-C7CD-4C06-97E1-004D9845D389","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bca759d38ceb2986d169f3b3e0477372a238ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1675518,"id":"Q1675518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$397663EF-BF1C-46D5-B5A8-00B4A9E7DE4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d82c5188b0ddafa3f3991a7a06ab8754aab0c2b","datavalue":{"value":{"entity-type":"item","numeric-id":314121,"id":"Q314121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$E9C37751-1DC5-41D9-9CF0-18A14E6E1FEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f75d14947c40c2ae9660e6730bf79debe54b7cd","datavalue":{"value":{"time":"+2017-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1675519$1E65817C-237E-497E-B8B0-9CB113B7C16D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675519$3879E906-5890-463D-B8B9-09DDD971AD68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eab6bddb6f297a7de8bbaddd0b85ac423748002e","datavalue":{"value":"6802424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675519$15948188-F104-4128-84E9-0FB9AAAC8BA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e42284de7080d0e7cd929ba47f9572e864dbbbeb","datavalue":{"value":"symmetric Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675519$35328DB0-9EB5-4279-A90B-09A776CEA709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a5d0d4cf762e7c7ba742f2943056dfb033b4f","datavalue":{"value":"depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675519$D4BAAFFA-E22E-4915-9473-B9FAA1F18101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf6e47b257014c8d2d90b33c610d51efc201fa59","datavalue":{"value":"formula size","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675519$BFF2CEBE-35D6-4BBC-B66B-4A7DB8A5A213","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":"Q1675519$AA797EAF-55EB-48FA-8811-44F504847E8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edf4039f4551181c9b91962e94ab40a38e977438","datavalue":{"value":"https://doi.org/10.1515/dma-2017-0003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675519$4E6F20DB-B218-4ACE-BBCD-B529B849398C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8478f6cf0e3308e7751cfc94c0e54e7900d97fe","datavalue":{"value":"W2599479773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675519$F5B0F430-560A-4FB0-8C94-0D3C79D27D7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec48c683a20d06f4218ddf913ef4be48d5e6669","datavalue":{"value":{"entity-type":"item","numeric-id":3267769,"id":"Q3267769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$744A6DAF-24AB-4979-8E3A-F1C33D9D835D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$3F846C93-7E7A-4C83-BB08-70F7FE311468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6250f7a4a5ba73fe81ba162d558a50e8db6e05b6","datavalue":{"value":{"entity-type":"item","numeric-id":264012,"id":"Q264012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$58F0EE78-C5BD-4786-926F-4634603AE0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f9e69308e039f2b1c76f2d36f41af987cb3390","datavalue":{"value":{"entity-type":"item","numeric-id":465106,"id":"Q465106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$EE21C61F-EBDD-46D6-ABFC-5BC977F4E6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e573bf38cebc36a5756c681defce4634b0befa","datavalue":{"value":{"entity-type":"item","numeric-id":3950469,"id":"Q3950469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$C300F204-E575-4293-B89B-C70E7EEDB18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fc2c595044ac947023829ab4b0d3b30d66fd03","datavalue":{"value":{"entity-type":"item","numeric-id":2550627,"id":"Q2550627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$7B3408CD-65E1-4274-A241-E63199D10FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56e6a4760318218eaba4375fc50817ed39c3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":1264165,"id":"Q1264165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$B3074AFB-3A67-43FD-92EB-2A622F7632B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111c909335f1abfeac2ca6b1aae88da0db24a158","datavalue":{"value":{"entity-type":"item","numeric-id":912617,"id":"Q912617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$584458A0-B82B-44D1-A52E-41DC1EBABE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a9979f76546468da9e44382c4c413eb1ddf46a","datavalue":{"value":{"entity-type":"item","numeric-id":4196350,"id":"Q4196350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675519$B8F63425-A3F7-4D2F-8BF3-3B8EEACCE1FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6fe5188017e04534d71dce80ba2a8a4991cb16f0","datavalue":{"value":"10.1515/DMA-2017-0003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675519$9323287B-812D-4530-B2CA-A3FC9DF1DD58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f50fb953189b49c8e95907366061aef862629b2","datavalue":{"value":{"entity-type":"item","numeric-id":1264165,"id":"Q1264165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2687ffe4c64aafdf884d9d65e8a8c9c3c255dd2","datavalue":{"value":{"amount":"+0.9211922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675519$01496DD9-F913-47B4-BA29-46D1B0EE5148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9685ceba1943eb9f2a86dd85f2ab7d09a95bf9fb","datavalue":{"value":{"entity-type":"item","numeric-id":1219867,"id":"Q1219867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2845ac3db684d3def827b34cbb589a03c51446a0","datavalue":{"value":{"amount":"+0.8761098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675519$75529720-EAC9-4B4A-993F-7AC01C4D3C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85e36610f123eb275585b22125e437b686505bb4","datavalue":{"value":{"entity-type":"item","numeric-id":3692861,"id":"Q3692861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f500da404aadd84417d53229306e55e1902f7da","datavalue":{"value":{"amount":"+0.8692552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675519$0C2251F3-FC79-405A-8C11-4F9A66767571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c19cec28e7e00180306f342a1b598737b2eb3d95","datavalue":{"value":{"entity-type":"item","numeric-id":3522909,"id":"Q3522909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6002089ef2722684bcca437972b35bd4f4bfdca2","datavalue":{"value":{"amount":"+0.8649037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675519$F86F95FF-707C-439A-A298-04EEED6F42EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b134e9fb33761e59fda4bb643ff0ff9cd93d49fa","datavalue":{"value":{"entity-type":"item","numeric-id":2254228,"id":"Q2254228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec05d0116d0400f130d68ae6302b203e0b8ca2df","datavalue":{"value":{"amount":"+0.86144507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675519$414BF64D-B994-47EE-BE1B-C24CC3ED0939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"717d37c326fa2c8bf2ef91429bcc5c08a95b6d69","datavalue":{"value":{"entity-type":"item","numeric-id":326257,"id":"Q326257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8f838eb143ceff6d9920fd0c3aea3052f1f904","datavalue":{"value":{"amount":"+0.86138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675519$309A3BF9-F70A-437D-A3DA-4518EA750F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372a5aa721e3b46a74badc13dafe454a291d5270","datavalue":{"value":{"entity-type":"item","numeric-id":1044731,"id":"Q1044731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1faf685870066d03e96df8924fb470efc50e3738","datavalue":{"value":{"amount":"+0.85622895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675519$B666BA3D-60CD-43BA-82C9-BE655CF591FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c607a2140b2b1dfa6f74ffbb23fa681785ae619c","datavalue":{"value":{"entity-type":"item","numeric-id":4024693,"id":"Q4024693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34099176ea9181b6051211b23224b18470b3b684","datavalue":{"value":{"amount":"+0.85600317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675519$DF49402F-C63C-4BE8-A471-369D2FCB4EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8596c1ac2d2039a096feb6a504874feb49173fef","datavalue":{"value":{"entity-type":"item","numeric-id":5346327,"id":"Q5346327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a795a500a442fa45a3ba4f8216c475544d862c2","datavalue":{"value":{"amount":"+0.855618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675519$FB96653A-1434-4EB6-B107-EE1AEF075437","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper bounds for the size and the depth of formulae for MOD-functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_bounds_for_the_size_and_the_depth_of_formulae_for_MOD-functions"}}}}}