{"entities":{"Q6541161":{"pageid":14152304,"ns":120,"title":"Item:Q6541161","lastrevid":57344733,"modified":"2026-03-30T14:10:12Z","type":"item","id":"Q6541161","labels":{"en":{"language":"en","value":"Canonicity of proofs in constructive modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850753"}},"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":"Q6541161$C299F912-3D2B-4BF0-8179-868D1F659EE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f760cd1f477fcab21f4828e34f091b8aa788e614","datavalue":{"value":{"text":"Canonicity of proofs in constructive modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541161$07FC33A5-F644-401C-8DA3-4BB2D3CBFD86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad763ee2520630e4faff431267eb373013d669e2","datavalue":{"value":"10.1007/978-3-031-43513-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541161$51C8F8B2-B6F1-4892-A753-2FEDBA228938","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c9aa2ff69ec2d2223381d8fb0695d35b8713b52","datavalue":{"value":{"entity-type":"item","numeric-id":1799108,"id":"Q1799108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$E877E9F6-E6A0-4586-A925-1ADA8EA31FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc5a589494bb179aefb15e4a71945b5b27310786","datavalue":{"value":{"entity-type":"item","numeric-id":2080587,"id":"Q2080587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$B56885D8-B7C9-4CE6-9493-736CCD7ECB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"535ecce6ac386460b8c16a7585b6a4919771dd68","datavalue":{"value":{"entity-type":"item","numeric-id":5028453,"id":"Q5028453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$684E98D7-069F-4593-9377-FA960438A34A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5058b142e80716c010ccd8a59c73f958f0c0be23","datavalue":{"value":{"time":"+2024-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6541161$22B0C3AE-DB84-40D1-99B5-B1CF16DA9D15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541161$7F68587B-7001-4D1E-9164-CD7D19D1B112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"decef0389d645bc6864514bd205c110c997c52a4","datavalue":{"value":"7850753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541161$7E4E5566-E315-4B6E-81D8-9282BEF7588A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c32598835807cd6e68be410be57ffe1ac468b7","datavalue":{"value":"constructive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541161$8A0C8245-F839-49A8-B960-668C6425BE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541161$CA867C74-7A46-4E12-9682-73D759E55995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541161$DB7C7960-F0EA-41A8-880F-3979506E75DC","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":"Q6541161$F830DFF5-2E47-4441-AB35-7BA1FAC3BC52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b927b44af9ef59d1147d2f70b5fea094590b5","datavalue":{"value":{"entity-type":"item","numeric-id":5408457,"id":"Q5408457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$82D0D5E8-3086-4D06-9265-4C97F3DC20BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f541866e8f9c3036c6ca079d9a603273c6f9523","datavalue":{"value":{"entity-type":"item","numeric-id":2331072,"id":"Q2331072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$BBD49B8D-D220-4F38-AF0D-DC91B9DA1024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab3de7933898014c74acb916df4a55b9e1737d3","datavalue":{"value":{"entity-type":"item","numeric-id":2142094,"id":"Q2142094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$E67D54B1-DF60-4442-B9E8-C9D83BD64DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47a41f6316364293c16e71c54d4f6bb91423e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5884933,"id":"Q5884933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$CCF0EF26-A898-4FFB-A4DF-7130D06D6A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$BCE9CF1B-AADA-4325-AB72-E37A6E90D329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$FEE0532B-4676-430C-82BD-35D0D1964ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$99F5DCF8-D539-4025-BCAF-949D4D0C5DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688427db8857ccd2460578f0423fd5c5a570e88d","datavalue":{"value":{"entity-type":"item","numeric-id":5369481,"id":"Q5369481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$FE20F549-B902-4290-9078-3B6AFBE2C1BC","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":"Q6541161$4B22E2FA-43AB-45BF-A139-1A7B884D2C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f361bfc77f34b4d1069fcf2c9336d696522aa","datavalue":{"value":{"entity-type":"item","numeric-id":5079743,"id":"Q5079743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$52075FC0-F53C-4878-AD3D-6813DAD1AF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$B6EB654A-606A-4C88-8FE1-EEA2A0A395E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e08309da05a83f18dd51d23ac1b29390a177f54","datavalue":{"value":{"entity-type":"item","numeric-id":1349901,"id":"Q1349901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$84CD9EF9-BF13-412D-B49B-AF2BD237A53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9f006d727f3acf3298f51fc9745240df942ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4650310,"id":"Q4650310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$AF319BFB-8B4B-40D9-9F55-047929F4AD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$ECA177B6-3E05-4F35-AD00-862631AC27C2","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":"Q6541161$DC2D89CB-580E-469F-BA5E-9AAF41021371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704d232b4924666c6f169f58fcfb8c118dc3bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5793835,"id":"Q5793835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$A04FD38F-82EB-4FD2-9A8D-F984D1508C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$78233FC1-CE00-4B43-835B-E7C6C9575672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf499e29c0e8e2f018546e104c07e47e84ff64d","datavalue":{"value":{"entity-type":"item","numeric-id":5389140,"id":"Q5389140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$FABD7DFB-7D06-4E28-8960-9B401756CCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28cc7d677c1836b2fdeb46b0d31806635665be23","datavalue":{"value":{"entity-type":"item","numeric-id":3608769,"id":"Q3608769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$88DBC255-9C7A-4044-9BE3-21BC9A4799A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b442700e9f1c677d5d95db2d4b0cdb5bc40853f","datavalue":{"value":{"entity-type":"item","numeric-id":2469641,"id":"Q2469641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$397F1529-5DDB-4628-A996-B02A603A2541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$59DB9044-0486-4782-ADF2-07CAAA10AB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$A76C3FEA-415A-461E-B249-FB2114D6972F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f54af227afcdea8836a10655140ef9cb3fa0b80","datavalue":{"value":{"entity-type":"item","numeric-id":3498449,"id":"Q3498449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$119E9F34-E38F-4469-8C21-2F972B5D60AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fa93a3e7b401a38900f6649d170ca22aac025c","datavalue":{"value":{"entity-type":"item","numeric-id":5119390,"id":"Q5119390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$0B1F362E-B1BF-4F02-BE68-57046395E1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca6e35da2579d765c3b1a7323f92c035647e4ce","datavalue":{"value":{"entity-type":"item","numeric-id":3608416,"id":"Q3608416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$63E4CF9B-C15C-46CF-B3CF-056C2E28EE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871bb51c18a91794f1fd8723150f5dad6517cc7c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$ACCD8438-A41C-4B08-9E84-428254A2F9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$7BE1A187-B147-4079-829F-2E15CB782BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$A483D1E8-E861-4D00-99BC-50CC8A480DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5054d046f0b37c81531a02f4ffb429b736f32535","datavalue":{"value":{"entity-type":"item","numeric-id":5039162,"id":"Q5039162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$C930DE70-5E84-4A92-82A5-EF1F661505E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6da9e2156b566dbe810f749f305e5238ecfa5f","datavalue":{"value":{"entity-type":"item","numeric-id":764259,"id":"Q764259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$6C2F07E6-9B86-4286-8D94-366FE12B68C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36cd3c96edc83cffb48e1c632947c715824e63e","datavalue":{"value":{"entity-type":"item","numeric-id":3460060,"id":"Q3460060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$B35794A2-1504-46A9-91BB-A86E77275E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c17fefc3bf7c4e7c64821785423560055c9954","datavalue":{"value":{"entity-type":"item","numeric-id":1147133,"id":"Q1147133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$ED247C38-3877-4BA4-8254-59B4D82FE39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693bf5d49b2dc1c71923779a46d08e2176174e00","datavalue":{"value":{"entity-type":"item","numeric-id":2753690,"id":"Q2753690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$3746E675-5558-44EF-8364-1DDA4DFF0340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$AB57C876-56E7-4B5D-B6A4-CF4207F94036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$CA304F11-F652-4103-96A2-FC9AC6FE2217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$68874FFC-95D7-465D-8E0B-55AD7B7CB857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$4629B2FE-F99A-4921-8877-A923D4AB5A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af91e47191d76d5f281ba7dfdfb14cf60c2e35e3","datavalue":{"value":{"entity-type":"item","numeric-id":1183584,"id":"Q1183584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541161$D138ACFE-BFCE-4342-BCF1-8E1EF7B601A8","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":"Q6541161$EF2E1512-94FE-4F54-A7F0-12C668320AB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541161"}}}}}