{"entities":{"Q492908":{"pageid":494675,"ns":120,"title":"Item:Q492908","lastrevid":62251578,"modified":"2026-04-11T04:48:26Z","type":"item","id":"Q492908","labels":{"en":{"language":"en","value":"Reversible session-based pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6474616"}},"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":"Q492908$B014A632-330F-4AE5-BE46-F7F6CF2A38A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f33a6259f4297f1be8a28553bc8fdbfeb6062acb","datavalue":{"value":{"text":"Reversible session-based pi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q492908$258B5E69-043E-4A30-AC09-B429C9246CBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c0c273972bec0f5cd2c997b1ac78c7750341af0","datavalue":{"value":"1337.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492908$79B85814-D064-48AF-A6DD-EB5CBC371070","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cfd685dab2eb6d8bd66c9db34b7db2842aa5f12","datavalue":{"value":{"entity-type":"item","numeric-id":492907,"id":"Q492907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$626095A4-059E-479C-B4C8-9A529D953591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$ED77F3EE-6213-4409-ABBF-5309D3D493C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$64005BB4-D8AA-48D4-9DAA-E04D11B9E1BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e463a3f76b72914d69100f109f02e2f624263f82","datavalue":{"value":{"time":"+2015-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q492908$98D68A3E-0600-43BE-A16B-50F49B1BAEFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492908$53AB5827-BFBB-491F-9A6C-583010878F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492908$77B78989-F3CF-4B7F-93C1-94188427605C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"803123255a0936a2d79ff80c017eeebeee138e1f","datavalue":{"value":"6474616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492908$43913A7C-2470-4F5A-B54C-C4596E428045","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b681b4145c9fcdb8c1a25739bacb3d3866714f","datavalue":{"value":"reversible computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q492908$47B8C929-34B4-4103-A74A-A9054D31DD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q492908$5B179DAD-76F5-429D-BAF9-D1A1961FEA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfc9efe2708426c86c41393e21566b41f4f22c1","datavalue":{"value":"session types","type":"string"},"datatype":"string"},"type":"statement","id":"Q492908$4832935C-5C92-4A86-B4D8-1D0973D61B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2cec6aa2791e00f3f29e5eb90eb203da55b40c5","datavalue":{"value":"session-based programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q492908$47BB1A37-EA5B-4D8F-B63F-9553EE8E5558","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$413CD193-6434-4938-B370-A09E27A54D12","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":"Q492908$0D6FFBE5-46EE-4B2D-90DF-8006C766A892","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eb9d74426bd36735c6fc54ca6fcfe06bdd163a2","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.03.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q492908$DA763509-1C7F-4F78-9B83-5422A696F429","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1515c0b7f09bafb7cf4dc896481b9bf3c8d69a50","datavalue":{"value":"W2110010771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492908$421DF0C1-1556-44BB-8AFE-A9E0CA5E4723","rank":"normal"}],"P223":[{"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":"Q492908$7B0773B3-F46C-49D9-9FAC-70AF69EB44C5","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":"Q492908$5827041C-D0AE-4370-9E7E-ED22A9E9C7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a0f0b42e72fda0f581b376bc9cf7570d77fd","datavalue":{"value":{"entity-type":"item","numeric-id":4170199,"id":"Q4170199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$D16942AF-B5B0-4EEF-B4DE-888BBCF484A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$EC11DA6E-E16C-4A8D-B89A-753F7808ACC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$E7822A12-B869-4EE4-BDE7-565F54B326E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3f1ca7245db78f2e0e2c3e3e3ff67547573345","datavalue":{"value":{"entity-type":"item","numeric-id":4911790,"id":"Q4911790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$C945C2F5-6699-49BC-A0ED-93F262C9F1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17081fe095c590c589b563d405453c57531fa930","datavalue":{"value":{"entity-type":"item","numeric-id":4967172,"id":"Q4967172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$95E5A447-7C0E-49B3-A3E1-CEB27CD46952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91d8d3ec3b030f52ccf9e125c5e2b260eeeec18","datavalue":{"value":{"entity-type":"item","numeric-id":5897497,"id":"Q5897497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$83A68330-93BD-4973-9CEF-D553E81AEE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f62633a63536bdf4fd8946a7c1c2ba332f1a93","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$E4B01287-20AE-4A9C-A5DD-F79340011EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$59CE92A5-1171-4389-A261-ED8BE8BA1800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$69ED3B6F-C452-430B-949A-916F9E94344B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0239a5cb6fe7b2df7f0c9a2c61f9b1afb238ce62","datavalue":{"value":{"entity-type":"item","numeric-id":3584950,"id":"Q3584950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$4741FA46-E838-4E6D-8529-7988621F7D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$874EF618-449A-4695-B419-E18D1960A810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c45d830275a4a379c3d68f31c25ab39d3810a9","datavalue":{"value":{"entity-type":"item","numeric-id":3090837,"id":"Q3090837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$5D13715D-25F6-498D-8B2B-719143FE0545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1c37a41b0324c8e2737dc22a8750ce61f1fbdc","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$395B5C03-C2C0-48A9-A54C-E9C26BA61CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36d027cfc80339c900d67fdbde86694a39c3321","datavalue":{"value":{"entity-type":"item","numeric-id":3637196,"id":"Q3637196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$F9D226E9-E1AA-4ACF-95FA-4F1BAE8CF450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409c4aa268eb499f4515cd52c2ceda83891381cc","datavalue":{"value":{"entity-type":"item","numeric-id":5428903,"id":"Q5428903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$7F7F7A12-AE9E-45CE-AC6A-5F406FC83400","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":"Q492908$BA1C862C-A88E-4AE8-953C-2E7F79ED5082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d7748cf4a441fc8e083babc0a95394d72d81fe","datavalue":{"value":{"entity-type":"item","numeric-id":925319,"id":"Q925319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$452D49DB-D2C9-47D5-A898-C841C144AF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e675c984c3148c28f1bb3ca99bbdc1b208c3bb6","datavalue":{"value":{"entity-type":"item","numeric-id":615952,"id":"Q615952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$38AB215C-2477-44C1-934E-5FC3ECCB0FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf00247deb4ed99928377c84b86fb906a1d8625","datavalue":{"value":{"entity-type":"item","numeric-id":5740659,"id":"Q5740659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$7A066F7B-AEBE-47E5-A400-F40B67F8BF47","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":"Q492908$535F5E6D-5636-4F78-950F-89197D085849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d890132b51f25b4782527e6e3e488b70b825c88","datavalue":{"value":{"entity-type":"item","numeric-id":3453755,"id":"Q3453755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q492908$D961D5A5-1F6F-439A-BFC2-157649C90F48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f540ca4ffdb4d508786360d5bd311a76bba7933b","datavalue":{"value":"10.1016/J.JLAMP.2015.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q492908$8E377626-2589-44C4-AA5B-BAC805ECE56F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bf7bd61bae9fa0889166ee285a4f796666bc37","datavalue":{"value":{"entity-type":"item","numeric-id":3186584,"id":"Q3186584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645fcdc98dcc512d34a0161f2d03c043d7ffdf6b","datavalue":{"value":{"amount":"+0.8562544584274292","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":"Q492908$7663C05F-5465-4F32-AFD3-D1D4DB73558B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdbebf16f29b4679fd974d7ffd641e8b3c964ad","datavalue":{"value":{"entity-type":"item","numeric-id":5111644,"id":"Q5111644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e84a88bf2a792b91ae5b40ab25455dad9a2f2e6","datavalue":{"value":{"amount":"+0.853792130947113","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":"Q492908$418346C6-AF03-4EB1-9F30-541F1C517684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dcb494261e0fef6fb1fb9e4c698964c95e10414","datavalue":{"value":{"entity-type":"item","numeric-id":2329306,"id":"Q2329306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c4c945e2f7f0f5b2f3a5c1084f78b0b8489d60","datavalue":{"value":{"amount":"+0.8505784273147583","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":"Q492908$48459FA6-2177-40F9-A278-E92F06013B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b72d4db2b113857b2193739b758063ce85192796","datavalue":{"value":{"entity-type":"item","numeric-id":2360649,"id":"Q2360649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0579f06dbff719786a7229720d1537dc4d8702","datavalue":{"value":{"amount":"+0.849571943283081","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":"Q492908$D0782187-A527-44F0-836E-CF11671E92D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a04630b1bb1716af720cffa88c6dd00c07e0d69","datavalue":{"value":{"entity-type":"item","numeric-id":264996,"id":"Q264996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d2ee693d2a4cb5028274324811cc75efcb10e4","datavalue":{"value":{"amount":"+0.8298774361610413","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":"Q492908$84090BAA-527D-4EF0-A524-4285F0A4A765","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":"Q492908$100D4D43-46B9-455D-A2CE-16F1D8EA95B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reversible session-based pi-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reversible_session-based_pi-calculus"}}}}}