{"entities":{"Q4894725":{"pageid":6924304,"ns":120,"title":"Item:Q4894725","lastrevid":46395558,"modified":"2025-12-24T17:04:02Z","type":"item","id":"Q4894725","labels":{"en":{"language":"en","value":"The undecidability of second order linear logic without exponentials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 932350"}},"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":"Q4894725$C83A6C89-4B3A-4F11-9EC7-20CCA66AEB47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e497a8e4b2d85d328186d2b3d8923de72c7a5bc","datavalue":{"value":{"text":"The undecidability of second order linear logic without exponentials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4894725$40CC960C-D76C-45E1-A8C3-5B729EE846DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d776e409cde9eb14ebce39b4f2607821fefb09fb","datavalue":{"value":"0866.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894725$B51C7269-5EA6-447C-ABA5-A9188C249A41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73ad14f413285a50c4724598eb1355a5adcad796","datavalue":{"value":"10.2307/2275674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894725$B287EE56-B9A4-47DE-BB1A-29748CED4F3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651e04b9287b8d0ec0024aa20b22bd0b7aef55b","datavalue":{"value":{"entity-type":"item","numeric-id":973941,"id":"Q973941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894725$B0E3E19C-3087-4B1F-A1E5-196B1FA41A1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894725$2EB5AE26-1A03-44D1-B64D-AB8A9EC322DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea5fab42a47e0498fcbbd07caa78104b7cdcbf02","datavalue":{"value":{"time":"+1996-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4894725$1441897E-3AFE-4250-8573-652A2B159BC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d6c1033cea05c1ad3e2e69e8aabf057ca7ea2c7","datavalue":{"value":"https://semanticscholar.org/paper/e98c5b79de095d339aaab53793a828e2b5313676","type":"string"},"datatype":"url"},"type":"statement","id":"Q4894725$4B356BEB-2F02-48D4-A72D-BF576E557AA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894725$C1480B63-2CB5-428F-B547-88C6180FC4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894725$495234F5-3657-4C05-893A-092201EFDAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894725$F295E1EA-BE99-47C8-B1E8-E1D2E6B4E347","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8704338daad6dcbed1ae798f506584194123110","datavalue":{"value":"932350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894725$FFBD110C-5B3D-4397-B219-853DC715B720","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894725$75C5C83E-1396-4BDD-809D-AF67B0B6ADBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b759adaa2cd5d3397ff3d69641487c3ac0b1afcf","datavalue":{"value":"multiplicative-additive fragment of second order classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894725$C5240111-4366-420D-BEFE-F2FAA527DAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a491683df7211d080a3d0382c5257f16dc4661","datavalue":{"value":"encoding of two-counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894725$4166B47D-8494-4A9C-83BE-7F57B44AF229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4894725$4B7EEE9A-7D01-437E-BAC3-70491AD1C075","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":"Q4894725$00FBEE25-B53F-461E-9630-64CCA3F2F5B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c11341ddb779f95a3e955d05f1c6d3bb465217d","datavalue":{"value":"W2006177255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4894725$8912989B-6937-4FDF-932C-48D8DA9CB752","rank":"normal"}],"P223":[{"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":"Q4894725$ABF42E0B-EF07-45B1-A8D4-D1C2AA917246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1950b2f7ea4f55b053fe30cb31fae70c4ce589d","datavalue":{"value":{"entity-type":"item","numeric-id":3848975,"id":"Q3848975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894725$AAFD23DC-A26A-46BA-80E5-C96B50B71289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7312367626057a1ed18ce459375f7ee2aab280","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894725$C2A6E69E-9A94-4D75-B1C7-EC94A90F7E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894725$D87361CF-835C-48FC-A6A5-CE72472A7800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4894725$519ADF51-1E87-4806-B62B-4B820E3B4105","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d453e167d37e1e20fa09e1290daa189c05b307","datavalue":{"value":{"entity-type":"item","numeric-id":1917079,"id":"Q1917079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb28b35b4504fe4b6df61bc3528e7a2bbc880329","datavalue":{"value":{"amount":"+0.9364980459213256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894725$DAC3FE61-333D-49D3-8810-FE03453162E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59af214b3734d41e08c59726b61b63e3f55a4bb8","datavalue":{"value":{"entity-type":"item","numeric-id":4376056,"id":"Q4376056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"409adb0d284e07881384de5462251acad4872e85","datavalue":{"value":{"amount":"+0.9147462248802184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894725$8DF416E2-6A4C-432A-88F1-69B17FB60473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e6a251ab016feaa4137e4afcbb632f48c6b26a","datavalue":{"value":{"entity-type":"item","numeric-id":4395614,"id":"Q4395614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f99e4e212f9a64cce1664ba3ebf1a28f6dcf0d","datavalue":{"value":{"amount":"+0.8688246607780457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4894725$B23BEED9-1BE1-4C80-B1DF-8BD4834B166D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4894725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4894725"}}}}}