{"entities":{"Q1318766":{"pageid":1329516,"ns":120,"title":"Item:Q1318766","lastrevid":67162842,"modified":"2026-04-12T15:43:09Z","type":"item","id":"Q1318766","labels":{"en":{"language":"en","value":"Size-depth tradeoffs for Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540905"}},"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":"Q1318766$D569E3AB-7810-4201-948B-06EBA9A530C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12ac74788b51fe375e44075b9a8cf8149a0788ad","datavalue":{"value":{"text":"Size-depth tradeoffs for Boolean formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318766$460832D1-C7E3-4A00-996C-8C4FD7B9F8C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"649fd299f7c66cbb8c1420ac9609dade908392f1","datavalue":{"value":"0802.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318766$651FC456-0C4C-4F20-9B65-0EF9290CE65E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59e29e6ac2ce1371e9b112cb45c90ea69ce3941e","datavalue":{"value":"10.1016/0020-0190(94)90093-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318766$FA52D7F1-D71F-4B42-984D-C1982E78C6BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318766$7E79E4C4-2ED5-4DC3-A95D-565187B41381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318766$5883ED92-3C04-4356-BE07-2232F380FC31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318766$A8010F6D-6CD3-4F42-A678-BFA2E5C0E98E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"054db8f256a961baa5551095cf141804f5047514","datavalue":{"value":{"time":"+1994-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318766$5D8011FC-22A5-4367-8C21-8D0FE517D208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318766$6E8E030F-48B2-4DDA-A978-3DB68C375406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318766$56D01749-7C87-4423-93AF-972F25871611","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96ee324030d9d09ddaf9075a184a481fb8ec8e79","datavalue":{"value":"540905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318766$E7CBEC11-962C-478A-A561-B62C8DEFD904","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdfcdf00c2b018a9c79f427df1b2783729abb256","datavalue":{"value":"formula complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318766$38B18E57-46D4-4F90-AB78-6F5AB6D64848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7565df26a632c303a088e64bcff600bcfa562394","datavalue":{"value":"size-depth tradeoff","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318766$DC94D4C3-604C-4BEF-8FB2-F089C3602D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318766$3808267E-5433-4BEA-B3DB-88625132A455","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dffaabcdbe6a611796a212c3ef57de5cd175a0e1","datavalue":{"value":"Q60512317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318766$7BFAB7FB-D43B-4CF3-AA6F-C52AC8791836","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":"Q1318766$1BBCAE96-0510-4705-B798-6AC2F9AA7E95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f356e91ac4b3659457054ecb5de61b9d7f099461","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)90093-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318766$FDA2C7F8-5657-43A8-BFE4-05AB344CDA7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f205d185804a9c7a00506402b18b14da491b297","datavalue":{"value":"W2069796292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318766$F30267ED-DE03-4A2D-986F-FDFA5AF19190","rank":"normal"}],"P223":[{"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":"Q1318766$70A493E3-609A-4B62-9896-1A437372CEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5bee5357a250d05fef165e66d176475085e3ad","datavalue":{"value":{"entity-type":"item","numeric-id":5180413,"id":"Q5180413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318766$2D0B0503-8D66-4A76-9862-56B6A723AF6E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6134e7581f4883f56ded1fe8a1e745c6fcbc51a5","datavalue":{"value":"journals/ipl/BonetB94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318766$3BE0E4C7-F00A-4A65-BFF5-9B11C1A9ECEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f2299e2ece2bf534a591190d450a5be03e69d2","datavalue":{"value":{"entity-type":"item","numeric-id":4852620,"id":"Q4852620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a5662135236ff2b31d335c1caa9143a9d3640f8","datavalue":{"value":{"amount":"+0.8185837864875793","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":"Q1318766$04A86D5F-02FB-458D-ADFF-681627E61F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1333d02f50ab3d6892069479fac429803760cb","datavalue":{"value":{"entity-type":"item","numeric-id":5956012,"id":"Q5956012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd5b28ed72a270b65705b4c39aec045e9d4c4c1","datavalue":{"value":{"amount":"+0.7803452014923096","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":"Q1318766$71A07EC6-062C-4D78-BC2C-7C28645F84C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c623064b6f21f8a69ac540b37b37c39e26dc076e","datavalue":{"value":{"entity-type":"item","numeric-id":4251042,"id":"Q4251042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd5b28ed72a270b65705b4c39aec045e9d4c4c1","datavalue":{"value":{"amount":"+0.7803452014923096","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":"Q1318766$80DBE669-6153-43C1-ADFF-86101AA79484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f48d606164ce66d4dcea4f83d393786ca6672e9","datavalue":{"value":{"entity-type":"item","numeric-id":3312197,"id":"Q3312197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545d7803b7aa0f048a3a34b4c713302c47a4289b","datavalue":{"value":{"amount":"+0.7673240900039673","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":"Q1318766$001C509D-DB96-4435-93BB-94F93CBE4619","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":"7dd7315749e084e37a8e60b7fb5a3cfc47230b85","datavalue":{"value":{"amount":"+0.7498494386672974","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":"Q1318766$E2D88F96-7FDF-443C-9A21-CBE6C239EBFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Size-depth tradeoffs for Boolean formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Size-depth_tradeoffs_for_Boolean_formulae"}}}}}