{"entities":{"Q1989323":{"pageid":2000065,"ns":120,"title":"Item:Q1989323","lastrevid":53713907,"modified":"2026-01-25T14:42:28Z","type":"item","id":"Q1989323","labels":{"en":{"language":"en","value":"Combining linear logic and size types for implicit complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7191309"}},"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":"Q1989323$92D86E6E-3440-4E54-8EA4-4EFC91610305","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd48f9d40fee02e3aa1d89eff00d379134f370b8","datavalue":{"value":{"text":"Combining linear logic and size types for implicit complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1989323$B5724C52-FC0C-4127-95A9-8C6124E9577D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cddd2a8253927c7d8704bb1e93ad0728c637fac2","datavalue":{"value":"1433.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989323$45EC7DD7-C7A1-411F-9B68-FA205604F22C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"932bc16e29a15d3d87d54867458c360c3be95309","datavalue":{"value":{"entity-type":"item","numeric-id":276252,"id":"Q276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$A8FF505B-9787-41A6-A3C8-8833426C232E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2e083e83c74857ae79a511ce9968b81d15b1f2","datavalue":{"value":{"entity-type":"item","numeric-id":1989322,"id":"Q1989322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$ACD1483A-0DA5-46C9-9A87-2ABA19DACA73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$0D31CAF7-8E6F-4451-94CE-6DD26D9882A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17bef57f2c610a5f39d28616a761795ad9fff698","datavalue":{"value":{"time":"+2020-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1989323$76503932-1F78-4102-A74B-694522D7268F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c05cb419365b07dccd51b23f476ef5c3e4f3489","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/9676/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1989323$9760B072-2621-427B-ACFD-F8B729099FD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989323$3611929C-B0FD-4D20-BC43-F59B0C542D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989323$0EF585F8-64AA-4559-A36E-0FDCFFE4B184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989323$AF429D51-D501-4385-969F-197C284959EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989323$D72CECB7-7B89-42E2-BCEE-30096241A0C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18332867e7fb74444c3ef523c8c4f5d3d5a539ec","datavalue":{"value":"7191309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989323$1EC878BD-6B97-4E36-87C4-A9437C431268","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989323$2B67233B-F0F6-4F29-9245-A78C4785EDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f595485632e6e6e60c497647f0ecc0b80b52a7a","datavalue":{"value":"\\( \\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989323$43FA5924-DA0E-40D1-9C3B-C144F80802B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989323$5B2CC8C9-3CA3-42D3-823F-1BF55BCC294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989323$8A002FCF-B35C-490E-87C8-114404DD180A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8be6c3794120e9ae59d4fa98167aec1929cd618","datavalue":{"value":"polynomial-time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989323$2B238E95-E3C8-4FB7-A228-5DF77F284AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e734408a37fd2d3f35736d9aa34ffae8a605038","datavalue":{"value":"size types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1989323$F9840FAD-A1F7-4084-8CD7-72C047DA2961","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":"Q1989323$064CDA7B-5C93-45CC-89FF-61970D7E640C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46fca5c67699d7c6371307d74eab6e748348d5b3","datavalue":{"value":"W2976136300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989323$6AEC0AD3-5BDD-4E75-B78E-5EADFCF9439F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$D8D4AD40-6AFA-44AC-98B8-5153F70EACE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cbf1fc2616a90273e8d3db1d96fae28ad400e1","datavalue":{"value":{"entity-type":"item","numeric-id":4218937,"id":"Q4218937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$6FCA3B20-3619-43F1-8B23-97D633607728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8ab907628f53fd9eb4818e4f688a4ff491f5f8","datavalue":{"value":{"entity-type":"item","numeric-id":3167522,"id":"Q3167522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$CDF5C333-6C44-4267-B282-EA01C20D3DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$1F8CEF9B-166C-46BD-BA0D-FD96AE3D977F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4d624aedee00c32218091dd837d1eb469530ae","datavalue":{"value":{"entity-type":"item","numeric-id":2343123,"id":"Q2343123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$C67DEB1C-C025-4849-ACD0-15692A914AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b2380b35de576e2f3b9aec23341ed5906f3105","datavalue":{"value":{"entity-type":"item","numeric-id":1401946,"id":"Q1401946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$52D19165-AFE3-4107-A6A4-7E47D62F28C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$FED33614-0224-4259-861D-A730A1498006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$D6AF08D9-B7FC-485A-91EF-F165524D6E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d475b104702fe45fd57bd1344fb23caa384940","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$CB99D8C6-D82D-4B52-97A5-A586A6462B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f787411cd150ae479aad18d1dd19610e066110a","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$4E9E4917-899B-4B9E-95AE-A1F3503080AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7f4a4d6814fd1b39255e8b48c879c80b6a5b79","datavalue":{"value":{"entity-type":"item","numeric-id":5255076,"id":"Q5255076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$27942EC4-9803-4EE5-80AC-BE3E8C30B5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07229c7de366b3930eee7950aad1f79006ae4253","datavalue":{"value":{"entity-type":"item","numeric-id":541228,"id":"Q541228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$1E737863-FBBD-4DB8-8D60-CA1E9ACE2150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484880b7b72b4ed23c3482932f4c47983b63cbb7","datavalue":{"value":{"entity-type":"item","numeric-id":276254,"id":"Q276254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$642FC40E-7554-456D-A4F3-C2207E90456F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c561a8cf8d21f015cba901d7d8874890f3d804f1","datavalue":{"value":{"entity-type":"item","numeric-id":3460055,"id":"Q3460055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$A93D1BC7-767C-4A50-88BC-BA1591110B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c4e70888fd7939865c5bb461580af7030f19eb","datavalue":{"value":{"entity-type":"item","numeric-id":3558218,"id":"Q3558218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$42E86FEA-AF71-43FC-A53A-43F98B2D5FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2921c4768e8e40aa8482e72d0f7d8fd9eb4850c2","datavalue":{"value":{"entity-type":"item","numeric-id":3007663,"id":"Q3007663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$D46CF286-719A-42DC-BC81-9A89AD2869C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cd542f350018b04db54c6b895e6193b2dbef3c","datavalue":{"value":{"entity-type":"item","numeric-id":3613332,"id":"Q3613332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$C7758931-0AC8-472B-972C-456AB944B205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4c77ee4436aed29e208d61d36fc188a108c207","datavalue":{"value":{"entity-type":"item","numeric-id":5079730,"id":"Q5079730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$E9519F8B-A34C-4981-AAEB-2DF86E424AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a56e20b36ee688593bbfc7f4f8698479098d09e","datavalue":{"value":{"entity-type":"item","numeric-id":2441513,"id":"Q2441513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$8939AE13-768A-4FEB-9018-D174B8151754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d39fe177551fab1613996b51b8395e452ef546e","datavalue":{"value":{"entity-type":"item","numeric-id":3190158,"id":"Q3190158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$EA5C0219-72D2-45F0-9421-9AE4FAFE59DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908c2d6d461835203c51e37e45e860349a48c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":2931793,"id":"Q2931793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$76E21B26-BC57-4E8C-A124-146C9A10A2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19939e28c6ddb613b13b5478a0d5678daa9b876","datavalue":{"value":{"entity-type":"item","numeric-id":5704029,"id":"Q5704029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1989323$4EE4DAF5-8BC8-4871-BE76-290DE9494B78","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7b0c3cc8074f1553e3d7374143606052a0a41d42","datavalue":{"value":"Q127206184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989323$06510736-3F04-4018-B94F-7285AEDAF557","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d36c3750a71908372a22ed888bb62b151a810ff6","datavalue":{"value":"10.1016/J.TCS.2019.09.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1989323$2FCC2D7F-8CA7-4202-95CD-67F97066C77F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71040d0b8e5a0ec86aa50e54196be949296b6892","datavalue":{"value":{"entity-type":"item","numeric-id":2343123,"id":"Q2343123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372db65966ddea2fe09d3c16c5d1a4bc6677b1d5","datavalue":{"value":{"amount":"+0.8175005912780762","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":"Q1989323$5B7A73A7-EEF4-4FB6-9857-94F84435879F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c91a418a146cc22bea03ee44431a464e35382cb","datavalue":{"value":{"entity-type":"item","numeric-id":2866738,"id":"Q2866738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe7294b3f55f19a595cd9498f89e456e196bd4e","datavalue":{"value":{"amount":"+0.7959676384925842","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":"Q1989323$8CC3B123-FBA2-4911-8741-D5D0E5EB46D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bbdecb1464c7031c528e86911d6ed579bf9eed","datavalue":{"value":{"entity-type":"item","numeric-id":3628772,"id":"Q3628772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d26e575263a00201919d44216c3874c526bd35","datavalue":{"value":{"amount":"+0.7938340902328491","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":"Q1989323$EF8B6B19-71F2-4B8F-9A2A-4390FE491251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90cb267d11e24349bb9f2dfd2f5edc94b76cae13","datavalue":{"value":{"entity-type":"item","numeric-id":1044841,"id":"Q1044841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a537f067a75f780313843216c63cb76d972ed54f","datavalue":{"value":{"amount":"+0.7932651042938232","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":"Q1989323$0C18AEEA-1C1A-4346-9103-282244007CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb902fc32928b78adfae339b63f14ce67402b36","datavalue":{"value":{"entity-type":"item","numeric-id":2870134,"id":"Q2870134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7fde449bcd7c070cd4f89103686e0038c85d73f","datavalue":{"value":{"amount":"+0.7924515008926392","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":"Q1989323$2C983DCB-DA07-49AF-BDDB-E89317805E90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1989323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1989323"}}}}}