{"entities":{"Q6993433":{"pageid":21463590,"ns":120,"title":"Item:Q6993433","lastrevid":83965934,"modified":"2026-05-07T15:15:54Z","type":"item","id":"Q6993433","labels":{"en":{"language":"en","value":"A simplified lower bound for implicational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8030895"}},"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":"Q6993433$E7A54277-D893-4C3A-A63B-F93605435EAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1740d8627da035f87337a4cc8fa6f0e7e8f76c42","datavalue":{"value":{"text":"A simplified lower bound for implicational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6993433$ADA7933F-4755-4917-8FF7-DC6692931D71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94a315ac1160c14d10d8a63dcdf7765ea92c3478","datavalue":{"value":"10.1017/BSL.2025.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993433$306CAE2E-2A7F-4AC4-AB69-38F922791012","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$AAE1E091-15ED-4FD5-8BFE-DEB101107D0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$F31D828E-4141-4FC6-9DCC-15A67B5662A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36d5abadbf07d23923c3e363e6676c69e633cc71","datavalue":{"value":{"time":"+2025-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6993433$D56872A4-B8DA-4241-9831-06955F8A89B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993433$E17A5C08-C848-4ECC-B2F0-6F9DC0C135A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993433$A322026A-6AE2-4B44-9C71-C54D84DB411D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a4ad0d8b1ba8fd4c6f2611a8046c488dd98f5a9","datavalue":{"value":"8030895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993433$D15502A3-4C65-4EAE-A1AD-CA46BD41B5D3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$C4EDF185-37C6-4E9F-B79E-2478EBF26A36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993433$E24672AB-2237-4F8B-AC8A-101269117F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993433$C79FB325-B8F4-4A02-BC42-A577D594991E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993433$34634616-2802-4B9B-9EA1-DFC4CC5A1EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e62186768915d5051bb82c777597284d5989cae","datavalue":{"value":"Kleene slash","type":"string"},"datatype":"string"},"type":"statement","id":"Q6993433$6020C371-2983-464E-9E3F-59B789D13AF2","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":"Q6993433$0270B2D9-A703-4F3F-9D79-CDF81E2F878E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$10772985-DFAB-49F1-AD5F-2FD3A90A3961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f4844883d38ba5b8da2bd118d050bc2a66329c","datavalue":{"value":{"entity-type":"item","numeric-id":1908815,"id":"Q1908815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$3B15A037-2819-43F7-8AD2-8081171A9E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cfc6d1ca649e77a169b6cd08a9283c8c165615","datavalue":{"value":{"entity-type":"item","numeric-id":1304542,"id":"Q1304542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$F38D0B45-FB37-44B6-ADED-E6994FF4BE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$416AC346-B8CE-4C7A-B557-94B8BFC8705F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$1E68C0FF-DA45-4818-8952-52C505F0B945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$31B83F24-C143-41A6-9426-0AD58B3BBF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac45ad0e557b1b65daa9ad0ae84ca22e9b11568","datavalue":{"value":{"entity-type":"item","numeric-id":5277730,"id":"Q5277730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$58021B23-ABD8-46A6-A1BE-AADA9538188F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7dda44e27bb2c891d88b8d2999f936e236177b4","datavalue":{"value":{"entity-type":"item","numeric-id":2631644,"id":"Q2631644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$277E5E49-A2E6-48E6-A6F9-B3357D3405BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9653d202c80940c5838c903e698932af86bb7d00","datavalue":{"value":{"entity-type":"item","numeric-id":5147748,"id":"Q5147748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$DFCEC27B-4422-444D-A69F-ECF87837AD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50636d7ed58bfc6fd11ca35c53023370487ba5d9","datavalue":{"value":{"entity-type":"item","numeric-id":6119340,"id":"Q6119340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$500CE6D1-31F7-4384-87AB-A1BD4E384CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aadb89586b12baabd090fee59e578386a236b4eb","datavalue":{"value":{"entity-type":"item","numeric-id":5422311,"id":"Q5422311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$6DBB9652-FEAD-4E8C-B8A6-8C91969A27DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff4ee6a73fbacbcf6d7da620a82d0b3fbe596a6","datavalue":{"value":{"entity-type":"item","numeric-id":876385,"id":"Q876385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$059697AA-C229-406F-B0B7-BE15F2489E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af1b7852a24d15cb98fd91aac427024f3784b9","datavalue":{"value":{"entity-type":"item","numeric-id":1006613,"id":"Q1006613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$AB83DAC0-F264-4459-B29D-95A98C55F8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cdc6514492ddc6ea3d7408ad918246dd3bfac4","datavalue":{"value":{"entity-type":"item","numeric-id":6946368,"id":"Q6946368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$EFE02CD5-B690-4DF3-8B1E-B9CBCE6F5297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539348ae75aa83890ec9345544bb499299f069e8","datavalue":{"value":{"entity-type":"item","numeric-id":2032997,"id":"Q2032997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$E7AFB630-867E-42B3-9809-87120D68F317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea72334575ec9f68c192adc857ab078ff1e97f3","datavalue":{"value":{"entity-type":"item","numeric-id":2503409,"id":"Q2503409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$120C7296-6243-41A6-AD6F-5E0B30E42F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9d8bfe8f81eec003462d830bf21e3091d48818","datavalue":{"value":{"entity-type":"item","numeric-id":1023047,"id":"Q1023047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$BD2CAF5D-E088-46D4-A3E6-B8E5461A55D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc62a7d0c8e9762ad2050016eed3f052ed0ba7e1","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$EC304F37-E5C0-492F-BAD8-5F37B97DDA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$FE80F4C6-5733-4B57-A724-EC411540D5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bf03b14ee12a3cdbc67fa7b1fe5ffcff272071","datavalue":{"value":{"entity-type":"item","numeric-id":3851084,"id":"Q3851084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$29A3CD20-62B4-4BCB-8A4D-55A204C8A174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$41AFCE59-8351-44AA-A069-8E5234BEC88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$BA6B2E3D-EA94-4DE8-984A-C030CB39D75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$A8C946E3-98AA-4473-8526-0F6C8C1AE978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6700608ed8e559fac8d9f93f118b25da3ceb0fb4","datavalue":{"value":{"entity-type":"item","numeric-id":5010232,"id":"Q5010232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$899664BE-5C46-4E2B-ABFE-C254B1FAEFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9864cd692e177ef3a771b6df84de7a4d93d51b","datavalue":{"value":{"entity-type":"item","numeric-id":5460922,"id":"Q5460922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$F3FCC43C-1B25-46D5-B4F4-5B9164E2E07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f45d398cee7029b6c4eb7c6c0e2a1a407fff02c","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$B631E447-D45E-4836-8A4A-6D2353500604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942c3ffeac8339c20eccc6667aba9b8af08cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3758729,"id":"Q3758729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$43EFC9C9-BD1D-43B1-9C2E-49CE99B517A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2e8fdbd72d4413672bdc0a2c0dcc9057a5f41e","datavalue":{"value":{"entity-type":"item","numeric-id":1813126,"id":"Q1813126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$F6C008A8-8F89-4333-B212-84D72C822775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993433$86EDDA49-E8EC-4994-A30F-650F74426A23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simplified lower bound for implicational logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simplified_lower_bound_for_implicational_logic"}}}}}