{"entities":{"Q352080":{"pageid":353847,"ns":120,"title":"Item:Q352080","lastrevid":61177596,"modified":"2026-04-10T21:40:04Z","type":"item","id":"Q352080","labels":{"en":{"language":"en","value":"Static typing for a substructural lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6183891"}},"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":"Q352080$C81E8B15-8267-4B33-9847-D38B6BA709BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50a800a722ffbeb433a3bb066dc2dae965717870","datavalue":{"value":{"text":"Static typing for a substructural lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q352080$14C55096-A68B-47FC-AD34-72EF1DB6212E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"805b50c49af5172e26bcc1d135bf71a16afca75f","datavalue":{"value":"1267.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352080$C57E60A7-9829-467F-8AD2-B67AE3E3B2CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cc413e5f5c2d76c026ba2c65280e6a1bd494083","datavalue":{"value":{"entity-type":"item","numeric-id":352079,"id":"Q352079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352080$777707F2-570B-451C-9123-A402347451FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"95cb2c83394bbbcdd99484db77fc7dbad3dbd1ed","datavalue":{"value":{"entity-type":"item","numeric-id":351970,"id":"Q351970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352080$D911C515-DB82-4A00-8C99-0C3B4DDFEFF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45f59ec8787ff61160fde5fbcea29c61c8ec386c","datavalue":{"value":{"time":"+2013-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q352080$64BA9B08-B8B2-4852-8969-35F799B96E24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352080$CA5E8512-7176-408B-A13C-A9D058E50417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352080$B7FDC55B-6CF4-412A-95B1-6E33AEDFC94A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef6c1c0b79796230e3f031dbc3083de4a598c535","datavalue":{"value":"6183891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352080$768440BF-B27B-40E7-ADFA-CF5301E7858D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q352080$4FB95683-E660-4A40-972F-869944CD9C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a8585e7a18230d44660861ab92575fc4a73e8c8","datavalue":{"value":"linear type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q352080$402FF308-93B9-4098-8FA6-A6BA8896B40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80d5d17588e7a849af622411f95ba217e80e737a","datavalue":{"value":"substructural type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q352080$850F741E-8D2D-4490-A9E2-6C8507468C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66e9b407e422087489810c9e9c930e4ebe6b017f","datavalue":{"value":"subtyping theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q352080$421BCBB4-E0F6-4428-8B4E-87FC8E14C530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38790c6ab77374874d8791b94bc69fc33c680d65","datavalue":{"value":"type preserving translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q352080$D4F8C176-5DE4-4B35-8A35-8E00FE4C534B","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":"Q352080$EAD1E405-8026-4D09-A227-9EAA3BD46516","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a507026601d15ddeb42e45eabdab4c267b07c23","datavalue":{"value":"https://doi.org/10.1007/s11704-011-9106-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q352080$29FFB498-9C79-40EB-B729-F07A1A184D23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90df02f498ef6e751b6c2e0a206a427815be447e","datavalue":{"value":"W2078715622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352080$95CFEF7F-86B9-4103-87B4-72ADFF4B5BF5","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":"Q352080$642AF808-237C-4442-97FB-7F0A56A06F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fba5e8ace22a05b3ebef9aa0392420cd4ad549","datavalue":{"value":{"entity-type":"item","numeric-id":685059,"id":"Q685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352080$88A36E38-1704-40DF-B82B-61D7AAF7ED9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfe52ebb37eeb823203f2e60e8d7931b53968e5","datavalue":{"value":{"entity-type":"item","numeric-id":5178008,"id":"Q5178008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352080$54F81E70-5426-4F2D-AD8F-0AE00909E378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348a740290a2c179d9f484476a2f2aa7ed8ffff8","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352080$E79A8CCA-6F86-4CC6-9F14-072F113ACBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b77730f27d19fff5a2af30b38837d9c3e169906","datavalue":{"value":{"entity-type":"item","numeric-id":2729060,"id":"Q2729060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352080$ED9EB21F-DC29-4693-B855-CA993BE7F42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622621f8d12acb219fbd2fe1ed813a87df1db220","datavalue":{"value":{"entity-type":"item","numeric-id":5261277,"id":"Q5261277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352080$832F9470-4022-4709-AA61-76D2B13C41ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7baf28cb4a76c800d24a0955b4e26db137ec8d2","datavalue":{"value":{"entity-type":"item","numeric-id":3996398,"id":"Q3996398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352080$5FB10586-1D3D-48E8-920A-DA84329A1C0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb37bea073e4f6a6069f0497abf6e303b538031c","datavalue":{"value":"10.1007/S11704-011-9106-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352080$49694B60-A3D7-4616-91B6-95FB775AA240","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e876500f03f41967051665438252a436d41940fd","datavalue":{"value":{"entity-type":"item","numeric-id":5015212,"id":"Q5015212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcbaca58cb0a578c6c696f4cb352d29098e215b2","datavalue":{"value":{"amount":"+0.7664645314216614","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":"Q352080$6BCFE0E9-21A3-4444-9EF2-CEADB6863531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1b578d8ac4dd169ff3b568571610e479bff9d2","datavalue":{"value":{"entity-type":"item","numeric-id":5458425,"id":"Q5458425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb8e8c18936d723c20a907aedbcb42f6f5e1b30b","datavalue":{"value":{"amount":"+0.7496153116226196","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":"Q352080$0501BBE0-6822-4673-92EA-35DB47F75999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3807dcb7ed967243532e238e81423ccca34c5a49","datavalue":{"value":{"entity-type":"item","numeric-id":1001367,"id":"Q1001367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43018cfd65cd3049cadc60ef38f5fb2972a18ee8","datavalue":{"value":{"amount":"+0.7312210202217102","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":"Q352080$1933C491-1FFC-48F7-AC00-7B42A9DA0106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120bed7b77db292bcbdc338f4f3e6e9eca07bee2","datavalue":{"value":{"entity-type":"item","numeric-id":2753671,"id":"Q2753671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d590c4e7979ca731f908f3ad34c15fc5bd2022a0","datavalue":{"value":{"amount":"+0.7292281985282898","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":"Q352080$BEEE9F3A-898C-4D35-9CE4-7CCBF4E65259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c5f7a082085e8e27501128675036fd558d7630","datavalue":{"value":{"entity-type":"item","numeric-id":3612633,"id":"Q3612633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4edac15f5636170936f7664d2e238fc1b07a1f5a","datavalue":{"value":{"amount":"+0.720721960067749","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":"Q352080$6C11E1D8-0C09-4401-87D4-091D56BD9641","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static typing for a substructural lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_typing_for_a_substructural_lambda_calculus"}}}}}