{"entities":{"Q6541162":{"pageid":14152305,"ns":120,"title":"Item:Q6541162","lastrevid":57344742,"modified":"2026-03-30T14:10:15Z","type":"item","id":"Q6541162","labels":{"en":{"language":"en","value":"Proof-theoretic semantics for intuitionistic multiplicative linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7850754"}},"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":"Q6541162$16626F40-3BFF-4648-A952-D6F8E2D9CB19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98889d9a1e50fba0af4d54787d121025c57ba0e2","datavalue":{"value":{"text":"Proof-theoretic semantics for intuitionistic multiplicative linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6541162$FEDAD614-A7DD-41DD-B1A5-BBD97562C57F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"598e7a73388205cd3cc9f572cac6732f11e005dc","datavalue":{"value":"10.1007/978-3-031-43513-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541162$5BDEDB7C-C9C7-4764-81EE-38EBB225975D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf73034ddc405d2340cf47605ed143bce407b8c","datavalue":{"value":{"entity-type":"item","numeric-id":6115848,"id":"Q6115848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$E9122232-FF34-4D0C-A834-9E6AF1B85355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e10053fba83e6c01438d1ab68caf9b6d1859f841","datavalue":{"value":{"entity-type":"item","numeric-id":582134,"id":"Q582134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$5C5B7A87-7DC7-4C45-A6C2-B747F83985E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$D1711FA3-7067-4792-B58E-14EDD7A27DDB","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":"Q6541162$7DB928A8-22E8-45C0-A724-B1E6C0B93828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541162$995158AB-24EC-4950-B176-A106184B5E19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2451a062b787df958afd3685dc427c9c7ae4bda5","datavalue":{"value":"7850754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6541162$B9CE9356-C819-4E02-8F2E-E06D8D3A9CBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541162$F3378EA1-C802-4408-A6D4-A1C03430CE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541162$DC5B8A4F-352B-4590-801C-DC5E93DAAD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541162$AC689FD8-4DFF-4E7F-92BF-17B808D3CCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541162$C22147C5-1ECB-40EA-B057-2E8C9F791B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541162$A13722A7-B7AF-47B4-9448-649034415C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8455f6b14475445dd3c8abdc10ff392d2d4624","datavalue":{"value":"multiplicative connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q6541162$9F293A82-C897-4428-88A9-9E15EAE6D004","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":"Q6541162$FA7D36AC-0A8B-40EC-9728-620489F1738F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"078192816d95203f01e91497dad7cd1890e9f185","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$DD99088A-D0BC-48D4-8636-D60271CC66BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2c8292e83c6a8dd597f45e964fcbaf4ccb4d69","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$B0DD211A-7AF3-4D1B-A845-999094D7E3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73996ac8a80531fc3c2404d5a4796aa4dd28fbc","datavalue":{"value":{"entity-type":"item","numeric-id":280840,"id":"Q280840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$A60B4DB7-6722-421F-ACDC-C1A87E02006A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21758fe08e5e7efdbdc35f1c82f7417f87a2a438","datavalue":{"value":{"entity-type":"item","numeric-id":5891768,"id":"Q5891768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$B665F026-3BCB-492F-98F0-9F2DB68BFAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93798a086a48a67d8ec4370ad11951ead6ba87e","datavalue":{"value":{"entity-type":"item","numeric-id":4940723,"id":"Q4940723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$8FF402A7-1357-4650-8F16-D8FDD39D5BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$9D2D14AE-F9D4-4196-A9CF-7150CC069DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$45EBF373-086B-4FA7-8D69-E8C8DC7B1F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab362d897ef9457511fc472600bb5b07df97ea19","datavalue":{"value":{"entity-type":"item","numeric-id":5864206,"id":"Q5864206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$38CA0EDA-2A23-4F6E-B1E5-C0B4814867C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32bc6a217ec59b7ef117ee3f6ed2e2d3dfecc7e5","datavalue":{"value":{"entity-type":"item","numeric-id":1177153,"id":"Q1177153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$DDBA49CB-8C32-4A92-B36D-CD9A90399F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b75e8e5f3287653865c7d35fcd79b5d604b8531","datavalue":{"value":{"entity-type":"item","numeric-id":2500816,"id":"Q2500816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$846D80A6-7E9C-4668-8F16-1D5318BFDA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$CB45766E-3AC0-4FA0-911B-15968C0371E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990d866d8f3a33db0f897f8205d5a0bf2dbf2379","datavalue":{"value":{"entity-type":"item","numeric-id":5172129,"id":"Q5172129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$1AA48927-F20A-469A-8B3D-191B9D113EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$441A9024-AED2-4862-9A40-B374AC29F5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422b23e37d5b01b7246de2b30ee7616c2451b331","datavalue":{"value":{"entity-type":"item","numeric-id":5864208,"id":"Q5864208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$FBCA061F-5ACF-4EAC-8C72-757DD3E2642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b7b74c4c3a97d27a6a25a7f9662f779b8b7fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2516584,"id":"Q2516584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$60512AB9-B6A5-4F83-83C6-56342756180F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f4af3cbe2b187fb3793274479c7d9fc1caabe7","datavalue":{"value":{"entity-type":"item","numeric-id":5224891,"id":"Q5224891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$2F826713-7684-4078-ADE9-517F2796E2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4e36cdfcffb6756443d0154b39ea19a9439be7","datavalue":{"value":{"entity-type":"item","numeric-id":2631650,"id":"Q2631650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$68B41FD5-1FAD-4985-ACC7-8E95621BA952","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":"Q6541162$552406E1-9C58-4247-B722-D45E512B115B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$650EE74D-CDEC-403C-935F-6A33BB313093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"719d8326283b4d2b8b03782fd1f321d045f4802f","datavalue":{"value":{"entity-type":"item","numeric-id":4648470,"id":"Q4648470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$3B67E4A0-DA22-4272-A9CA-C991F83C7A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5782a4dad3a4c5379b29251e4868675364c15da","datavalue":{"value":{"entity-type":"item","numeric-id":4644597,"id":"Q4644597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$67331B3C-584B-482C-BF0E-3C3883D91122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f553ecfa4745f29612d2221285cf2f46fd5dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5213617,"id":"Q5213617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$B97DA350-F1CF-4D93-863E-32A383D6DB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$9C710D99-001E-436A-86A5-54519F27CDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db59e48401dbf7fc2b64dfe33d27f0070e481103","datavalue":{"value":{"entity-type":"item","numeric-id":287582,"id":"Q287582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$B732ECFA-0494-45DC-85D3-5A5451C69609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$18D0732C-D1FC-4BBD-A3C0-0BD99ABAE1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f127b3855970e580849c7206b234093a5d1387","datavalue":{"value":{"entity-type":"item","numeric-id":2240552,"id":"Q2240552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$BBE2B934-F49D-4518-A431-18E8F15B78CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$47C9BC4B-A0AF-47AA-A1F5-0D286D9723C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f0e56b1173179ed7388cef6afa43c5d164eb8e","datavalue":{"value":{"entity-type":"item","numeric-id":4706125,"id":"Q4706125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$0EBA7492-A917-482F-ACA3-129F58FA865F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6541162$AEFBDACD-EF7B-4C60-B6E3-BD33B4C1FA5D","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":"Q6541162$35FCA648-C17F-4726-8B53-9C962BE0ABEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6541162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6541162"}}}}}