{"entities":{"Q5164167":{"pageid":7193738,"ns":120,"title":"Item:Q5164167","lastrevid":56690661,"modified":"2026-03-18T21:29:16Z","type":"item","id":"Q5164167","labels":{"en":{"language":"en","value":"Deciding the bisimilarity of context-free session types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7423366"}},"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":"Q5164167$FD843ED9-214D-4C33-AA73-10F8E25784AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"618f1f46946e3c2c3f3cb91146425a398191d347","datavalue":{"value":{"text":"Deciding the Bisimilarity of Context-Free Session Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5164167$7FD63FF5-1B5B-4E87-B8BC-536FEF18F112","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3df57f6efa98461e6cca1dff1548660686a02489","datavalue":{"value":"1483.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164167$C8E56B74-FA04-49A7-A4FC-948CDDF63170","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f2e0ac85bf2f9d8768bb7ad02234f638128e403","datavalue":{"value":"10.1007/978-3-030-45237-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164167$DA5D08E7-92E7-4ECD-A927-CED3EDA6C01B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a97cec48123394c7dcce58952e50ac3467a5f16c","datavalue":{"value":{"entity-type":"item","numeric-id":1667400,"id":"Q1667400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$496FEF8D-C32A-4764-8747-FD15B85887E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"313138ce8793b675f301c60a9d0989af3a7ea123","datavalue":{"value":{"entity-type":"item","numeric-id":1744441,"id":"Q1744441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$135C0C8E-69B7-40B7-99D5-11719B263A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e24206e48bfa64d206114cfb99aae3b6caf361","datavalue":{"value":{"entity-type":"item","numeric-id":1352124,"id":"Q1352124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$D047D84E-1496-49F5-AB0E-E02F0FBEDFA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$AAEA81BA-A35E-4F29-99C1-452EA2095D3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41df14f190dd9eb0cc664848f84d930123fd453","datavalue":{"value":{"time":"+2021-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5164167$8494B813-5008-40EA-A4F2-87D65904D832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164167$BE9B02BF-FA60-4ABB-B4D4-C1486FD28998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164167$72705E6A-61D6-49E9-915F-10433218F874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164167$50FE24B1-AD64-41D6-9E5D-4709767F133A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8588c55a24b3ce7fe3546cfa7f20134ca55179db","datavalue":{"value":"7423366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164167$AFF2290A-44C1-4912-B101-5A9859771772","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164167$40B3BD5A-DD1C-4CAB-A7D4-3B3E88310FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"906a6ed8f2831e7a64853455c4a60488042a34d2","datavalue":{"value":"type equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164167$B98232E1-4D65-4847-B543-3E0A069EE4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164167$CF063A21-4E8D-449C-93C9-4507D07EF151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5164167$959FFD59-814E-4C8E-9401-7398ED3E1E01","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":"Q5164167$B328662F-5E1C-48CE-850B-52C3EC944DB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36b4e7107556adcbd442506d0bb576eb9e054fc4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45237-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5164167$46AAA8EF-E470-4ABF-B0DE-03DB43C43478","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e5cc081f819bcb93661604a1658b67206bb9068","datavalue":{"value":"W3017168772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5164167$E446A67D-E843-4010-985D-BDF315299314","rank":"normal"}],"P223":[{"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":"Q5164167$13946EF4-2012-4D76-AFC1-CF306F9D7CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$468F7844-431D-4202-9FAD-34EEB15D520E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$BF59D74C-D67A-4825-92B2-F1DE147B599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f738da761537d671b2ca3e58f0690c82693f32c","datavalue":{"value":{"entity-type":"item","numeric-id":4571996,"id":"Q4571996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$72C66526-2D07-4D9E-B0F2-A50E08520DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$587EB8D7-B8A8-4BD7-B10A-9B5EDAB935D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca02d51d8bc093004c21374e170db7c4c48069f","datavalue":{"value":{"entity-type":"item","numeric-id":2988669,"id":"Q2988669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$39D3C12A-1C87-478D-B893-D2CB7E38EC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697fcba366f2988614b3fb869ff875cbd5028ead","datavalue":{"value":{"entity-type":"item","numeric-id":1943623,"id":"Q1943623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$47FB56E4-DC95-4959-829B-2B55909CF4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49a3866831aee495aad82ea58299dfc0e75995e","datavalue":{"value":{"entity-type":"item","numeric-id":4270051,"id":"Q4270051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$3705569B-37E4-49FC-9277-82FCA359A409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60c751c6f297839d3dfc43e4d3c3a3d76dff8b0","datavalue":{"value":{"entity-type":"item","numeric-id":4913773,"id":"Q4913773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$3C5F60A9-3722-40C9-B71C-BFE04439B605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962e9c9e908857c01f015040923ff3798580fede","datavalue":{"value":{"entity-type":"item","numeric-id":3532999,"id":"Q3532999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$A0F911F6-A3BA-48CD-972E-324C2A7FEEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21004028781a3f321d3a8c9ddc142b01afd3d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4937113,"id":"Q4937113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$529597FB-EB48-4EFC-A889-03189F0D6EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e9da128cf0bc00b4afad4ad9c84331a4d798a9","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$AB7CB6A2-C852-4ED3-84D7-16BEB7454FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d7c0b21b38c9a108a26f3cc47de45e394d40f9","datavalue":{"value":{"entity-type":"item","numeric-id":5327493,"id":"Q5327493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$FD45CB61-CF81-482E-9CDF-46BC34ADC85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af397c089a22cad0ad4f1100de3dbef8c4a60a2","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$54DB8B9E-0485-42DF-ABC1-8070C754D25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7285ddb2083bb0a95382c318033824444f8d30d","datavalue":{"value":{"entity-type":"item","numeric-id":2908855,"id":"Q2908855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$541662E7-668E-4524-A288-C80AD5E12265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$B27F3C4E-AE22-402D-A36F-10754C9B84DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e53b524783342ef77e9ab35eb1d97ad2f84d98","datavalue":{"value":{"entity-type":"item","numeric-id":3727408,"id":"Q3727408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$4DE649A1-83C4-4A24-B02C-9CB70E06F1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6711abcc32734b5fa9098c7551fe71202907c48","datavalue":{"value":{"entity-type":"item","numeric-id":3569030,"id":"Q3569030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$CA7EC9D1-6923-4D0F-A945-973989B0B51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$2AF97FB1-0BF0-440C-BB2C-9444219B2727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5164167$0C75F1CB-A2A5-4715-9E68-8854F8CEB61D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bbcde98b21768c1e7fa49f54800219888773b0","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b860ccc8fc05579b7e3e6d064a179814486bc2","datavalue":{"value":{"amount":"+0.801110029220581","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":"Q5164167$F1AF8FCA-0039-4818-80C1-67073699B760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f1b308f63416a58e9999339e51f912a993831e","datavalue":{"value":{"entity-type":"item","numeric-id":2908855,"id":"Q2908855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d81e4699442a7a68f4a3a809e3271f437fb5e7","datavalue":{"value":{"amount":"+0.8003510236740112","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":"Q5164167$B26EE4CA-AF14-4CD2-84E5-1C86081216E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67419e87423ca3b09e38cf30c89d3b05c97a349b","datavalue":{"value":{"entity-type":"item","numeric-id":3569030,"id":"Q3569030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d7f78e50278d9ec2a4fa0e4f959a819f28d362","datavalue":{"value":{"amount":"+0.7958185076713562","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":"Q5164167$E1364464-1A15-4176-A51A-5081D3360E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33884c73c27d2b86db3d60362b4715149e1d1ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4209294,"id":"Q4209294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073cbb38f4a4c3b6a6fc3212c356005640f10b54","datavalue":{"value":{"amount":"+0.7822824716567993","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":"Q5164167$F5EBA7D0-1C30-4DCE-A71C-01EB2FBC789A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8846abf14a40e28aa43e63051c89da0a454e9775","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90077ed9725e6fbb76d4e145c4d1f15c48416aeb","datavalue":{"value":{"amount":"+0.7802630662918091","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":"Q5164167$79B99EFD-84E3-413D-8856-D5AF6C119446","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":"Q5164167$8D838CB2-A818-434B-A3CF-7743E3277E9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5164167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5164167"}}}}}