{"entities":{"Q5043586":{"pageid":7073163,"ns":120,"title":"Item:Q5043586","lastrevid":98346128,"modified":"2026-06-05T17:17:01Z","type":"item","id":"Q5043586","labels":{"en":{"language":"en","value":"Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7596575"}},"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":"Q5043586$AB3711D0-655C-48C9-A7C3-B0AD8FA2F001","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6baee0025bf53e9bb1e852d063c56384d2004509","datavalue":{"value":{"text":"Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5043586$6611DC7A-55BC-42B0-803B-49E715AAB4ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de9bed307c489db0a2c5d6f6fcbd2efbd2b96f11","datavalue":{"value":{"entity-type":"item","numeric-id":5043585,"id":"Q5043585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$9BDEF4EC-3504-4978-A836-F8AFE6267B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55eb18a73a628c8e09a659ca6d5302e982bf63c","datavalue":{"value":{"entity-type":"item","numeric-id":493533,"id":"Q493533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$722344FF-8955-4FEF-9EFD-88776E23B200","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$060D475F-5DE3-4828-88C4-FE2BBF6B02B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c4b8c625cce62e7d70a9b6e0084c4288e777869","datavalue":{"value":{"time":"+2022-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5043586$A06967F6-4003-4DEB-BE71-435DA065700B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01acf900cdf130d728f49800aa2989b99ce9ce05","datavalue":{"value":"https://arxiv.org/abs/2108.01503","type":"string"},"datatype":"url"},"type":"statement","id":"Q5043586$378B2BBF-FCE0-457B-BD25-BFAA8B966FE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043586$570FC617-2AFE-4255-BB45-496CC4282038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043586$A201B02A-9B9D-40ED-8F63-1BE6FBDC2FEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"880978dc4457039e932e9e92ae65086809f6955b","datavalue":{"value":"7596575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043586$0DDB3886-482A-4B26-B309-FDD87489883D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6d887dea02064be0360477cc5a75e3c7b45070","datavalue":{"value":"inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043586$B1F56C3B-7C33-4DFB-A47A-9C96AA07E6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043586$3D334515-4803-4D60-8020-814B1A1087D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043586$4F0BD92B-8EE5-4BD9-A2E3-796B1F9F826C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043586$6F477D02-0D73-4840-9613-EC308789972F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043586$CCFD1528-7207-4D43-91D5-073D3370FC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5043586$2EAD1869-47E4-4E92-83DB-5211D0856326","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":"Q5043586$B3772FCE-697C-4E0C-B540-F8214709C3B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3974b1be68d746ffc7c80e9a7728d0e556dae415","datavalue":{"value":"W3189323669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043586$67593D81-F578-45A8-A1F2-25F594815CF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbf87acd3350568cc9210548287e9db78aa6fe9","datavalue":{"value":{"entity-type":"item","numeric-id":2988632,"id":"Q2988632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$BB4EEE6F-AEA6-4218-964A-99B966F67AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$05155CF3-B459-4A38-B825-47C68002A9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$D866D814-C282-4B62-99FF-97EAC6963636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"714a008908dd44d78b4434df9b8762567f356fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5739895,"id":"Q5739895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$F5F5D933-AC9C-4FD4-95F6-DC20C8A9EAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$79A55F1A-9494-4070-87E5-4B6C9681E4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$B0007826-8DFE-4288-B558-EE4B43CE024C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa013172f0fb030c611d030fcf785ae3ee0093f","datavalue":{"value":{"entity-type":"item","numeric-id":6099600,"id":"Q6099600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$8DA16BE7-4299-47D5-BFF1-9EA637EAB30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9e8dc003b8bf5ba026715517286f559c6f5e94","datavalue":{"value":{"entity-type":"item","numeric-id":6099602,"id":"Q6099602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$6C0605F3-C94F-47E6-AE18-4686E0C01935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$2ABDDD5D-F5F5-4EAA-9571-0B1D1805167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f3b732b9b3d6dea2c57008741bfb2e3f76dd10","datavalue":{"value":{"entity-type":"item","numeric-id":5327448,"id":"Q5327448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$FDC8E5B9-E5DE-413A-8C16-C813F5AA6555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117ff983abbc8aed272ed7061716fc5569d9bdd7","datavalue":{"value":{"entity-type":"item","numeric-id":3121528,"id":"Q3121528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$7D907DCE-898D-4576-BAF8-AA13E93C5A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbdadc2f831ecaaf8965dee386f688025216c37","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$B783E691-8891-4612-BC0D-77ADBF321CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$F15003D7-EE81-4363-910B-32156DA667FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f846ab6e21c0945d1515060e899f12f8e5e07267","datavalue":{"value":{"entity-type":"item","numeric-id":3188281,"id":"Q3188281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$1D543187-BC19-4ECC-8330-449CC51244B4","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":"Q5043586$4367820B-796F-4CCD-AB74-55F46223EDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$A63D71CF-8265-4C64-9679-F216F28BDC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$D28737CF-DC8E-4024-B5DC-D80AB2BAF113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1fca1251b9a8527d1b796e2899a1aaef492180","datavalue":{"value":{"entity-type":"item","numeric-id":5137907,"id":"Q5137907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$2E0A09C3-7D58-4A24-8063-3FE3057E03AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$88E84F15-735C-4A89-A2EA-4E9332579A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$1633B1D2-4147-4620-93A4-F8D0DBA8F719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d9b02f32dd42919f21b5efc312d68c6e3aefeb","datavalue":{"value":{"entity-type":"item","numeric-id":5741567,"id":"Q5741567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$04498CEA-1537-4C6C-8850-358494BD834C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$57ED70E8-26B3-4E30-AA8E-DF1B358324EB","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":"Q5043586$6DC60E7E-1FA7-48A9-B389-74DC3AC07959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76488e08224206900795f7917be989a75ab2305","datavalue":{"value":{"entity-type":"item","numeric-id":2769443,"id":"Q2769443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$58435CF8-E32E-41CE-A52A-8DB21290F64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e1f39302fdfda0f86f3b06fe7c3d1ee3c07c81","datavalue":{"value":{"entity-type":"item","numeric-id":1652972,"id":"Q1652972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$FCA9CD33-1EA9-4399-B035-91ECD4670DE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5767753effe662e7bec1a2e8c8e64bcedf5a2bf","datavalue":{"value":"10.46298/LMCS-18(3:27)2022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5043586$8BE189C5-87D5-4C19-B28E-C0CC10C464DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5043586$10749A5F-F864-4B8E-A620-116E62305463","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b907f8633ff92b6a5320fbc17ed708d0b9ca3051","datavalue":{"value":{"entity-type":"item","numeric-id":5327448,"id":"Q5327448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0703dfac624e9457269a6b13d9eceba469a5f748","datavalue":{"value":{"amount":"+0.7415419220924377","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":"Q5043586$7368329E-7E76-4859-A215-897A2CAA2AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ad11072d3aa023acee6c45bcc74a9b1f07d773","datavalue":{"value":{"entity-type":"item","numeric-id":2827469,"id":"Q2827469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa4d4d62632fcbe14e85a5899c1e65d0926c201","datavalue":{"value":{"amount":"+0.7396425008773804","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":"Q5043586$179DA798-D879-4B1F-8955-ABE3EB35BDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c011cae306c6d493219b8bc09c0ccf7d9867afa","datavalue":{"value":{"entity-type":"item","numeric-id":5741567,"id":"Q5741567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db21cb88e7cd8d32544591056faf763d60eae054","datavalue":{"value":{"amount":"+0.7320567965507507","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":"Q5043586$BD1D1B8A-D9C2-4442-BAC7-D5D785A33CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e280fdbcafa933b0c97aa592c708d4f34186e05d","datavalue":{"value":{"entity-type":"item","numeric-id":2988669,"id":"Q2988669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ca5972c3667b97fd8f11c610c7a2ee0208c3a9","datavalue":{"value":{"amount":"+0.7120978236198425","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":"Q5043586$5C4656AC-1253-4542-A295-D627A28ADDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819958bde3dc83dd98ed5313d34828b638033956","datavalue":{"value":{"entity-type":"item","numeric-id":4995157,"id":"Q4995157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0738e70526d0e88849183d29f4df6c4562f3021","datavalue":{"value":{"amount":"+0.7118588089942932","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":"Q5043586$1D9704B4-D3F7-4400-8A85-E796C45E15D6","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":"Q5043586$3CCCB0D1-1C6E-414E-BD1A-90E34B4ED1D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types","badges":[]}}}}}