{"entities":{"Q1253236":{"pageid":1263986,"ns":120,"title":"Item:Q1253236","lastrevid":68295582,"modified":"2026-04-12T22:45:23Z","type":"item","id":"Q1253236","labels":{"en":{"language":"en","value":"Size-depth tradeoff in monotone Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3614673"}},"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":"Q1253236$EEBE28E2-1031-4CBC-90A0-EBCAFB85711B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"943807f7d701d3c2b932728890197c4b529b9abc","datavalue":{"value":{"text":"Size-depth tradeoff in monotone Boolean formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1253236$3DC62FCC-07CD-44BD-8829-A15A5B7FD10A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c788b8e7b4b2ad06b1acf182aac383eaa4813d3e","datavalue":{"value":"0395.94036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253236$98863C05-0953-4C36-893C-45F23FA13EBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d54eb39bd2ff0eb498b363bc189b92368264ef65","datavalue":{"value":"10.1007/BF00264580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253236$424B6BA7-BDC1-4074-AD7E-045DAFA6767E","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":"Q1253236$862C0DAC-D208-4981-BA35-DE2215466618","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":"Q1253236$674B9A5F-C402-4970-ABA6-6CA01C1C4A9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1253236$F61A645D-4457-425E-8500-CC89F9A34646","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253236$9549151F-F43F-45C8-A6BF-776A6F2A977E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253236$0AFD0F02-2767-4D46-91A8-6817549214E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253236$2C0550F1-9E7F-4EBC-94A2-5F6F6BADAEE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fd38a84a518da58c21315845f66e5b6638d6156","datavalue":{"value":"3614673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253236$F170F204-F0E8-42C5-9092-07484A2B3A40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf6e47b257014c8d2d90b33c610d51efc201fa59","datavalue":{"value":"formula size","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253236$38616D1A-0BD7-40D2-A6E8-B0789CD2550C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3126ef0abbc19278c215acd35cb9e2d37a24db9","datavalue":{"value":"formula depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253236$BC782C49-3D32-4B5B-A38E-9840FC1EE4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d4cb9949d1e0e1b52bcd330c1219b250da26ef","datavalue":{"value":"complexity measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253236$AD7575EE-7C11-4045-8465-D6B170116DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253236$C284307E-CB4A-4E49-85ED-D2936B085C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582839a5b7da57539fbed1e83b2d9b88eb304a51","datavalue":{"value":"monotone Boolean formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253236$0056DBF0-DA61-4220-AE87-90FD39DA8743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80edc0a5ea3b5e3d41dcff9779bc0e144fd2f6b9","datavalue":{"value":"switching circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1253236$AAD7C110-27EC-480E-977A-9A5A728F2C2C","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":"Q1253236$9C45C608-2CA9-4CDB-8F20-6304F57C2FA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c0663a3045fcc8b6f98b2366d38d04dd7c6cce1","datavalue":{"value":"https://doi.org/10.1007/bf00264580","type":"string"},"datatype":"url"},"type":"statement","id":"Q1253236$7A4A52CB-E5E8-4CE6-B51E-3848141BB904","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7c596729a0fb8fbddb7fd414353e5fa3c28a270","datavalue":{"value":"W2082395645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1253236$E2D71A33-E3DB-4773-8E82-D75266ACFDA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Size-depth tradeoff in monotone Boolean formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Size-depth_tradeoff_in_monotone_Boolean_formulae"}}}}}