{"entities":{"Q6652040":{"pageid":14263197,"ns":120,"title":"Item:Q6652040","lastrevid":42406624,"modified":"2025-06-15T07:53:55Z","type":"item","id":"Q6652040","labels":{"en":{"language":"en","value":"Universal proof theory: feasible admissibility in intuitionistic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7957192"}},"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":"Q6652040$E4E75D92-5939-44A0-B7AC-649E28718CBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ef50ab1f0b4bbbe43a0f5984b8e042c05aa1a81","datavalue":{"value":{"text":"Universal proof theory: feasible admissibility in intuitionistic modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6652040$805D7761-F5AB-48CE-9447-5BA25A874171","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d4924a230d704708ace0a36ab132af83d4e0a2e","datavalue":{"value":{"entity-type":"item","numeric-id":2148799,"id":"Q2148799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$00091C15-C105-4321-B1ED-862900BADF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c326b18eac0e41e07a51e3b2bf952d1e04d11c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2032996,"id":"Q2032996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$C54D5028-F83C-4AE9-9A9B-2B7376FC8511","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$4312AC4F-DE5A-42DA-BB15-4D78BFE6B715","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ac4c474c44019d2bbbb13c1ab97764cd6367574","datavalue":{"value":{"time":"+2024-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6652040$1FC4CF1D-5E0C-46CF-8AB3-641A8A376F8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652040$6BC95E49-A6DF-43C3-B716-65E6F3F393FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652040$DB3766A3-5168-4385-8E7F-E89341D986B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652040$B9F7EE89-65D4-41C2-8706-849C2DFD4AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652040$CA9485B3-3EF7-45F3-ACDD-A063FA3AB274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b4a7b3b7e1595a65b5de33f0339ea7f6ded0f10","datavalue":{"value":"7957192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652040$D9B6B858-0C0D-427D-B2C5-E203B9C31869","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652040$4A515957-8E6B-4D7A-9848-6F5CAC665740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f81a9087dd5f817e2d97e997271f6b48ec62de","datavalue":{"value":"feasible disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652040$33B58247-FBB6-4422-973A-BA6FAA96268C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4edc44af0afae3eb9ce509009e3d9b8dbab24f4","datavalue":{"value":"intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652040$5C173E17-CA49-412F-B7FC-EA8235F0DF28","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":"Q6652040$4F53C73C-45D4-4043-AFB9-4E2204276567","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"309e0c453351da7732655d82fa157c43504f19fb","datavalue":{"value":{"entity-type":"item","numeric-id":6614044,"id":"Q6614044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$FAD15057-57BD-4838-94DB-0CF223301C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"616c6a5e8df30896f29b57b5d118beac1fb930e1","datavalue":{"value":{"entity-type":"item","numeric-id":1317899,"id":"Q1317899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$E41E43F9-010E-41EC-A831-C9FE1A8706C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$1698C03B-9B16-479D-A484-9A447219720D","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":"Q6652040$CED73E31-3734-4329-9CC2-CEC180AAF17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc582242659cee49d409675b8250ad17fb5d767","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$C0AF01AB-4B63-48A3-A26D-3ABD6B17676D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e123cb5f005ec2c984fe8ce0580a9e75d8976db3","datavalue":{"value":{"entity-type":"item","numeric-id":1181482,"id":"Q1181482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$C2AFF42F-76B5-48FA-A934-54EA3B4BEF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$67224A16-2F7D-43C7-A11E-00CBB3852374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4e3fd59a6604b44a2a540d16688f654797fa5a","datavalue":{"value":{"entity-type":"item","numeric-id":4428299,"id":"Q4428299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$38746A7D-FBDC-4EAF-8263-E56675628905","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":"Q6652040$4AB0A43D-7008-45B3-8913-009DCF7DEE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ffcb59189d45049dbb8b637f649d3013fafd9","datavalue":{"value":{"entity-type":"item","numeric-id":3898472,"id":"Q3898472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$D0CCB086-E5CA-4585-8786-4280D817D15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f26c266337bcf2c390b14823438c16947fe37a","datavalue":{"value":{"entity-type":"item","numeric-id":3720564,"id":"Q3720564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$3D508A64-B881-4E4D-97DA-42EC7CE20564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$407AA87D-EBF6-4061-BCA6-6C3C482F6DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$5A953AD0-C1D6-4A89-BFC1-B7A948AAA635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$1A08DBBF-6C87-4B1D-A480-F6B567AE370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d198f8ba1ab3ebc0715a9ef6d030052f3d1c166e","datavalue":{"value":{"entity-type":"item","numeric-id":2683779,"id":"Q2683779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$34B872A0-7658-447E-AA29-3D7096A9A96E","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":"Q6652040$A327E885-BE3C-41FF-9EED-08F72914C8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f377fc5a4183c923431aca96f59c7e66969f8715","datavalue":{"value":{"entity-type":"item","numeric-id":5957911,"id":"Q5957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$F688D155-8615-4E01-B4DB-5912D98F6F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$FBDFDF6E-156A-4AF4-BEEA-7B163C808969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468a3a1c09b18a83961082ef93dd46e46840fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":558441,"id":"Q558441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$3C2D84F9-9E0B-4C42-A60F-83C51377E15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64e8860a69ed37e50bd2086d4bbcfa819c116e5a","datavalue":{"value":{"entity-type":"item","numeric-id":2501166,"id":"Q2501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$94073A12-DDB9-4CD6-B7B0-8E87C0973F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb93535332a50764f81a3ddaee046dbfde1d1975","datavalue":{"value":{"entity-type":"item","numeric-id":1712936,"id":"Q1712936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$90FDE208-1375-432D-8343-0F8B501BA063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c23f143e374a6b10f9e74124e08c026bf67303","datavalue":{"value":{"entity-type":"item","numeric-id":2326416,"id":"Q2326416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$94ECDBE1-B93C-45E3-8EC4-A1B739B6FAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa13f8d08455deabdb8d53876205365d278e87","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$B9163DC7-9F2C-4340-B2D2-E98B5AFEE37E","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":"Q6652040$7B493718-9AA5-4F8E-9988-AAEB508CB535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f2c7b1ca123ec2d4e3addb0a776271a4803298","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$0BA10CDD-5A6A-46AE-938F-3683DE38706B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f502d4e56a8abb89118bae401233dc90ef92b2","datavalue":{"value":{"entity-type":"item","numeric-id":3553916,"id":"Q3553916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$25AAB027-A583-4D2E-B8FD-846FAD23807E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3eefdf5d4526141e0c3baff9684d3e2730cf62","datavalue":{"value":{"entity-type":"item","numeric-id":5300587,"id":"Q5300587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$C19E3365-A6FC-45A4-89F1-D09E1E812AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be035adff077ea27e9986c4ed93034cde3f0bfe4","datavalue":{"value":{"entity-type":"item","numeric-id":3069724,"id":"Q3069724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$8F1E5868-3D6A-431F-836D-7C28F48C29B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c65ef4069b52a23fe230e08a271e32f56a00a","datavalue":{"value":{"entity-type":"item","numeric-id":1235982,"id":"Q1235982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$1D815FA5-4E51-46A0-AAA6-C3E2F08DA31C","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":"Q6652040$3C28A0E1-3983-47F5-A95F-C824A8F12885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e0c1a4e478a32752a62b530cc2a5255baa77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1244216,"id":"Q1244216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$89F1F6B2-368C-4939-B795-765A5A93F6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$5B97B9D1-8D2C-49FC-948E-3D5CF56848FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62891394bffe584fcdbefd47be2a4496e572fd13","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652040$673CDF63-ED5C-44F7-ACF2-06B7B229D009","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8632e3b3e9866c0a31768d613c4df90e89b973cf","datavalue":{"value":"10.1016/J.APAL.2024.103526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652040$835E6C45-69BD-4FAD-9771-5746123F8299","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6652040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6652040"}}}}}