{"entities":{"Q6909845":{"pageid":20960959,"ns":120,"title":"Item:Q6909845","lastrevid":84162167,"modified":"2026-05-12T18:44:36Z","type":"item","id":"Q6909845","labels":{"en":{"language":"en","value":"Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8111868"}},"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":"Q6909845$2E5B63A0-38B1-41B5-AE21-A66486939D57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"842a3229fc539bbada8d5e0dde302fb316315911","datavalue":{"value":{"text":"Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909845$9DA9453D-9CC6-416F-8D85-32A700E8B6EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec5f0352f094e709431bdc7d05cf20c0821ec666","datavalue":{"value":"10.1093/LOGCOM/EXAE071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909845$D7203B84-F532-4839-ABBA-1902E42811E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$9CF831E7-6273-4FB9-8D9D-F1F18F1A00CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c6fbc3565d89e5f200f7814af224ae9e0f86bb","datavalue":{"value":{"entity-type":"item","numeric-id":6909844,"id":"Q6909844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$4B2ACEEE-69B9-4440-A553-487C1CC27C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72e69b77b54b2c4c78170e707f79612e9034369","datavalue":{"value":{"entity-type":"item","numeric-id":2180512,"id":"Q2180512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$12883401-0548-4DCD-ADD7-213AFC6F6030","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$994C6166-606E-436A-9B61-8F52D1E197F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909845$3DD3DCFE-4554-4009-B9BD-C399F0AF6445","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909845$6C8D4BC1-6135-4507-8756-A73530C9481B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909845$98FCE662-1DC2-4FCE-AC73-E3BC455B8F72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56d64080fe6297efc8653d0919c96c6107e778b6","datavalue":{"value":"8111868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909845$852C9DA2-5565-491C-AEEE-8F85F1FE0B50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f191ef48132226072d365b6ac9351380826185ad","datavalue":{"value":"intuitionistic sentential logic with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909845$4D68A278-D5E3-4A6B-960A-91EE897A490F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909845$1BFAB141-8F1C-48E2-ADC4-53D613615302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909845$C28D4F8F-C41A-48A7-A95A-4830BD24DAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d7a560420159aa094578481c0ba8a1e012e384c","datavalue":{"value":"Beth models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909845$594DC45A-2D40-4587-B8D4-41EBAF1912AD","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":"Q6909845$46A093C8-E35C-4D36-B371-3B8217A891FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e68de368fb8d286319cbe25289d5f0386dbda2","datavalue":{"value":{"entity-type":"item","numeric-id":2537104,"id":"Q2537104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$E6B90CE0-D70C-49AF-9BAD-B03E47D24D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630f64f96b41890d0243f36f4782f7d4c9de4944","datavalue":{"value":{"entity-type":"item","numeric-id":1653652,"id":"Q1653652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$7CEE815C-EBC8-4F40-AFF9-F3F1DB0CB44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41344387ea29b25783820ebdb28a3918185fd2","datavalue":{"value":{"entity-type":"item","numeric-id":5126198,"id":"Q5126198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$940CA33D-A306-45C9-9620-10376BD644B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d22d7f3c5cd54b1b79662dc5168074595b61ed","datavalue":{"value":{"entity-type":"item","numeric-id":2351153,"id":"Q2351153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$8CB114C9-8415-48A2-84FB-870261B4F2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ab411898e21b7ff1dd2c5306da3bb87a5aa3f33","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$9A65F1D1-B548-4249-B482-258B9B2FB472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c78f8d0750170ee4e57d9b5754a79ef25baf67","datavalue":{"value":{"entity-type":"item","numeric-id":6159928,"id":"Q6159928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$789E20B9-695B-4D6F-AF90-8693C850E1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e328584338e141d5e01fa3734ed8c5a8640eed0","datavalue":{"value":{"entity-type":"item","numeric-id":3647282,"id":"Q3647282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$9BBD527A-0E6C-4378-A156-23245533B9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf11cb9df689061164d8feef1ef1cad1bfc6403","datavalue":{"value":{"entity-type":"item","numeric-id":286706,"id":"Q286706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$09D67DC1-E033-468A-A6FE-2FA68F870FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b3ffb6d9f26e0d1e20dbebaf33b8343aac9a68","datavalue":{"value":{"entity-type":"item","numeric-id":2055842,"id":"Q2055842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$9A578849-4297-48D3-A06A-E563B280773D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907c00c306562c93da39d17dd608787c47e7cf39","datavalue":{"value":{"entity-type":"item","numeric-id":4612426,"id":"Q4612426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$150FB7DC-A3F6-4B4B-90EE-2041FCA17BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a0af6d41c6187bbec9d6b1ba57b927ad71ba15","datavalue":{"value":{"entity-type":"item","numeric-id":3491517,"id":"Q3491517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$52297825-4B12-4FA6-9854-081F496FC276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c0ed8aad586b712cab7c1c683b4fee3fab10f8","datavalue":{"value":{"entity-type":"item","numeric-id":1236430,"id":"Q1236430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$57403684-DE19-490E-B7CA-788C41ECB37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748541fc241d4158ed3d6e70e259512d4e8bf6fd","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$894BB701-6224-4C47-9383-AC3C33ACB6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607a0c758c7f5182c8338488f4a03318f251f04f","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$EEED8805-BB7F-447F-B794-F574FAA53F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a482abfa521287f9cdd1de5d301bba8230a83e6","datavalue":{"value":{"entity-type":"item","numeric-id":4065517,"id":"Q4065517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$3966028E-7506-4144-AA27-F593B53DA811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e185ef24e4a122f78ccc016ecefba609f00ce24","datavalue":{"value":{"entity-type":"item","numeric-id":6659904,"id":"Q6659904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$61B274D3-9E15-40A3-8CF9-9182A340C9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30272c58a0e5dfc68a9e934943bb0f6d044da78c","datavalue":{"value":{"entity-type":"item","numeric-id":1233432,"id":"Q1233432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$D32382F1-1723-4F55-B267-AD5243A04E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0d54b51dc0b584c05a28dd29ddf167ffe5f2fc6","datavalue":{"value":{"entity-type":"item","numeric-id":1072540,"id":"Q1072540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909845$7604EE72-A016-4C11-9FF4-4AF7C80BCA82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-free_labelled_calculi_and_decidability_for_intuitionistic_sentential_logic_with_identity"}}}}}