{"entities":{"Q1891252":{"pageid":1901994,"ns":120,"title":"Item:Q1891252","lastrevid":73935003,"modified":"2026-04-14T17:47:06Z","type":"item","id":"Q1891252","labels":{"en":{"language":"en","value":"Natural deduction for intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 759341"}},"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":"Q1891252$95F1722F-6CE4-4B4F-A97B-3CABE34EAF1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0eb38ae1a2aba5d2c78c66c85282f299728cc6a","datavalue":{"value":{"text":"Natural deduction for intuitionistic linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891252$3C44C5EA-5855-4A1E-AAE4-A1C1EFB553D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c342a4bdb2511212a67db5fbb7277e6d44fe0b5","datavalue":{"value":"0817.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891252$2EE6757C-1127-41A3-BB52-CB9BBAC2D491","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14d28550c2a518cbc1fae621756474cb202e0d4b","datavalue":{"value":"10.1016/0168-0072(93)E0078-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891252$E9EDB096-9253-4962-B399-66466ADC2CE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd7bcd31c089eea43fd8677a5426b0c7b8e7e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":792318,"id":"Q792318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891252$55E11482-D32D-4F1E-A66F-931331322D1A","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":"Q1891252$FE2CF9DA-BD68-423A-83DF-7C2F83CEAE97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b99a96e44ac25cec2bad39b6415c82143facdae","datavalue":{"value":{"time":"+1995-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891252$2A56911E-CE92-4855-B594-4EC69336A1D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891252$818E2B5C-1E4C-41D5-9DED-EA8299A2BA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891252$CE0B255F-1FB5-4B32-8004-663BFA4BF90C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"621b241d9b8ebaaa9fe26e788237ebb5075f4d0b","datavalue":{"value":"759341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891252$74A65F4A-FCDB-4CC1-8738-204334BAB440","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c086c399a69aaa1cc93221592f19846d5c22769","datavalue":{"value":"storage operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891252$E1A52F37-78CE-4522-8615-630AAF6CF5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891252$CE7B910D-0E29-4C7C-8571-DCD54B8EE986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891252$28254A41-D61A-4943-88B5-0B47274EB5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a7a3cfe51cdc6dbe5cc01f4a0ace40c1581081","datavalue":{"value":"strong validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891252$5607269A-3807-4191-80E9-E6AC25A22D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891252$DD6540F8-28A6-4C3F-AD8F-A63566572351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891252$617A3C1B-E423-47E2-9EC7-E9A48A153360","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":"Q1891252$B958E934-B7DE-4B12-B7D8-F887767E6B37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891252$160171CA-25C8-407A-83E2-7F042F782F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b25a6a6e2a1e41d574e7ab34240406a7e5ac38","datavalue":{"value":{"entity-type":"item","numeric-id":4836022,"id":"Q4836022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891252$E32ED682-2285-4156-A780-70824924C9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3021d90eca077841517bd64fc171b2a128b003a","datavalue":{"value":{"entity-type":"item","numeric-id":4283230,"id":"Q4283230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891252$0A235D14-F17A-4BE0-9C17-609CDB37F02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ee2346093aa1748d645f10f79a7894ea38667b","datavalue":{"value":{"entity-type":"item","numeric-id":1309674,"id":"Q1309674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891252$437B7953-46C2-4445-93A9-2611E52BC22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9083ed2a5a4100a6263c5105b0b970e65426d846","datavalue":{"value":{"entity-type":"item","numeric-id":1198828,"id":"Q1198828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891252$38EBABC4-D03B-4D8E-A7D4-9227380AF77B","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":"Q1891252$F9FD9998-25C5-4CAA-BB4A-A8D708548EE4","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":"Q1891252$8ADEC44E-0CA4-4987-B85C-89821508E79B","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":"Q1891252$9F0C76C3-A0D4-47EB-8835-56D14164FA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891252$45F2A5A4-6735-491D-BADA-4281E2DD7E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891252$09D134EA-C1DA-4D77-9E15-6A5DB8854736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891252$DEDA9951-4C50-4390-B100-0F2AB1BCFD2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b71e8c85e7bebb75b31d05fb83bb2cfb4577d","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b34c63636bb81e8be1ce8335d29670bfaa62b43","datavalue":{"value":{"amount":"+0.9750838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891252$4330B11C-F832-4AF9-B31C-204469FE54B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf32f564211007b2ba802683df729403e562819","datavalue":{"value":{"amount":"+0.9606794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891252$05868A43-1C8D-45B9-85D8-F6F6E1AFBC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c1bb59fd9363bdacd386fc7141e51a81d0525","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84460f54b4542048e59ba670c86df3447195c445","datavalue":{"value":{"amount":"+0.9549079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891252$935F520D-1EA1-420F-9019-1602BB3D74C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b7084586a15badab865dd87f3641b037cad475","datavalue":{"value":{"amount":"+0.9543699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891252$6F4E0A99-062C-4301-A683-2FBB2AD410E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e978bb9f5abdbe98aa13af5dde6b9088161a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1693596,"id":"Q1693596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0f5803efbaaf49745853580f8e816ebf2e64bb","datavalue":{"value":{"amount":"+0.94638413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891252$5E66AA73-D131-4076-B705-E179082EFAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa1009ce93a2784ce6a9644d44a57fd852fa559","datavalue":{"value":{"entity-type":"item","numeric-id":4656555,"id":"Q4656555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d835a1843784bc524426baeb0b973b6101381ca4","datavalue":{"value":{"amount":"+0.94567883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891252$521C5E40-726C-4292-BB66-E08BB519702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6448074e4b3dbbcc45d55632bdaa4bfcd3ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":4261096,"id":"Q4261096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dcd5a2c39a07ffb778b810b655bca39c1f06e25","datavalue":{"value":{"amount":"+0.94455755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891252$5CD3E737-6B70-4764-990A-70BD481E4073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66be0a20bd4fe1ebb650bbe19cd107b4ea8639b6","datavalue":{"value":{"amount":"+0.9431838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891252$F1A7D3F9-0E68-4442-ACFA-6DFFFFA9DC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8ffa48864de910a83e37b6f5412753521ef7f8","datavalue":{"value":{"entity-type":"item","numeric-id":2106875,"id":"Q2106875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8734adddec82da45280ec8d1f732501dc0be490e","datavalue":{"value":{"amount":"+0.93820524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891252$9DE5EA35-6DD6-46F1-8464-5C10112E93A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d89d797e6acdf1b100ffcdd4b592ea7b13eb8ea","datavalue":{"value":{"amount":"+0.9381922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891252$0923141F-32F0-4754-934A-A2BC95F8F3A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction for intuitionistic linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_deduction_for_intuitionistic_linear_logic"}}}}}