{"entities":{"Q4292593":{"pageid":6322194,"ns":120,"title":"Item:Q4292593","lastrevid":46337484,"modified":"2025-12-24T14:35:58Z","type":"item","id":"Q4292593","labels":{"en":{"language":"en","value":"Lower bounds to the size of constant-depth propositional proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 569552"}},"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":"Q4292593$971CF015-0C3A-46FC-80DB-114CD6F57991","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48cf47ed027cfb2f5cfebb3a84cab25273b4bee0","datavalue":{"value":{"text":"Lower bounds to the size of constant-depth propositional proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4292593$A3622C34-9750-4B94-96A3-8B5C25D32758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1e721e6ddf0f7c72e2c95c235d6669df025d9ac","datavalue":{"value":"0798.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292593$1194118C-09E9-4572-90A1-4BEB57715AF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d81163a779e70f498cc596844442751f32cdf88c","datavalue":{"value":"10.2307/2275250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292593$AEA0C378-C789-447B-8517-0B30F90B6B73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292593$35290904-80BE-4398-911D-A8558354475C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292593$3016D783-4332-4577-A54E-B422C3827ACC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5cac1bac625d56172333526e9a905d35cc8227","datavalue":{"value":{"time":"+1994-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4292593$459249A3-4570-4CD4-8795-B970BFF28670","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292593$08DCBAF8-37A9-487E-916D-EA12FBD3D3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292593$9E76F162-3702-458A-9389-35F08C9F6F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292593$F2E503F4-65AC-47F7-B09E-2CE6D38676E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292593$A27A5B20-D3BF-4092-A392-54BDCEB325CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04ae97360c20dfb58fc8ea9f325f4f7b54978322","datavalue":{"value":"569552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292593$D5FF45EB-65BA-4C67-A9CF-A505A6C353CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292593$F60E6001-5ABE-4667-AA9F-2B498EBA3163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292593$F01ADB93-8413-4C04-B81D-2619778A236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8cb70894e2a9655efdcbcc7408847d5fa4f57c","datavalue":{"value":"Frege system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292593$68DD56F8-9FCC-4BB7-A924-F167211EE40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3e03dfcecf2dccd6737045dff4aa301139e0e7","datavalue":{"value":"Gentzen sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292593$75189BCB-64A1-4545-90A4-C4FC89A3E0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292593$057ECC6E-1DC6-4431-BD0A-10F0FDFEBC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4292593$CBE2A04F-72CF-4217-9743-E091AA7482F7","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":"Q4292593$7AEF7B90-4C72-4407-AE5C-78AA5B6D89A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6952769b1b25acc0b6d221efe57920ecfab1996c","datavalue":{"value":"https://doi.org/10.2307/2275250","type":"string"},"datatype":"url"},"type":"statement","id":"Q4292593$A9D1F866-754A-4D2C-A9D4-8B80177D24E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c97405c5a3e87ca8f8c4c68027c74541cf7518e3","datavalue":{"value":"W2114817374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4292593$1A91E397-C4DA-4F29-8F0E-F395E2E4EB91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292593$AA72488B-B294-4DEE-A338-22E3CD743A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5035ead90ebf2e92af4cb88fdfc91c7dfa88c06a","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292593$0E0CAECC-5094-47E3-A209-7751C4202103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292593$96ABB315-E35C-4A4A-9D03-2BEF1A8EDD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292593$C904EBDB-A012-480C-B5FF-346FF17C2CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292593$1486EF20-4102-4BC3-A7E2-E2BE200964FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391494fb166ee662c227e7a07c48725fd20bad41","datavalue":{"value":{"entity-type":"item","numeric-id":2529601,"id":"Q2529601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292593$839FAC6F-6100-43DD-84DB-ADDFD01D6988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4292593$84A3FCEF-801A-4AC7-88A1-FA44DB3037E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0996a9427e2f5b09df32be1f0dd26b96b3c94558","datavalue":{"value":{"entity-type":"item","numeric-id":2566064,"id":"Q2566064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07da034bde8fdd5d89c428b1bb4f83a4ab66be7","datavalue":{"value":{"amount":"+0.85321044921875","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":"Q4292593$A7E1EA5D-F61A-4AF1-837E-1CD8CB48688F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8619ab5791ecf083dffaaaa18e3233c03cbac4","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9f99acc7c2caa267400a9af951dafa0b0d36fa","datavalue":{"value":{"amount":"+0.8323056101799011","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":"Q4292593$7842116F-DE33-4F24-AE6F-F2282F24887D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccd342851f82092c36d356a3c8af859406901c2","datavalue":{"value":{"entity-type":"item","numeric-id":1374208,"id":"Q1374208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb9d5c615cd3ea840a4c3972684e5f69bea310e","datavalue":{"value":{"amount":"+0.8220846056938171","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":"Q4292593$402398C7-9C79-4EA7-861B-C982A763BA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d478ac6a9d318401b706fb64dc7d74fb19248e","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5401481764ca193da4774aab5f85141133dba1","datavalue":{"value":{"amount":"+0.8133703470230103","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":"Q4292593$5E169FAB-2C49-454A-BDBA-847422A87285","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4292593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4292593"}}}}}