{"entities":{"Q476190":{"pageid":477957,"ns":120,"title":"Item:Q476190","lastrevid":62107689,"modified":"2026-04-11T03:48:46Z","type":"item","id":"Q476190","labels":{"en":{"language":"en","value":"Linear logical relations and observational equivalences for session-based concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6375067"}},"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":"Q476190$D385F4A8-6157-40A2-AB82-051535C7EE2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff6419f17efd21343ce44a45fd8d61ac51902b50","datavalue":{"value":{"text":"Linear logical relations and observational equivalences for session-based concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q476190$F8619259-5249-467F-ADC4-EFE9A1C3C1A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb7633076eb3ecd3f780adb0381c1ba5b085d5bd","datavalue":{"value":"1309.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476190$D6F01C79-8158-46A9-B5CB-86AB75448A5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5bf2daf37619b5f51c5968e7e6d35980ea99e46","datavalue":{"value":{"entity-type":"item","numeric-id":315278,"id":"Q315278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$5801A7E3-EB4A-4304-ABBC-3A1848362650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6196248ea4f7015d5a81fd36913200988fc7bf90","datavalue":{"value":{"entity-type":"item","numeric-id":476187,"id":"Q476187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$29116279-72BF-45D4-B1B6-8040D323E4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$783239F9-EB76-4EF1-92F6-54AC2F8007E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1acb8bfb71d90bd14112d4100b38479fd980ef97","datavalue":{"value":{"entity-type":"item","numeric-id":476189,"id":"Q476189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$F24F6289-BB5D-4E1B-8F64-6687E6F34382","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$690F6896-5899-4CF2-804A-66E96A9FE552","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d71c537fa104c737c45b84947206ae8eb89f9f4b","datavalue":{"value":{"time":"+2014-11-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":"Q476190$B1011579-6AEC-431B-A148-68A24ECBEF94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476190$8A6FBEDB-8739-4108-8FED-5F7B47F3813B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476190$7310D20B-7B0E-4217-95B9-D32920E7469D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cecc01bf586ec667f385cf1478ce7a84790fbf9","datavalue":{"value":"6375067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476190$19AA74C8-DA03-469F-AFB8-7779BDE8937A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q476190$A97CF60A-CF13-4EA0-8B8B-41E2B479760B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q476190$7BD7FAE3-8436-47AC-8709-29C79DCD8279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q476190$03B25FF7-7AAA-48B4-A9E1-9D4B31583BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q476190$44EE74BF-1596-4A1F-A7EA-69DD2226402A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q476190$02F96F7C-BD71-43E6-9ED5-AC66D3C6EACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q476190$D8C8463A-A5FB-4CAC-8DC1-0152880627C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0636deed5aa2016f414be6e90aa152a72f61b966","datavalue":{"value":"observational equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q476190$C69F73A8-0D52-4682-97FF-227AD82090A2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e54b689c49b379d0a9b625c99f2abfbd67c8aff7","datavalue":{"value":{"entity-type":"item","numeric-id":34415,"id":"Q34415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$2837151F-D8B9-43C5-9D75-0E0BD30EA793","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":"Q476190$F54BAE0E-4727-430F-96BC-75A9885FFC61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c707df53ceccb7cea0301b83f192146438bf5b6","datavalue":{"value":"https://doi.org/10.1016/j.ic.2014.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q476190$31FF1823-5FCA-43BD-BAA4-2B238919ADB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d46b18eff02e461a5902db8f4d9d9be053b1b5f4","datavalue":{"value":"W2054150540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476190$B191EA5E-995B-4274-88FA-AA3E780F82F1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac6c8a68a0c0d442625a7efc8f8bb325f81e1edb","datavalue":{"value":"Q57652382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476190$6AFDDD69-CE0A-46BD-B12F-932A662B4AF5","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":"Q476190$F7067873-89E6-47FB-84F9-C4CDE8521547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33bcfdad2ed96c88bb56444052a0f2151cc5cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4417854,"id":"Q4417854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$CBE3534C-DC2B-4899-88C7-4A4FECF9FEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e448d527de3c8eb1346eac6db1db6761d13c9456","datavalue":{"value":{"entity-type":"item","numeric-id":2576663,"id":"Q2576663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$AB2632B0-BBB7-472C-8472-FDB8B56663CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$5FE6611A-E173-44F6-9128-15475F736CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91e312d053df9b505b00660976d129f99621af84","datavalue":{"value":{"entity-type":"item","numeric-id":979082,"id":"Q979082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$478D989A-0243-4E42-9558-AD8E60F6AC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51dc08ebf63cb980ff38c6a8655ca9339e988d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3612481,"id":"Q3612481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$47926E14-5901-4C00-A4AB-2A7C28963A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b85f642234c28ca69edae9726642ba7a91a18cf","datavalue":{"value":{"entity-type":"item","numeric-id":5326294,"id":"Q5326294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$697F837C-C6BB-4C8D-9A1B-55949332EE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339e9b87b316ce7468c84c4cc47a6905a2b7929d","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$41DA7912-BCFB-45CF-A42A-B608D4CF1C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39a259c235f5a07a93e6da133744f23ae167111","datavalue":{"value":{"entity-type":"item","numeric-id":4965859,"id":"Q4965859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$19D316E2-2E9F-4B74-8576-0B29705F9992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb96ab2a0b646838a26bf27cdab66bc182f61d0","datavalue":{"value":{"entity-type":"item","numeric-id":3184750,"id":"Q3184750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$872FC81C-78B5-4925-8723-1038C2AFC7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834d65effc0707480ee2d49ff5fc5398e40406e1","datavalue":{"value":{"entity-type":"item","numeric-id":817843,"id":"Q817843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$6D1EE1BF-D32A-48A6-82C3-E0C8CBE054EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bb2a4f0603188267aa3fd0208ee45953e029cb","datavalue":{"value":{"entity-type":"item","numeric-id":3372683,"id":"Q3372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$AA4F724F-BB60-4129-AAFB-D4B907E061AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54351e142ba78301c80d7c3516f9734aa8ddee58","datavalue":{"value":{"entity-type":"item","numeric-id":3791120,"id":"Q3791120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$148AB0FD-722F-4FE2-95A1-FC3C2B3CC25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bb998e3eedfd5bc48772810588c75ec6838ed","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$F3901DD5-5B71-432C-B19E-ECADA8E58C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3bfd0b7219526787666dcbb457009dfe6c21ae","datavalue":{"value":{"entity-type":"item","numeric-id":4653017,"id":"Q4653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$0E8F6F36-2452-4C86-871E-9CEDB729DFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e7966278c91118aa7d7d41fbd32b2365ea822","datavalue":{"value":{"entity-type":"item","numeric-id":1827397,"id":"Q1827397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$881C63AF-8208-4F23-A78E-2C8D4FF51037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce6dd46049aee124b4ab878d31f8ce6f4d85731","datavalue":{"value":{"entity-type":"item","numeric-id":5176928,"id":"Q5176928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$087E6693-54A6-4C65-9BDF-C5E7F5F005A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$1C0A5565-E6A4-4805-B9A1-37C74C0ED77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051c2fcbad6542ce45729c4f97ee9845ed27114c","datavalue":{"value":{"entity-type":"item","numeric-id":2892750,"id":"Q2892750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$23AE5882-B669-4355-B5CF-7CB1796FB3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e1b57f934a5ea607e669ba21b3d69c7da2cfc1","datavalue":{"value":{"entity-type":"item","numeric-id":3100198,"id":"Q3100198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$694E598C-E0F6-4CB2-B09A-7A0481165411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f7ad8cc10849a1920dd6692a0c02c4dc618550","datavalue":{"value":{"entity-type":"item","numeric-id":4571963,"id":"Q4571963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$081DCC36-DE22-47AA-8F0E-C590AC9390FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$D30A9213-CC5E-4D59-BE4D-C4703C1DA3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef718ed05d1cac656de52bc69376ec7eed12c8d6","datavalue":{"value":{"entity-type":"item","numeric-id":5487879,"id":"Q5487879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$3B006E73-5264-477A-8703-DD7E8DCC4E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$D62C45C0-85E4-46C3-A25F-4D8711AC1075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7086935aa9ce316936bf9dc2793c2f983d48890","datavalue":{"value":{"entity-type":"item","numeric-id":5466792,"id":"Q5466792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$FC0EB6DA-EADB-4083-BC6A-317EE60EB9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$0FC187A3-CD6C-4372-B6E1-0B3776B702CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$15C3A6C3-57C7-4C4D-A8F5-FEFBD140F380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$0705E24A-6BB2-4BBE-9223-56F9983127E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827317bb2e92396671730e13e22367e2721f7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5168904,"id":"Q5168904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$B15F4D23-EBEF-41EE-ADD3-1800FD42BA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca12ff033a37ab722fa4cb716981e858b6214e8","datavalue":{"value":{"entity-type":"item","numeric-id":598201,"id":"Q598201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$C87F1260-A901-4C79-A6FD-249487D2C51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a50380469f7bc9bd4d1158c18ace80a10b84dd","datavalue":{"value":{"entity-type":"item","numeric-id":997996,"id":"Q997996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q476190$AE939830-F8E0-4865-B486-10EA119C64E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44c04e4ee10d74e60ab66bbc179099ad9a52175e","datavalue":{"value":"10.1016/J.IC.2014.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q476190$351B9D59-10A5-4201-B417-95A36D07EE08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6633fae510dd674273d2adf855febdfa24dd100","datavalue":{"value":{"entity-type":"item","numeric-id":2892750,"id":"Q2892750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23b8d079a57ae26369b43ca4154ddc7d1787be1","datavalue":{"value":{"amount":"+0.97052217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q476190$E6542DD8-8224-48ED-BE03-C38A1887907D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4378d6cb9757772bdcd6ae9683ef0e02d8500d","datavalue":{"value":{"entity-type":"item","numeric-id":3087436,"id":"Q3087436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f989aa522c64584429a69c34bacd8298d35b5a4","datavalue":{"value":{"amount":"+0.90311813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q476190$60532F48-F44F-46CF-A418-065E83A3C604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33cf822c8e8adf0d894e00a32bc577a0390f9c44","datavalue":{"value":{"entity-type":"item","numeric-id":2931809,"id":"Q2931809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13ccf5e35530a85b9e768a7dd270bdac7f988a4","datavalue":{"value":{"amount":"+0.899793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q476190$BC291BE1-7C4C-4F11-98EE-6E8680444BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672f29822fb438166b1828c03926f62031488db5","datavalue":{"value":{"entity-type":"item","numeric-id":4917995,"id":"Q4917995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599ac31fbf3640ffc7615bbb242d8e8b0c167031","datavalue":{"value":{"amount":"+0.8960374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q476190$8F305B87-244D-4A36-8219-04E2F3E812C2","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":"af2315fb7d5ee81004e0797828a356daf93cfe2d","datavalue":{"value":{"amount":"+0.8902015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q476190$676EB9D7-2B43-4449-9E86-4C59F2239D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e9d82e4af24c8830c90703b47ebf0e3ce5ccf2","datavalue":{"value":{"entity-type":"item","numeric-id":731895,"id":"Q731895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6d125a12301f837e8f7e0f1c394798a62a1096","datavalue":{"value":{"amount":"+0.8873655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q476190$4AB75527-41A1-4CEC-ABCA-FA83CE1926FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77425730d35a860dd3dfd4bd403dd86d0943a98","datavalue":{"value":{"entity-type":"item","numeric-id":4499249,"id":"Q4499249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7afa5718ab343a18b371d33908d6f5e6e716eaf0","datavalue":{"value":{"amount":"+0.8849916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q476190$D6F4135C-B704-489B-955A-743B6A327EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee04dd8c5cbe0df74580c97fad466feff2ae68b","datavalue":{"value":{"entity-type":"item","numeric-id":1652969,"id":"Q1652969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e38026bcb37204aa5443b4a29868290072f58b","datavalue":{"value":{"amount":"+0.88290703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q476190$DA07FD79-D5AE-496B-9956-303EA825907D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e834a75485204a10423261ef7e2c572b4606435f","datavalue":{"value":{"entity-type":"item","numeric-id":4251120,"id":"Q4251120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba52468599e4e99ae755926f3323f32b31e91a9","datavalue":{"value":{"amount":"+0.87717104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q476190$4B6961D6-3EE6-4177-99EE-FC76EBEAD100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be6e4690953a4de13c020298adf5656f1868960","datavalue":{"value":{"entity-type":"item","numeric-id":3358716,"id":"Q3358716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d474030d1bc57f245a4663b0cde83b7ab5e7d2d6","datavalue":{"value":{"amount":"+0.87498087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q476190$DE20D15F-64D4-47F8-AE7D-9958C120AA28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear logical relations and observational equivalences for session-based concurrency","badges":[]}}}}}