{"entities":{"Q1374208":{"pageid":1384948,"ns":120,"title":"Item:Q1374208","lastrevid":67273020,"modified":"2026-04-12T16:31:24Z","type":"item","id":"Q1374208","labels":{"en":{"language":"en","value":"Simplified lower bounds for propositional proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1093118"}},"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":"Q1374208$E0565B44-216E-487C-92BD-35D406691C7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21ecc0dac6c08d368c1ff943e82078d39b2b556e","datavalue":{"value":{"text":"Simplified lower bounds for propositional proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1374208$6F37FEA7-FC4B-4553-9CB2-2C099376F026","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2736031e78dbccf9753d3140d8ad45c37a1af12e","datavalue":{"value":"0882.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374208$5DB86C02-A40F-45F6-AB0A-7C5BB4AEE0AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$2F440DAE-6804-4690-9ECC-C222B78A6FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9c699549fd229197203c6ab27335cf6132da57c","datavalue":{"value":{"entity-type":"item","numeric-id":965499,"id":"Q965499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$0895B4CD-63FE-4F9C-9C55-7EABA840246B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$A125FCFB-30FE-494F-A5E3-C7A220F09D6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a38330dd6064e0c591139b5cb378c59d586475c","datavalue":{"value":{"time":"+1997-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1374208$2C44C436-358F-4DBA-A832-65386A29C8BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374208$9F42A194-20A4-4881-8359-051D669CF1B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d4f9b65205bcbbe0c35a4a376c299ebec32ad0f","datavalue":{"value":"1093118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374208$D8858082-29BD-4C0E-9528-9D7E74C3F890","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374208$34FEBFCD-0890-4E2B-B553-1A2A14EA3C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8b8c856d7c2062b8edf86e7ea4310f5bdb24cf7","datavalue":{"value":"bounded depth propositional proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374208$15414079-E7C1-432A-A460-026940EAA3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374208$7DAB2010-A3D8-45ED-A97B-3F2CF2E6EDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d52f5697eb2fe43fc46e36416961b1cd6ad29a","datavalue":{"value":"switching lemmas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374208$F9756BC2-C044-41CA-93F7-754C2588A036","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":"Q1374208$092C0E8F-6563-4525-BFC2-0696FD7F008A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9418d7703819b55df8b81d6359fd6987734b2bb0","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040046140","type":"string"},"datatype":"url"},"type":"statement","id":"Q1374208$B701BA40-47A0-4965-92F8-AA4020A4176F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bf9744d2919dcd021cf917efcdb841e4e959080","datavalue":{"value":"W2075146634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374208$DB8548EE-4ED2-480C-98CA-4D01F5835E43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"865a580c588e979f3485b9f8d3fefd6f0a924509","datavalue":{"value":{"entity-type":"item","numeric-id":1343166,"id":"Q1343166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$4F770642-9C92-4E8C-88C7-CF44457E3930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$B90C1A45-C6AB-4966-99CC-726F239D366F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d92fa5008a947cf4d000f7551c40cd38c27e82","datavalue":{"value":{"entity-type":"item","numeric-id":4027856,"id":"Q4027856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$1DB90195-B9A2-4FCA-9AA0-E7103DAEE944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$1B7A59EF-6259-4D21-A643-E6356DDD50BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$3F4CFFD6-D8F7-4019-AAC9-E3F24EC8A59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$D60276FC-CCDC-45D8-9E4D-A1D8DE638BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9f0fecc35bde4269719ed65d8692abf049c091","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$7867CA97-5407-441B-8EAF-0F7C6B3DB040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852df03aed0eca0768b9308a9553b27c39fad827","datavalue":{"value":{"entity-type":"item","numeric-id":2711810,"id":"Q2711810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$82FC1E2C-3895-4AB0-ABB6-BE6F79E723E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2caf86375d5742ea2c000a772a856d31236b04b6","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$D5F4DCB7-AECA-40CF-9D83-8C67D772AACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1374208$4F34B54D-9EE0-4B12-9C06-9ECB84D62C82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e04dfdfa641bc9c23225fc41bff21dbcbb06391","datavalue":{"value":"10.1305/NDJFL/1040046140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374208$9B24BDC4-999C-425E-9C23-1FB6906CA5CA","rank":"normal"}],"P1643":[{"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":"1e9fcdb6db3c60f85b0cbba20eb23b8f52bb8ec6","datavalue":{"value":{"amount":"+0.8516635298728943","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":"Q1374208$16A688A0-DC81-4003-859B-D6286F4E7FCB","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":"7c4924b8051684a0c469828e3500b8184b9f2014","datavalue":{"value":{"amount":"+0.8460468649864197","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":"Q1374208$4802D490-E640-4EE5-A4C0-D00ED95C4624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2382b47f48ff15afb5eff6a25963ffd141350628","datavalue":{"value":{"amount":"+0.837805986404419","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":"Q1374208$761AB106-6F1E-461B-8A97-791CFA25C5B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplified lower bounds for propositional proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simplified_lower_bounds_for_propositional_proofs"}}}}}