{"entities":{"Q685430":{"pageid":687279,"ns":120,"title":"Item:Q685430","lastrevid":63460113,"modified":"2026-04-11T13:18:39Z","type":"item","id":"Q685430","labels":{"en":{"language":"en","value":"Computational interpretations of linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417362"}},"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":"Q685430$93FB206C-190B-4DA6-A128-57E3F96294D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d08c8237f9f3d1cfb1f407c3995c31ebad100b75","datavalue":{"value":{"text":"Computational interpretations of linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685430$4CCF403F-AA98-46A7-85EF-2CABFA0C2EA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb597dae87ffe65da861be4a465f4580f22c7e83","datavalue":{"value":"0791.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$3DAC2D4B-6000-4B36-A005-9C74F9CF9BFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6930c16c428d430ac5d2802806cbf02e2273b646","datavalue":{"value":"10.1016/0304-3975(93)90181-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$5C53B908-EF63-472E-94AE-E924C7E90536","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$222E53EB-D72F-4B3B-AEF1-5ACA75C5FE45","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":"Q685430$81CBE79F-DF66-4E8A-8000-61B57ECC44E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8db3fc0a2a1510d48c144800b5b724b46b6297ec","datavalue":{"value":{"time":"+1994-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685430$5748E351-4250-4867-85A7-65A9823B24A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$7554E45E-A93A-4F6D-93AB-C38C43D098B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$81D2DF74-F381-44AC-B474-E5E1D095DADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$3736CF3C-2882-4971-9878-A81457581C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$8356984E-620E-499C-A993-D097805104F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$AFF72252-1806-41D5-BF47-F3C0C0CD86AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$8F590351-69C2-4F8F-A7E1-7AD78D0A64E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f3352cc530cfde18051b3b1c4f51630223af903","datavalue":{"value":"417362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$E63F69C7-0996-410F-9630-ED30346E2194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$0EEC95B1-899C-4A97-BC23-CEFE5E7682FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$15CE726A-862D-4ACD-85E5-2851425065F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$E3F14BEE-07EB-44B0-8246-35C2FB963B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$F6159563-2D91-498B-833F-F4688C17780E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa69154d18d9bdfbc34834f9072a4b00a573919c","datavalue":{"value":"order of evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$262606D2-1709-44AD-89DB-9D595741EAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e5ee828093fcf4b92156a91701865b4bdaf3e6","datavalue":{"value":"storage allocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$F7110B9C-AECC-4C09-A854-AAEEA21BF7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bde344f337d4e453d9f639744cf151ca32e074","datavalue":{"value":"computation as cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$D35B533E-F5E2-44DC-8805-7DC2354CC563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bf2902f466113793f831a2a07d78a930034b982","datavalue":{"value":"concurrent process","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$5701227C-BC88-4F58-A122-713CD448AA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$9F393719-17B0-46A4-A0A8-1D8D599949AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9080f14798d2f6d4a3f46d8c3b6f169ab2b7dfe0","datavalue":{"value":"parallel implementation of functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$D4B43AF6-1B8E-49B9-885C-768E876A43A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2285ad0f155d9f82abc35808092e5799be0cce5","datavalue":{"value":"typed concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q685430$9D1BCA7A-0BCA-4404-918C-530546866E7B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6667078c399fbb46082c0af8927373adaba62323","datavalue":{"value":"Q56443860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$C1926620-8AF9-4F03-83F8-A118378EA328","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$22CE75EC-C9B2-4AD4-B5D6-92DE6FB899EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$0CD5C60D-B846-4206-8EB4-39C76F4541AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$8E9DDE4F-D708-4933-82FC-37592A66406E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$6541F890-FB8E-4577-902C-43B47C4E4247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$B2EF2B2F-485B-4633-A656-9942174C3671","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":"Q685430$9C395726-B1DB-4F91-91A8-1135DAA2F549","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$BF04B26D-2F6D-4846-9552-E4DFF2B2A0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$FF10944C-2ABA-43B6-88D6-A2CEE6B85E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b55ad4ae884873664dba1bb8bdf04743ad4259","datavalue":{"value":{"entity-type":"item","numeric-id":4038654,"id":"Q4038654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$467CF56D-8A07-4834-AE20-BFB90C995825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$22056F04-CF69-4947-A691-2C202A9E5521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa81bcc9d031f13e6443e8a60911fc02ec06aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":3992669,"id":"Q3992669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$F72F13BA-C506-4A31-92E6-F10249AA986A","rank":"normal"},{"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":"Q685430$56A41191-EE96-4E4D-B161-1DF35F484324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f81677e6c7689d372d059212f4f6d2e31315c","datavalue":{"value":{"entity-type":"item","numeric-id":3824307,"id":"Q3824307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$0517FC9A-3816-4E28-BB5A-EC8C75DC4B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$95494C1E-3FC1-4934-91FC-7A4028E9D4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ccd431cef4cdf0d275d02d94c0c6efbf913649d","datavalue":{"value":{"entity-type":"item","numeric-id":1066129,"id":"Q1066129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$34F8A987-FA54-4D95-A309-85B148F3B155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$291A2884-8E1F-4B32-B05F-8BB37A9A48EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$08630837-1AC7-4AD2-8531-754B3EF84925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9e886b9360a3e41cc1b6bf60219a57e89b7504","datavalue":{"value":{"entity-type":"item","numeric-id":4692468,"id":"Q4692468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$C774D229-F83D-4104-8252-A4F64A54E6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccbc8a5de17ed4e6924728c6d1a2f620a7587fb","datavalue":{"value":{"entity-type":"item","numeric-id":3805933,"id":"Q3805933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$2A717E44-47FC-4856-A437-6AD47F5DC4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$E108D06A-2282-4604-A72E-EC54883A3D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$6F512465-3310-466C-A5BD-B71950B74C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1208c35792fdf6d7234d5d330a526691eb60bc71","datavalue":{"value":{"entity-type":"item","numeric-id":5345264,"id":"Q5345264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$EC52747A-C5C9-425B-B685-821269F5E01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$D5B2C70F-52C1-4369-BA32-48DC2B912197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$8784C2F3-11F7-4653-851C-AE8591E96E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$E38B3133-0CDF-459A-8DAD-2E3F3CC9606E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4245995a5f9f440bfaac6125f37b7015daea0d6","datavalue":{"value":{"entity-type":"item","numeric-id":4038690,"id":"Q4038690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$0217B4B3-F4AB-4433-991D-0818F0ED991F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488617a7b77a34e7047203bf2a3aae32481a3b77","datavalue":{"value":{"entity-type":"item","numeric-id":3875320,"id":"Q3875320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$319CE914-5A2D-4F76-A758-845A8E2A3B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$7A27E14F-D79A-4408-941E-5E88388EA555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$29887B72-445C-4BB1-B967-231E96495105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5abb06f902f9ed0fef96835b4d42cff003f2fab","datavalue":{"value":{"entity-type":"item","numeric-id":3677139,"id":"Q3677139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$7E7C6A01-1B23-4504-AFE4-614357850C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed42be3170d6224c2afa768bf2659273c02565cd","datavalue":{"value":{"entity-type":"item","numeric-id":908909,"id":"Q908909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$8A77E131-2129-4F2E-B484-B53108840CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$3BCEC531-F0C3-4BEF-BA07-CB9D2CFF995F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b917e7d4772960d1cc51edf7b8d377307b730fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3992670,"id":"Q3992670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$0037CFC4-CFB7-4BD1-B1D3-EB4B8542F587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2e5056c785c542fadde2192b3f3826a2d2396f","datavalue":{"value":{"entity-type":"item","numeric-id":3363460,"id":"Q3363460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685430$5C477469-279C-46F6-91E9-B37B75D66EE0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6b4195deb168c76da0183e8c08052df3960a8ad2","datavalue":{"value":"journals/tcs/Abramsky93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685430$F009E624-E685-46FD-B68C-02332E8BCEF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da502d82fa96f14f7dbea0b148081cc1d8f7050","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30472c378d7591f6d96649eaaaa11fbc4b7d3147","datavalue":{"value":{"amount":"+0.853195071220398","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":"Q685430$B0854961-88B7-414C-B228-89A5DCBADAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef60e5ad0e3b9b4e21507711ad635a0eda174ba4","datavalue":{"value":{"entity-type":"item","numeric-id":1575871,"id":"Q1575871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcdb514471ac7fb1d5f579e81def7ec0133f1902","datavalue":{"value":{"amount":"+0.8321526050567627","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":"Q685430$B0CD13A1-A83D-47EA-A14B-1076CE7F193D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a046c797a9ec0a3668e34cb0d7d461a86addfef","datavalue":{"value":{"entity-type":"item","numeric-id":2852348,"id":"Q2852348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313486c951725ec440c35351873e7e8ac8669b5c","datavalue":{"value":{"amount":"+0.8308470249176025","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":"Q685430$BB9F6488-823F-4713-A661-A547D9E94158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068d590544a83f63a1eaf24c572b32cbdb59f14f","datavalue":{"value":{"amount":"+0.8195554614067078","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":"Q685430$F3251584-0308-48D4-AD4B-CC927D07C2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f880533c119de7c2962c291abbf7a819980ff0a","datavalue":{"value":{"entity-type":"item","numeric-id":4537511,"id":"Q4537511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e549830db69734cb4b906eddf1c29fe5174663","datavalue":{"value":{"amount":"+0.8184961676597595","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":"Q685430$55FBCE5E-1CC5-479E-8649-351D04B373F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational interpretations of linear logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_interpretations_of_linear_logic"}}}}}