{"entities":{"Q3413927":{"pageid":3424630,"ns":120,"title":"Item:Q3413927","lastrevid":80420735,"modified":"2026-05-06T16:09:22Z","type":"item","id":"Q3413927","labels":{"en":{"language":"en","value":"A Parigot-style linear \\(\\lambda\\)-calculus for full intuitionistic linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5080677"}},"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":"Q3413927$47425CDB-7F4B-443B-85F5-7A7E67FD369F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d44dcc7e186260dba80a7809f407e68984f0b3f","datavalue":{"value":"1114.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413927$E49C4CE8-AFA5-4769-9646-74A4E32B2A52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3413927$25E8F3B2-1970-4E60-9D2A-E61E3C0E52B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3413927$D1F5E94D-648E-40E9-854D-12597A37EC32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35bcf7accabe1c33c0368b0ad14d7178c8a3cb8e","datavalue":{"value":{"time":"+2006-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3413927$31997EF1-E6D6-4DB9-B888-CB80D0717423","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aaf34376760a25e0ab9248cf6f17fbe3fc8a7b1","datavalue":{"value":"https://eudml.org/doc/127560","type":"string"},"datatype":"url"},"type":"statement","id":"Q3413927$87F3D2A1-6F15-4FF9-8AE2-4FA3E7349F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8faa3ad0941f598ff8047a8f06b36efec2bc9e9","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/17/3/17-03abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3413927$EE3228B9-049D-483F-BDB4-0F3EE7D5995F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413927$AC6352E7-1C6F-41A4-88CE-035D84458811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413927$C50E598C-D5CD-47A4-8433-13CE718C818C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413927$4B7D6553-3507-4C5C-AEB3-63012858E050","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"105c738887180809f5166fc2bae86fe64a9f79e2","datavalue":{"value":"5080677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413927$F0CDD63A-62CB-428D-84FB-E144282ECE3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3413927$9751CF3F-AE29-4EDA-A2A1-A325B51BCF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e377735fef4b0e5d31c97baa26e95cc6323e216f","datavalue":{"value":"lambda-mu calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3413927$D482E0C2-43C6-41F5-8BFD-9221972F887A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3413927$0FA0EEE4-C9A4-452A-BEB4-B92796F4A850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3413927$BE350167-B775-49FC-A4F2-53C45B9B1B06","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":"Q3413927$CB7100B8-57BE-4F33-869D-3D1234549E30","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"2414127c1f78576ad0131d26f148038b3874d22f","datavalue":{"value":"bafkreihme62ntutwfl5limvxb5r2wn6dyeuvtkxm7uq3rx4cwme4mljvvy","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3413927$27FC08BA-C1DE-4321-880A-955DD4386C02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ff897a52edb4c19eb266cdaddab5ec02d836513","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6c042c4d049179897d392813f360512e53b2c7","datavalue":{"value":{"amount":"+0.8400825262069702","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":"Q3413927$09FAF097-F5A2-4F50-99F5-5E4792B2253C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e64a5c75231fe28ee166263798112284e812c","datavalue":{"value":{"entity-type":"item","numeric-id":1919548,"id":"Q1919548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f607e250f50caf4c7b52cfb36d2a26db26002fd","datavalue":{"value":{"amount":"+0.839599609375","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":"Q3413927$8683443E-6209-45F6-8596-E73FA91B52F1","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":"8f607e250f50caf4c7b52cfb36d2a26db26002fd","datavalue":{"value":{"amount":"+0.839599609375","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":"Q3413927$6EB69529-1080-4140-80F8-2A3A682A46DC","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":"edd3dddfc0b322cc53218c19348816823ec05c14","datavalue":{"value":{"amount":"+0.8395142555236816","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":"Q3413927$C64F89D5-2A6B-4F02-8BDD-1737C424DEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d609b596dec98d72c061d1f01d25a655960e7c57","datavalue":{"value":{"entity-type":"item","numeric-id":5283420,"id":"Q5283420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0c33c02179ab91bb119ef726f6f0c74e3bd9b5","datavalue":{"value":{"amount":"+0.8240258097648621","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":"Q3413927$A99ED12B-A333-498F-B948-30029BEFBC7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Parigot-style linear \\(\\lambda\\)-calculus for full intuitionistic linear logic","badges":[]}}}}}