{"entities":{"Q1132635":{"pageid":1143384,"ns":120,"title":"Item:Q1132635","lastrevid":66198744,"modified":"2026-04-12T08:12:49Z","type":"item","id":"Q1132635","labels":{"en":{"language":"en","value":"Size-depth tradeoff in non-monotone Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3653572"}},"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":"Q1132635$E358ECC5-9000-4C30-8A7C-28011C76E830","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f669e57d2dca5d3f7e1b58293e05239fbcc746bc","datavalue":{"value":{"text":"Size-depth tradeoff in non-monotone Boolean formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1132635$B479DD7E-6693-4112-928C-A07C3DE8005B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4294a9e95311ccb269537684ed246a6379970583","datavalue":{"value":"0419.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132635$21D2A435-EB1C-4355-9BD6-89BE7C493854","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45e4329b6d0be08cc8d4274bb4140bd3c7f8f481","datavalue":{"value":"10.1007/BF00264256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132635$DF9447A1-631B-4D73-8CA8-F61B46986D50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e30c9d2c72cc7307ad13478f46a8d3aaae91077d","datavalue":{"value":{"entity-type":"item","numeric-id":1132633,"id":"Q1132633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$44E96E82-9F4F-4EEA-8D08-A9E7AAB8290D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"640913ca304aa5042378a5ed54fc607cbafd6bd2","datavalue":{"value":{"entity-type":"item","numeric-id":1132634,"id":"Q1132634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$39266CDF-060F-4264-A2C3-DD4D88063EC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$97C893E1-0E92-462C-833E-A7C3F95D387C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1132635$0B35508C-3833-40F3-B5E1-CBF5019AB95A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132635$659F0382-74F4-448B-8B04-0246C8CFA793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132635$22A66984-B1E9-46D1-9D43-48CD61048F08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"365fbcecfafb2a1c16960b2567c1a86a2fab1395","datavalue":{"value":"3653572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1132635$4053F781-C99A-403B-A5BF-793624E52605","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddefa2707e8bd5803c34b02de05f6190dad66378","datavalue":{"value":"formula size and depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132635$1E99397F-DA9D-4DDE-82CF-30626A016A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fba5162786179b4972715b5247ee56d4a6d57f6","datavalue":{"value":"complexity measures of Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132635$1928931C-1D83-40DB-8960-694390DBA1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9691ed5f550b8f5d2dc3b25366035849e85a7d6","datavalue":{"value":"logarithmic lower bound on circuit depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1132635$A0D71F34-50EC-4F89-ABAF-47F4E0481EF2","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":"Q1132635$0F8BFBED-C76C-40EE-A3E2-C0F344CD57E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b687389392c3c46c787b88133af21d18744004","datavalue":{"value":{"entity-type":"item","numeric-id":4190138,"id":"Q4190138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$B766C0E0-F560-42FE-9E91-AAC9E81AA89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4077de5ad21c6b78a25ec43c56119974484a370","datavalue":{"value":{"entity-type":"item","numeric-id":4401551,"id":"Q4401551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$EFE9D552-049C-447E-9E77-4C3FDECD4191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d35f4e645c54090cd949a3d456186d71a59189","datavalue":{"value":{"entity-type":"item","numeric-id":5666165,"id":"Q5666165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$154207D2-AA05-48A4-A20F-6A22ACB0CE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470f36627f2c68ac24cba1279663eed0f270b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":1253236,"id":"Q1253236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$2D8005FE-D4FB-4A49-B0E7-BAB108A98EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb73f98826b7a466d2ab60b16ec0466f1aead8a","datavalue":{"value":{"entity-type":"item","numeric-id":5585368,"id":"Q5585368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$7E5DD680-686F-40B3-A0BD-9D4B0D298830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$54DE7EF7-9341-4BBF-AFD5-FC38540A4F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5445b8cbea1ef042605ed6b0a1df7dc9b91cc672","datavalue":{"value":{"entity-type":"item","numeric-id":5684584,"id":"Q5684584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$45842210-EC31-4E34-99FD-6ED385FCF127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eca87e4d50d31dd7d847ef4f72a6f1a51eb465d","datavalue":{"value":{"entity-type":"item","numeric-id":4102726,"id":"Q4102726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$8C45D8AC-828F-4D21-87BF-B051BB079C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94f2e5f199a864648f3a1e075ac00969934b2237","datavalue":{"value":{"entity-type":"item","numeric-id":4093348,"id":"Q4093348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$90F41886-AC52-4AB6-9FC0-5F2944D18FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514b291bcc18717499c847de12de372fe9e5cca0","datavalue":{"value":{"entity-type":"item","numeric-id":5545524,"id":"Q5545524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$28D0F844-C63C-47C5-BFEC-7896593CBA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ab13142076117cc14856c9cfe9c081eaaa2f9d","datavalue":{"value":{"entity-type":"item","numeric-id":4172915,"id":"Q4172915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$9AACB10E-2977-4D60-8533-7DAE9EF9EDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da358b9262495cd1cc8d4b86656efe69ff77480","datavalue":{"value":{"entity-type":"item","numeric-id":1226083,"id":"Q1226083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1132635$CC57DB9C-3EBA-49E0-B377-DF7BC1C77F1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Size-depth tradeoff in non-monotone Boolean formulae","badges":[]}}}}}