{"entities":{"Q1764155":{"pageid":1774897,"ns":120,"title":"Item:Q1764155","lastrevid":73857180,"modified":"2026-04-14T17:31:01Z","type":"item","id":"Q1764155","labels":{"en":{"language":"en","value":"Non-automatizability of bounded-depth Frege proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2138076"}},"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":"Q1764155$8D9623DE-9A6B-4BD9-8425-F7A360EFD453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba02e4d48521e2685f03e540329564ed1327b4ad","datavalue":{"value":{"text":"Non-automatizability of bounded-depth Frege proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1764155$0AE8EE07-DDDF-4E5D-BDA5-4DC195AE4145","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df2bf136dafd853f5d8e865720ae0b302c565fc4","datavalue":{"value":"1058.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764155$A252B0BD-3128-426B-B0A2-36FA825402B3","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":"Q1764155$73948346-48B5-4F3A-B8C4-75C92D2DB998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b2833b2835b0482ea270e22e120a9fe6fd5264e","datavalue":{"value":{"entity-type":"item","numeric-id":1127392,"id":"Q1127392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764155$09DC2007-FA96-4EEE-A04F-B1CB3463D70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"571859cb8670c4008117d3f5904f654c99cfaef3","datavalue":{"value":{"entity-type":"item","numeric-id":479462,"id":"Q479462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764155$76F02E8E-1E1E-4654-9BA7-2E2AED525806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7458267cc15a417eccd24eb44de7acc2ea5a8723","datavalue":{"value":{"entity-type":"item","numeric-id":696976,"id":"Q696976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764155$C7ABDA1C-25B5-4106-A10A-D1911B80CA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764155$14A1DA04-0F99-44C6-8F23-6ACEE51E71D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1764155$BDEC0272-5A3D-4458-B154-5106911C82B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f8b72aeee9429c75f6d2c214b1fe1fedeb47fc2","datavalue":{"value":{"time":"+2005-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1764155$5B28470A-4837-4F12-ADB5-EAEE657707EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764155$5F7FEE23-BAA6-48AE-84A9-E03EAE2D7267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764155$9F0D19A6-CDEF-4F37-81D8-ACA4F326055B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764155$F644B1B5-A629-4038-AFD8-7F05FAE52889","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b5cafaad91b56a85801b7a58e1b669819ad1715","datavalue":{"value":"2138076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764155$E41A9568-4341-4AFC-8BB8-0450621F013E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb321a02c60c4d2c913297e35bebc8a047192d2","datavalue":{"value":"Proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764155$64F2B738-6D38-4E76-93F8-3DAFFE1D8742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b55eb8ddc3c2b5e75b527ef0e3f5c5ea2cd5c1d","datavalue":{"value":"Frege proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764155$43601D7A-6ACD-4078-8343-E533CD4A62A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764155$B9F1F8BE-850B-4CB0-B581-7B6053A0FD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4b009df4339ac42a762ef6fe7f7d739ac137da","datavalue":{"value":"automatizability of proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1764155$B20213A3-0541-4A06-A461-F3B34F94A639","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":"Q1764155$F1BDA856-F83C-42B3-BB3E-A680320A7695","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f794750be1716e21930c66efaf16d9664e40a56","datavalue":{"value":"https://doi.org/10.1007/s00037-004-0183-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1764155$99262342-7F62-4092-B6C2-352E17F105C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"966519429a82e63e3097c75ccf8f8058449a2eb2","datavalue":{"value":"W3014805183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764155$B23BD0C0-3F4B-4593-8BDB-7DAAB2888980","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bcb64155b72ca5ec0c5a6d15ffbd0614670a55ae","datavalue":{"value":"Q60512205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764155$6F26192E-6754-4569-B82C-CBF2958AEFE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67bcbb5ee2d9cac594a74e59d556557b323e6fd7","datavalue":{"value":"10.1007/S00037-004-0183-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1764155$1052DB2F-65C0-45CA-B102-3D01BF3EAC35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b36f4f048ba74d5c86c997359e7b201233c52a","datavalue":{"value":{"entity-type":"item","numeric-id":4651534,"id":"Q4651534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5747a3f793469aa2bd768f8686c67e0142ad30","datavalue":{"value":{"amount":"+0.8488190770149231","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":"Q1764155$A31739A1-8F40-4D6B-94AD-C6F1F3A00A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1798aca0212d677bb5f9e64d9eea2506cadb7d73","datavalue":{"value":{"entity-type":"item","numeric-id":2828228,"id":"Q2828228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7ddd3903c41843762e8a1e82b5fc75db7ab0a1","datavalue":{"value":{"amount":"+0.807196319103241","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":"Q1764155$BF47B7B1-A6BF-49D2-B729-6163E391A9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42196a7a4704b718e645b196ea29cc49b1ba0c16","datavalue":{"value":{"entity-type":"item","numeric-id":3012837,"id":"Q3012837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb9e188c7e262ba585aa3930bfc898b48da49de","datavalue":{"value":{"amount":"+0.7965643405914307","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":"Q1764155$903595DC-4AFD-40DA-A71B-E88A8F9EBB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d05f9b3a21b08f7902cbeb2c0ee0a3673f6b8ed","datavalue":{"value":{"entity-type":"item","numeric-id":1430570,"id":"Q1430570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c969ba8e6e0939820ee49107b958f567009307","datavalue":{"value":{"amount":"+0.7888155579566956","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":"Q1764155$784417CB-3BFE-4506-AFE3-BC87D596C3AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-automatizability of bounded-depth Frege proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-automatizability_of_bounded-depth_Frege_proofs"}}}}}