{"entities":{"Q5079730":{"pageid":7109306,"ns":120,"title":"Item:Q5079730","lastrevid":55409593,"modified":"2026-02-17T15:49:00Z","type":"item","id":"Q5079730","labels":{"en":{"language":"en","value":"Combining linear logic and size types for implicit complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533334"}},"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":"Q5079730$6413E91D-6C72-4E83-AF85-68C8C365C4EB","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":"Q5079730$00FDFD3C-9FDB-433A-8EF4-7DFDD41FD771","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":"Q5079730$853602E4-8188-4CD8-A6EB-43D24CE7AF2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079730$D57DBEAE-87A6-493A-8327-D73EC8AA6EE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079730$3CED346D-6616-4024-935F-FB058A5E2F7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3e3909ad0054a45ee885f6e1e57a5a1594cd804","datavalue":{"value":"7533334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079730$B2EEC6D7-D973-4500-B9E1-79B920253112","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079730$962DB007-25D7-48BC-99F7-AF32892152AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079730$FB2BBEF2-4155-42B2-A535-48B056BF21C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079730$C0E53158-4695-408E-876A-B42FB4EDAA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079730$2935BF94-15F6-4EBC-BBC5-E2F37156C5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e90b7870184b4fec8c274946c1560c81ece1d150","datavalue":{"value":"polynomial time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079730$09FD7BD8-036D-4EFB-B9C9-78F761A74798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e734408a37fd2d3f35736d9aa34ffae8a605038","datavalue":{"value":"size types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079730$0296A91F-41E5-4881-BBF4-1F2763FC24E1","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":"Q5079730$AEFD948D-15EE-493F-981A-D452B0CF0791","rank":"normal"}],"P223":[{"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":"Q5079730$8EEEBD62-8162-4F87-9370-B1E2D0670592","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":"Q5079730$3A089908-4477-40C6-87F4-1D85C03FC5B1","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":"Q5079730$B879453C-CC54-4B8E-AE95-EF96E5AC1CDA","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":"Q5079730$58311CC3-B840-4392-A0FA-BEDB1F3A7A07","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":"Q5079730$D81BC7C1-F43D-41C5-A5C2-2774E593EBC0","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":"Q5079730$E84CBFC4-8F0B-4AE8-8321-B04AC452A41E","rank":"normal"},{"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":"Q5079730$F6FD5D90-07C1-47E2-9E41-7916BB2F5887","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":"Q5079730$FF34B6D3-C3CC-4F55-98F9-53BA20864080","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":"Q5079730$07FEC388-DD12-4D67-8DC6-660D86F77070","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":"Q5079730$37C9882C-098D-4B5C-B982-A21D11B7489D","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":"Q5079730$DD52A3DD-8AD0-4700-9040-0F93DCB0C936","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":"Q5079730$781BDE4D-D2D0-4587-99EC-ED79F018D1E0","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":"Q5079730$B942E42E-6C75-4D63-980F-DE335C96B290","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":"Q5079730$3C5B4704-F167-4A74-A0E8-3F1A19D967DC","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":"Q5079730$7250C220-0866-4EEB-A072-B0A1F45FC00A","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":"Q5079730$91971A82-F720-4BE5-B6F8-A10677E04B59","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":"Q5079730$D099B152-C132-48C3-A68C-2AC4FE545E94","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":"Q5079730$0A0FA6C9-149F-44D9-BD49-59EC4CD3817F","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":"Q5079730$3FC87642-981F-4D50-87BB-A7288CD769B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85694606be4006c9cd1a11cd23a0af7bbcc9dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079730$FF8D2605-24A0-4692-887B-14915B731C42","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":"Q5079730$27FE12CF-4F3D-468F-A10E-A0C986B6164B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5d8b518b42174035c631c0699a3b0b2a18aef8d","datavalue":{"value":"10.4230/LIPICS.CSL.2018.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079730$92F65071-0E02-4FE9-A3BE-9C7890B69F39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1f4a7cbbc65cc0dc08c7ec812ba84d31fc0721","datavalue":{"value":{"entity-type":"item","numeric-id":1989323,"id":"Q1989323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe6a6214aa6c55625c9e10ed92103297847419d","datavalue":{"value":{"amount":"+0.9715917110443116","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":"Q5079730$166DE073-3473-4DD3-B2C8-088209FD4197","rank":"normal"},{"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":"1054449b1540f6c2cc19be2551d2e98bc0ce1b78","datavalue":{"value":{"amount":"+0.8037025332450867","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":"Q5079730$2289E40D-A87A-480E-9DD9-073318558488","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":"dc3e6cca91770d7966bbe14f7854ba0bb1b25d86","datavalue":{"value":{"amount":"+0.7902907133102417","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":"Q5079730$8CA49215-B636-411E-A8DC-5E68A0ADA0EA","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":"86fb3d613d3727d454560b9b8e2b797a0e87d1b9","datavalue":{"value":{"amount":"+0.7797927856445312","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":"Q5079730$42367E41-FFF7-43DE-86EE-7865636C3547","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":"7c1c0eb960c667d4e4e6ac9bc08244e30e25de1c","datavalue":{"value":{"amount":"+0.7785037159919739","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":"Q5079730$C257E074-B0D8-4274-A5A5-723D4BAC5F1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079730","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079730"}}}}}