{"entities":{"Q1854403":{"pageid":1865145,"ns":120,"title":"Item:Q1854403","lastrevid":69361104,"modified":"2026-04-13T06:29:31Z","type":"item","id":"Q1854403","labels":{"en":{"language":"en","value":"Decidability of linear affine logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853150"}},"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":"Q1854403$47489797-A1C3-40A1-92CC-4FFD0C27D16B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c307fa39ff5c0627031e175fa96b1c95933f6fb3","datavalue":{"value":{"text":"Decidability of linear affine logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854403$298CF050-E7E3-4033-B8FD-83C2EC135079","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1874711b51b462b244d91a0154b8b6fe221b7eb","datavalue":{"value":"1007.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854403$D0DCC41A-36CF-48D1-A9F1-45B0A18A70E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854403$90E29729-7DBB-45D2-86AA-4468E4FEB08B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854403$4F3824B2-EEFA-4D44-B498-0F2A5E04A14B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854403$570FE964-0142-4F4B-80C3-CB270A926A85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854403$801CB0D4-7A1C-49C9-AD6B-8C0E92BB66CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854403$5FE8A460-0EBF-4E94-9723-2AB1515163E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854403$58809BDA-87F6-4CC9-A48C-897EBE39E30B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dc32d1efd9810a51939ab80a2bcb181526e8f79","datavalue":{"value":"1853150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854403$ABA810F0-8AB1-432F-874A-C2D934BAB8F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854403$CA298872-F939-4408-BA28-02AB8F95AB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a63fdcbcb93cc2609c58a4eebfc2941afa3a40bf","datavalue":{"value":"full propositional linear affine logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854403$672C87EB-3FD1-4749-A3A4-0D1C12C63F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854403$744EC160-C529-4C0B-AE27-351769178225","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":"Q1854403$4BE3E911-1352-42EC-ADF4-E809445B8913","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b0bd71e0bc3342627ef772f17ba59004e4abce3","datavalue":{"value":"https://doi.org/10.1006/inco.1999.2834","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854403$9548985D-208F-4B31-9C6E-DD5DCF943310","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abe7ab95b4567c9347f86293facfda276de5da64","datavalue":{"value":"W2111753732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854403$B95CDE9F-C472-4C06-9F28-59D5DD79FDB0","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":"Q1854403$70781FEB-0460-4EC9-B0DD-630FEEEDC89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2264fda53c092d74fe1e286a64c682b1b0f981e9","datavalue":{"value":{"entity-type":"item","numeric-id":4490754,"id":"Q4490754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854403$8962ACEF-1810-4DDB-873A-54907E14719A","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":"Q1854403$86B3E086-777E-40FE-AAF3-6612556A4284","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a0ceb4761730a39badccb030195eb3a5cec9b9c","datavalue":{"value":"10.1006/INCO.1999.2834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854403$1CCFAB4F-E751-4AB1-AB91-66AFDA9FEF05","rank":"normal"}],"P1643":[{"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":"62047327c7b4717cc2406f7f31e7d4705e07950a","datavalue":{"value":{"amount":"+0.8365240097045898","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":"Q1854403$0CCFA57B-B001-4C3D-8036-17500B9D6DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a2bba9cb1c5f07e34ee695748cd5efd172ade2","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62047327c7b4717cc2406f7f31e7d4705e07950a","datavalue":{"value":{"amount":"+0.8365240097045898","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":"Q1854403$3C26FC9B-69DB-4BD3-9083-D4C60ACB08E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8840d4991a1f0c706410015ce9c09ed8bd114846","datavalue":{"value":{"entity-type":"item","numeric-id":596037,"id":"Q596037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64e98a927595b51190084781f685281cf39cb6d","datavalue":{"value":{"amount":"+0.8292731046676636","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":"Q1854403$AFD059E5-7489-4B81-830A-BDA2C045E165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1b83567b9835a7ab62e520ea17df137dadc0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4944927,"id":"Q4944927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266c4fd7115fda17cd61b7625ecd81979b0a111a","datavalue":{"value":{"amount":"+0.8270598649978638","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":"Q1854403$297A6B91-82B0-441D-BE90-DA06ACE4D83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f502c6a6ef566da0ff2f60e40ee683ddb083636","datavalue":{"value":{"entity-type":"item","numeric-id":2517231,"id":"Q2517231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1298dcced26c5818a37338a8b6b89a5089ca2b","datavalue":{"value":{"amount":"+0.8246808052062988","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":"Q1854403$CC742B60-C0B6-40F6-BF59-224FC5C9BF43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of linear affine logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_linear_affine_logic"}}}}}