{"entities":{"Q5267432":{"pageid":7297008,"ns":120,"title":"Item:Q5267432","lastrevid":52826960,"modified":"2026-01-23T14:25:37Z","type":"item","id":"Q5267432","labels":{"en":{"language":"en","value":"An \\(n!\\) lower bound on formula size"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729809"}},"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":"Q5267432$3A9FF31C-558F-49B2-A403-5638C2D490C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07ad73a3975bb3639c4e1ed3f157d216654ac017","datavalue":{"value":{"text":"An             <i>n</i>             ! lower bound on formula size","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5267432$11F1ADCD-43D6-4775-ABC8-763338951C7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7557c3899e340fcddc8d56a1a236b772bdaa497c","datavalue":{"value":"1365.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267432$9B8298EF-AA1B-40BD-BBF4-807C0DD99AF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"429d6a7554f3067e1d2b9328591d4820734e9434","datavalue":{"value":"10.1145/772062.772064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267432$42E9D7D0-48D2-4A27-83BE-AE61BA205A8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f60c8642264d290aebd04b8c686200d89e77f689","datavalue":{"value":{"entity-type":"item","numeric-id":222796,"id":"Q222796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267432$80AB345B-E75C-4F70-9250-BAD51E41BE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267432$0AC0D05D-D7E7-4585-A636-625927785DD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267432$10641A6A-D934-4B80-8438-1FC8A0F69461","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5267432$1A00036F-324D-4981-957D-76D4A7F84E5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267432$16AF30C1-289F-4222-8D7F-F6DC5B7A2A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267432$6436507D-8F3C-4585-91F7-F3ABD44370B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29d0b9bf245e9ec1bfb77cfe3dcfaab5c90faba9","datavalue":{"value":"6729809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267432$513D484B-C6AF-4FE9-8852-5BE59C69284B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267432$ED872DAC-F280-4124-B9D4-CE7837057BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267432$E61EBFF4-E578-4B00-8BFC-0C640831C59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267432$3BF23FCE-F9F0-4A10-BBF8-9AEB6C966A4F","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":"Q5267432$4AFB0655-2723-4E4E-A1E0-9D1852499D24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93e48dba7ac60f5705c291fdb561b66e8d432915","datavalue":{"value":"https://doi.org/10.1145/772062.772064","type":"string"},"datatype":"url"},"type":"statement","id":"Q5267432$8503B8AB-6D51-4189-915E-DD85C54F7E99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b8f05f0045fc2571011f91872adbac50e1fbba3","datavalue":{"value":"W2175748456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267432$4FD79473-1364-412D-AFDB-0E358FB7158E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615451251a0c5b6d8ed2012007ab890eee6d6902","datavalue":{"value":{"entity-type":"item","numeric-id":5216339,"id":"Q5216339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c11e2a8590c0dfcaa84e10f52f3e660cd78085","datavalue":{"value":{"amount":"+0.7733640670776367","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":"Q5267432$04FE53A7-0A3D-46A0-87A5-9ED64FACB80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd64ad8194f7197fe6dc1e06b86a30b6e323741","datavalue":{"value":{"entity-type":"item","numeric-id":4501666,"id":"Q4501666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c7fae4576eff7f511e98063db9dd37474d1517","datavalue":{"value":{"amount":"+0.7697291970252991","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":"Q5267432$7C1178EC-83C6-427D-83E4-0A15F1BD64D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa83bbe0239d0521389f5c9e06a07985d4b39e4","datavalue":{"value":{"entity-type":"item","numeric-id":4381395,"id":"Q4381395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c7fae4576eff7f511e98063db9dd37474d1517","datavalue":{"value":{"amount":"+0.7697291970252991","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":"Q5267432$C6B8AFF4-479E-45CB-802A-35DCD661289C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdf7e07185eee9a08a6f2a52eb3fc52d82a5c34","datavalue":{"value":{"entity-type":"item","numeric-id":4636046,"id":"Q4636046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b079e2972665695f800ebdb78a6d67e173ea8a","datavalue":{"value":{"amount":"+0.7610495090484619","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":"Q5267432$D1D18410-751E-48C0-ADDD-67E42F594BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063470da879cd356ac1d191604fcda747cc3e800","datavalue":{"value":{"entity-type":"item","numeric-id":5436997,"id":"Q5436997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37de10b1595e4b1ba97dc41a836378b9487c576","datavalue":{"value":{"amount":"+0.7590572237968445","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":"Q5267432$6DF4B963-1F31-45D3-BFEB-4A49589C02C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5267432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5267432"}}}}}