{"entities":{"Q6535693":{"pageid":14146836,"ns":120,"title":"Item:Q6535693","lastrevid":95493899,"modified":"2026-06-05T09:09:20Z","type":"item","id":"Q6535693","labels":{"en":{"language":"en","value":"Complete multiparty session type projection with automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798106"}},"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":"Q6535693$255E2D62-E10C-4BD7-911B-133F86BD9468","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43c415188652615eb274c751885fe68ef7e27130","datavalue":{"value":{"text":"Complete multiparty session type projection with automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535693$7EECC8F3-A94B-4DDD-984A-C5B0019543AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc51f17061b116df0587b00b47c4acd5f2075c14","datavalue":{"value":"1547.68506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535693$66ABAB21-0D15-45CF-9F25-BD278F321A0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c67759887ffac628801f24f24348185904623b23","datavalue":{"value":"10.1007/978-3-031-37709-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535693$BA3556E3-184C-4E42-BEC2-F7B7F6D4CACC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c622133b783982b047a82e1e3065b879dabdabfb","datavalue":{"value":{"entity-type":"item","numeric-id":6535692,"id":"Q6535692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$5A189A19-1B30-420B-A028-10B882AB3DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97163a0de8df1444394f5a4a7dce381634d582d1","datavalue":{"value":{"entity-type":"item","numeric-id":5089297,"id":"Q5089297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$D77ABF6D-B205-462D-BA7D-36F005C2D88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6149158a5043f35da69d3f3a654f45af834eb489","datavalue":{"value":{"entity-type":"item","numeric-id":286733,"id":"Q286733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$4E74FC0C-0506-49D8-A25A-7F0BD7053607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d1a334f4c9c20683ee87869e54286898664987","datavalue":{"value":{"entity-type":"item","numeric-id":1784330,"id":"Q1784330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$87D6B205-4D05-4FD1-9896-B80F47D5B34C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535693$86F17E3A-B073-46B0-9FD8-BB65E35B7258","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535693$6AE8F206-A078-4F3C-9576-BAD7A15DFAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535693$94703363-E102-43BF-AE7D-3E8B313133B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3282bde4b3a1b7dcbe551fba1aba6c1bdcd1e206","datavalue":{"value":"7798106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535693$8905EDB0-A2C0-4749-BA5B-68B32FB30773","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535693$22045350-5F13-4979-83AF-8E68CC4257FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a6bb47617bde1a2910a8986ad5cc33935bfc8f8","datavalue":{"value":"multiparty session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535693$35004E5B-FD21-436F-A438-E300290DABBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e22bedf61d0cf925adcee018fcb0d23789592d5","datavalue":{"value":"communicating state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535693$6E35BC2E-F98A-474B-B123-681ACD24CC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4cf7524cda3da4f88e5bf066fea0bfc246efb7d","datavalue":{"value":"protocol fidelity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535693$12A4439C-CAA6-445C-8214-B370F811C843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e83f52178ed96da8aa30580e5d93e51d8336ebe","datavalue":{"value":"deadlock freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535693$EF646F6A-7B26-4BA2-9E3C-4A7EAC028CCD","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":"Q6535693$B0BF7B14-5FEC-4EB1-856E-EEAA355B9D89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ea93379217a9c3ce7d613097d4f2558681f79c","datavalue":{"value":{"entity-type":"item","numeric-id":4635872,"id":"Q4635872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$0E62FC37-FA52-449E-8315-843214031587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2182b7779cb179b39a2d6903978c52b8f514522f","datavalue":{"value":{"entity-type":"item","numeric-id":1770427,"id":"Q1770427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$713BC114-F56B-43DD-AFEA-89D81DA1BCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$26BA1FD9-4900-4E8B-B7AE-A35FF58DC1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4d4a32a22b826000ccb5aac1b591fcf7f26502","datavalue":{"value":{"entity-type":"item","numeric-id":6587145,"id":"Q6587145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$8568906A-0DD2-4F60-A7C5-4A346CCE0332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea2755147c734fa04bd3a35b4904da741f401c4","datavalue":{"value":{"entity-type":"item","numeric-id":5357710,"id":"Q5357710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$D108D336-5CED-4B89-8A36-6BA6C2E5FC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed6075c8055584ab0c70e7d140647001c83ce6e1","datavalue":{"value":{"entity-type":"item","numeric-id":5089316,"id":"Q5089316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$B8E4B644-012E-48D0-B325-CBCFE9BD3F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$74A17FD4-BC74-449A-9B6A-E675C5BB0914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b666f80cd69278d3fb19208e2673192a6a3c25c","datavalue":{"value":{"entity-type":"item","numeric-id":1704600,"id":"Q1704600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$774FA131-2C99-407D-8ADF-EECE21112F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edbf329f50056a083c22cc217d9b573627af5b00","datavalue":{"value":{"entity-type":"item","numeric-id":2881091,"id":"Q2881091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$9B0CC1B5-A004-4DAC-A72C-223CA2D340A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbb5fc0f424362cd91e219da1f268b5db43f7a4","datavalue":{"value":{"entity-type":"item","numeric-id":2573635,"id":"Q2573635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$BE2919BC-A59F-4E0D-BFCF-8D5CF88B7CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4679e9d355ce9b79d3048e6fa8de9d2a93c55e8f","datavalue":{"value":{"entity-type":"item","numeric-id":5278078,"id":"Q5278078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$747383F9-07BF-4931-A80A-07257EBE1559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7ec33da9a073e80166392ebe6e10629ee04da2","datavalue":{"value":{"entity-type":"item","numeric-id":2822666,"id":"Q2822666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$EA5411EF-F8BD-44EC-9251-B9B389CB8FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7249997795b9d02768ef290f3b6e95e3bd93aadf","datavalue":{"value":{"entity-type":"item","numeric-id":2892728,"id":"Q2892728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$758C2E4B-2238-477E-BEE5-6DC6075DACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1676ea40b686135e06aed5ceb44a39822dfccb04","datavalue":{"value":{"entity-type":"item","numeric-id":5327432,"id":"Q5327432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$BEE6F691-0EEB-45F9-8573-8D5BA6912E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b409aa39434ba35fd46796ac1f503e29071cde40","datavalue":{"value":{"entity-type":"item","numeric-id":5894960,"id":"Q5894960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$730BD5EE-AAFD-428B-979E-3BFE64EE190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f092966db210c9a9c9270bd8c548e203adf45991","datavalue":{"value":{"entity-type":"item","numeric-id":3504343,"id":"Q3504343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$248A4B2C-6A5A-44F3-8A5A-D380DA19B55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$F9AEABFA-6F6A-48A7-8208-4155E8171C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d39ce1166ed8688f5a3ff4d50ac0dd3247c7457","datavalue":{"value":{"entity-type":"item","numeric-id":2233467,"id":"Q2233467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$63EAB035-AA7E-4C69-9C4E-AEA54D286983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$968A86B8-DF20-4875-B817-4FE17BB80549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277a4096ddaed12bd51e78a0b2eda53e3b646500","datavalue":{"value":{"entity-type":"item","numeric-id":2988385,"id":"Q2988385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$1D51B1A2-CDCA-4B80-8C6B-E163CFC32D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c977d0e481d0f8440711f27481df81c4b727d21","datavalue":{"value":{"entity-type":"item","numeric-id":6154577,"id":"Q6154577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$E4F02CBF-2095-45A5-9E16-A435F3061973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496904a7aec6b2a23f24302c9b77423ccc228f13","datavalue":{"value":{"entity-type":"item","numeric-id":1884911,"id":"Q1884911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$2DF435C3-B258-4DF4-B42A-2C170B068047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e83afc40b2c84158d68f744a1022b6e0d38ba","datavalue":{"value":{"entity-type":"item","numeric-id":6176120,"id":"Q6176120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$9F74813B-7A32-4B92-BB8D-0CF04B6C61BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0126c414571757a7ca2110b0bfbe8eea62391e41","datavalue":{"value":{"entity-type":"item","numeric-id":6612287,"id":"Q6612287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$1EA7CC29-EC91-484C-9C8F-D0E437352E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d668c3538345487e0c265ecf68f834af72514c","datavalue":{"value":{"entity-type":"item","numeric-id":1323365,"id":"Q1323365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$D0AB8A33-00D3-43A0-92B4-E3E8ACDD3E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2db012c4d6fea5f2f0ab697080998063a9635aec","datavalue":{"value":{"entity-type":"item","numeric-id":1647963,"id":"Q1647963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$1CFD3045-FAB6-4AA0-B4BB-3E501F27EC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5633dc378df1ccdda0adaff0fbd673e8d6c0e9","datavalue":{"value":{"entity-type":"item","numeric-id":6191022,"id":"Q6191022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$AE82F552-F143-4A86-AF92-878394F31B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f64ad8affd0505ef0a04386ab96543a2366702","datavalue":{"value":{"entity-type":"item","numeric-id":2985795,"id":"Q2985795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$D081F53A-2AAF-478D-A13D-5325597D351D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac10ddc61831b5d6f96e72b7dcb9e503d7589078","datavalue":{"value":{"entity-type":"item","numeric-id":2360653,"id":"Q2360653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$672A974D-A41C-4632-81C1-9358FC66ABB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3d28acd643d396b152fcaf01bfc8613dfbfd42","datavalue":{"value":{"entity-type":"item","numeric-id":5458334,"id":"Q5458334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$B426007E-EA08-49EA-8DDB-465C856CAEF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c6736020e18ea9a02e907fd58a86ebc9050799","datavalue":{"value":{"entity-type":"item","numeric-id":5327432,"id":"Q5327432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdce58d175b8bead0e26f8f6e795c36f2441cf6","datavalue":{"value":{"amount":"+0.8120207786560059","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":"Q6535693$1752ED05-7456-4A9E-A307-1DC96BF7D50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7ff116053c0cba4a0d0941bee95e0c611e650b","datavalue":{"value":{"entity-type":"item","numeric-id":2140476,"id":"Q2140476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1df263ecb60ce1b3bfe9f0aab3fb3c294db7548","datavalue":{"value":{"amount":"+0.7898191213607788","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":"Q6535693$483A15CF-AE09-4CB7-B66D-55A3737A8419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7710a4681315cc6baec577c6f9e749ef46e36a29","datavalue":{"value":{"entity-type":"item","numeric-id":1647963,"id":"Q1647963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60aa84121eb548f48219ac0c7a4b8071eb507f7e","datavalue":{"value":{"amount":"+0.7879541516304016","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":"Q6535693$B9A4510F-6EE1-4898-980B-9F7FEF9F7956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa859640a5a3f3b25c3c75b4759d7e1ad4c0a69","datavalue":{"value":{"entity-type":"item","numeric-id":5041094,"id":"Q5041094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84e9f0f7b329c2b6e9a7f9041826415577f8ce7","datavalue":{"value":{"amount":"+0.771648645401001","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":"Q6535693$A323FD64-EA23-4DEF-9AD7-C99DF2280319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6986eaf3a6c20ebe60e0179d79f575ebc7f76316","datavalue":{"value":{"entity-type":"item","numeric-id":2360653,"id":"Q2360653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879d3ba357fd9041ff373cb169f23c5af295c704","datavalue":{"value":{"amount":"+0.7613559365272522","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":"Q6535693$B3FE7F51-8A19-4316-AA3C-A1C079614A9B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535693$4E5B22C2-E5AE-4EF4-B8A6-96DBBB2FACE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete multiparty session type projection with automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_multiparty_session_type_projection_with_automata"}}}}}