{"entities":{"Q1580654":{"pageid":1591394,"ns":120,"title":"Item:Q1580654","lastrevid":72243825,"modified":"2026-04-14T03:35:50Z","type":"item","id":"Q1580654","labels":{"en":{"language":"en","value":"Curry-Howard terms for linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512005"}},"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":"Q1580654$5F9DF620-74EA-4CB6-8683-29ED2905AEA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fd4ae6dd0133b9bb9fafc3f249c01d59b25146a","datavalue":{"value":{"text":"Curry-Howard terms for linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580654$F205F631-AF5D-4B1B-AA67-C9FBB19BD95E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00f09c92f4d576370c09dff91ea188a949ada669","datavalue":{"value":"0962.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580654$BFCFB796-5092-4A9B-8003-CD5BFEB97D68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7602a21cf8af7d78e8870e5d3a95d7937029e977","datavalue":{"value":"10.1023/A:1005025414656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580654$E425654F-646C-45ED-8F18-08AA834AE828","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d9b7e8c6eadacc63b43e49ed5acfaeeba5f8b9d","datavalue":{"value":{"entity-type":"item","numeric-id":393586,"id":"Q393586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580654$DDD4848F-C348-4256-80B4-59B141742BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63e052a6573ea6addba9912ebb130c1735028047","datavalue":{"value":{"entity-type":"item","numeric-id":1326775,"id":"Q1326775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580654$3AF5A44D-7366-4352-AF49-184E3115BCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33423fd214e41478017ece7904a590cfc211acb0","datavalue":{"value":{"entity-type":"item","numeric-id":752666,"id":"Q752666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580654$A6BB454C-39A0-42E2-8842-4A657B86F180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"110880ff26eef9f5e1af58cc71c5a50e7726cf6c","datavalue":{"value":{"entity-type":"item","numeric-id":1390951,"id":"Q1390951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580654$E36E5F36-8E74-49C7-A419-9E1916874A33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580654$1D345F8A-22CA-4274-A4DB-B1D72CA9553B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24a558bf24d5f00d94b5bae7f77cc1862c3e2d13","datavalue":{"value":{"time":"+2001-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580654$DC3C62C1-FFD3-4157-A793-15D110DDDE3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580654$1D1F50E2-892B-4CB7-8FF9-4028C5C6A546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34119b78cf6fee1853f4e6396519b2bd4632f36b","datavalue":{"value":"1512005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580654$08BD8477-DB4D-48C2-BCFA-8FE9833A8A34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b802f723bd73ab4d510def2d12e652b25d084373","datavalue":{"value":"natural deduction system for full first-order linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580654$33B6E31F-FF35-4E66-B752-2A6F9AD3AE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feac4878036376652fb2850261e6224d2a3b5ec1","datavalue":{"value":"Curry-Howard terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580654$9139F820-0EDB-4E49-A681-DCD3A8A46A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580654$947A46F3-34B8-4980-91DE-49CF389B3383","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":"Q1580654$F35ADED5-C3FC-4097-B81F-07542823522D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95365cdfe2a86d467abada755ca1f29195aa0b88","datavalue":{"value":"https://doi.org/10.1023/a:1005025414656","type":"string"},"datatype":"url"},"type":"statement","id":"Q1580654$4C39AB1F-3079-4076-A01F-0FA1A70B7FDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33f5eb1171ebfe7d3c4a1299b1c7cd38671319a1","datavalue":{"value":"W1566495532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580654$2E46BAE0-192A-4BB5-ADD8-9EA9B3E5F9B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078d3620720a75c061dfe9e7f360309a56f22e98","datavalue":{"value":{"entity-type":"item","numeric-id":1390952,"id":"Q1390952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06968165e1a5dfd02fe6306193f1331d5ce340ac","datavalue":{"value":{"amount":"+0.9249834418296814","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":"Q1580654$3E5A3570-2CC3-44FA-9ED7-66F08052DC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3720fb551bf8c8dd2bf3f28b889da5130af7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bace02e91245a5bdddce91c7aec379573f95300","datavalue":{"value":{"amount":"+0.8289989829063416","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":"Q1580654$5B8A7387-C02F-47B1-8DE1-29F538965EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118577ddedbdc165434b3660dd665ac30c43ed79","datavalue":{"value":{"entity-type":"item","numeric-id":3413927,"id":"Q3413927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a379b9da421131a353fb562edc5cc1e0f16b98a3","datavalue":{"value":{"amount":"+0.8289984464645386","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":"Q1580654$3BA983E8-2CC3-4450-AF75-37A71125CC20","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":"692909463446634f9e33af8dbddbd10a7b8fea8b","datavalue":{"value":{"amount":"+0.8217189311981201","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":"Q1580654$8CA76A5B-50D3-4AA6-B813-FE73FD4C46BC","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":"f2c385678b1cd28f0c23f3d5967b56411b18c331","datavalue":{"value":{"amount":"+0.793777585029602","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":"Q1580654$059B6633-F823-4019-ABFB-1672ADA46DEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Curry-Howard terms for linear logic","badges":[]}}}}}