{"entities":{"Q264996":{"pageid":266763,"ns":120,"title":"Item:Q264996","lastrevid":60587673,"modified":"2026-04-10T17:54:27Z","type":"item","id":"Q264996","labels":{"en":{"language":"en","value":"Reversibility in the higher-order \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6561877"}},"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":"Q264996$F9E4DC87-4921-4F98-B44E-16D391370C8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b404eff0a1143f9e1e93b4acf09b822fc6c571bb","datavalue":{"value":{"text":"Reversibility in the higher-order \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q264996$0E642076-EFA7-4E33-8F67-03CCDDB4943C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b48340eff301e79951a3855d0e72a90cbc7e646","datavalue":{"value":"1338.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264996$A4A03C53-B997-44DA-A248-BAE85AC47C70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"519b3a73881d25edb8159f51f3863169460a8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":264993,"id":"Q264993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$13925E3F-0134-4D09-A89D-0E3EE3D22420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6bcbecbf535f456e0a183c5992b5c2f1360f691","datavalue":{"value":{"entity-type":"item","numeric-id":264994,"id":"Q264994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$117078D8-DDAA-4C53-BAE8-E9477737A35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81fa914816673215f0fc2fbca4f9fe394b7c3d9","datavalue":{"value":{"entity-type":"item","numeric-id":264995,"id":"Q264995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$C95A1370-5E03-4954-8669-8B14A3338B89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$1FD0544D-1160-4D50-A0CF-D67FA070C8A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016d40ec0ad7082f724ffc91cfd4611759c1ca20","datavalue":{"value":{"time":"+2016-04-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":"Q264996$FB157AE5-FFBA-4E6D-8ABA-B71CA5036DCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264996$9403ECAE-03CD-4024-A897-1C7413F3C476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264996$8514CA10-7604-4983-B3C9-368E543C88E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d3ed57ac651b21b8b7c66d4443b287b494452a6","datavalue":{"value":"6561877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264996$1BFF0508-1B99-424A-A3CD-C8747A696415","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q264996$3744F9A9-05D4-4F32-B87A-9975ACBA2A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q264996$7802539B-5556-4E1F-A34A-F2CEC3011DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q264996$41F4F662-25A5-4BB9-BA6D-8D5507344235","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":"Q264996$DED613A7-79F0-404C-8EB9-596126FB958C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfeb1ce870aecd0eb5c3e3b9dfed6a47ea94b991","datavalue":{"value":{"entity-type":"item","numeric-id":5973013,"id":"Q5973013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$B39CFA2B-725F-491F-849D-E2C81883C29B","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":"Q264996$E2836BA1-4980-46BD-A9C5-F11A29CFAE45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d762f997a7484cac4f252d2271655244ad66ba49","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.02.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q264996$2A6975E1-4896-40EA-AB0B-3049F52C9990","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec83730d0af5aed18418e71cef6a4c9465e04ab9","datavalue":{"value":"W2284037492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264996$D9D7DFC8-01C4-4F81-BB4E-9ECFA3474CB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5d30377b1d88f6fded624586a0306b8b2d38d","datavalue":{"value":{"entity-type":"item","numeric-id":3629225,"id":"Q3629225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$8886BBAB-B5A6-47EE-AAD2-529338B2E1E0","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":"Q264996$870A9B2D-C8CE-4E12-9575-BF762EE16B44","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":"Q264996$6D783FD6-C75C-4EA6-A158-FB587F5495C9","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":"Q264996$6B24798B-09E5-4BDC-9A72-80C4CD285255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$5546B9A7-D64A-4CEB-BB81-EB7E8C026154","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":"Q264996$6C62DFC9-6FF2-4B92-A563-F53ADC8695F5","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":"Q264996$379322E3-87F7-43E3-A8D0-E3D18AEB0C03","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":"Q264996$9954971A-FD44-43CE-BDAF-1EE6A1ADCC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b9b705b2d3314a12c9015ccbc96b8bf7dd7b55","datavalue":{"value":{"entity-type":"item","numeric-id":5326296,"id":"Q5326296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$0185411F-0564-4584-8B55-4F024EC5E7CB","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":"Q264996$6A16C239-3FF2-4E86-8707-8D8D94F03C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3d0f7768d520b32ccf996a8034d8940ed7e963","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$93C0562F-7754-4A3C-AA03-498D82C953B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad736adcd55bbf0ec8541ba51328d0f17e2cbc","datavalue":{"value":{"entity-type":"item","numeric-id":5756612,"id":"Q5756612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$2DE8AB01-14A7-414B-B0DE-6C8C2CC8F62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518db32b25cfb49d3696033b68d54d34df2ee63f","datavalue":{"value":{"entity-type":"item","numeric-id":4965863,"id":"Q4965863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$10632033-6E3D-4EDC-A986-0C50999EE4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$8E2700AB-C80A-4491-80FF-B2EE45F529B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829e937e53bde24a395ad933c2db339937707fe","datavalue":{"value":{"entity-type":"item","numeric-id":598191,"id":"Q598191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$93AB6401-B92C-4547-9DA5-D87219F92861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c629544826050aadbadc53f245aa879cee454973","datavalue":{"value":{"entity-type":"item","numeric-id":3525646,"id":"Q3525646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$49F5BC04-865C-4EDF-AAFA-E931E85659AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38069c6a0bea035a9b76a94cf920575b5d5c6dd3","datavalue":{"value":{"entity-type":"item","numeric-id":964488,"id":"Q964488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$C5D79032-8B1E-4E79-8B56-043DDCB4F61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$D61DF00A-0A94-4CBE-B0B6-399536D95094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$898E2457-B806-4452-AFDA-3D9199E46ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a8e8a637cae2717bd364088e9e21b1ac11afdd","datavalue":{"value":{"entity-type":"item","numeric-id":4704762,"id":"Q4704762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$F94D0661-B208-4E32-9837-0AB6031309C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$239CC842-9A8F-4AF0-ACD5-7ABEFB635F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e066db4daf5a2e6e5cd0878b5ec6c4b962f6e6c","datavalue":{"value":{"entity-type":"item","numeric-id":2942912,"id":"Q2942912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$2EA19753-6A45-4B31-ACA3-71FEC5B3990E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043679d090fab0c3b3941ed4b712a0f744468173","datavalue":{"value":{"entity-type":"item","numeric-id":3617734,"id":"Q3617734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$2F658865-BD51-48C9-899A-07E253196421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed022edd9c373c12098c552bbb4d79346549d96","datavalue":{"value":{"entity-type":"item","numeric-id":4414734,"id":"Q4414734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$E4C211F2-9062-423F-B156-2FDEC64455E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454fa412389fde53132c845364bf28f8b89aef80","datavalue":{"value":{"entity-type":"item","numeric-id":5586334,"id":"Q5586334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$49D9498A-0EB5-43D1-9930-894BF13566A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1366bd2322a8359118d05135af2e7062ee0ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5684240,"id":"Q5684240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$16973ECE-710B-4EBC-980A-A4F194633E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64815366ff2d9ae63e8576505583b0d1535bf3","datavalue":{"value":{"entity-type":"item","numeric-id":924686,"id":"Q924686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$7303A1E3-6B89-46FF-817C-6D1E507BA2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a806e63f26ee5765551ad98ff03131e0c2e1384f","datavalue":{"value":{"entity-type":"item","numeric-id":3721785,"id":"Q3721785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$A9449FE9-B68E-474A-A507-166E0CB34635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e8f1d3251dc697a715b119d84609f1fde60d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2581367,"id":"Q2581367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$ADF2EC0C-8933-4514-90AB-910F8C51AB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6153e1c3fffb715aeb3bf1cf0bd6d05da7b7efe6","datavalue":{"value":{"entity-type":"item","numeric-id":1575873,"id":"Q1575873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$30A64EB7-BE06-4280-9D1A-39C337507DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97acd7dad682c3c767826ba4f87a0ec4ad0386ac","datavalue":{"value":{"entity-type":"item","numeric-id":3519506,"id":"Q3519506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$6F4D812A-9E31-4C3D-B859-91A155EA7C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868c7510c9b056b25295e0eeecc1ca21781617ed","datavalue":{"value":{"entity-type":"item","numeric-id":5313091,"id":"Q5313091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$694B84F6-C5E8-4FAC-8402-EF1211BFFD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222e18bce6bb68d46897d8bc98eff527f0d5a8a6","datavalue":{"value":{"entity-type":"item","numeric-id":2902497,"id":"Q2902497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$F1806529-A149-4E77-A21F-EAF3C3FB14DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5d528d17d30a2f1f0f74a852299e22ce24675c","datavalue":{"value":{"entity-type":"item","numeric-id":2942859,"id":"Q2942859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$580B3E7C-FF89-493D-BF40-5F4DFE633F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672334a78e6ba3872670873eaab5c6b9b65ed764","datavalue":{"value":{"entity-type":"item","numeric-id":2866345,"id":"Q2866345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$18FA9A21-7624-46FD-8F54-5A693F7BF218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9279fde6cedd26e18c6ba55d77f0b20c96098f","datavalue":{"value":{"entity-type":"item","numeric-id":3453754,"id":"Q3453754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$1ABADA4B-7C08-4AE6-B427-6656869B987D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f06a5ebe5409082a1b277151ce844f088e3f71","datavalue":{"value":{"entity-type":"item","numeric-id":4415908,"id":"Q4415908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$6B024713-EB60-4B2B-AE52-8F389BF96737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"147ad53d42ab29328f707b3ada56bcd6151ce5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4535080,"id":"Q4535080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$BBA59CFA-E6D5-4879-BE37-27AA7F1762C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133e4b0a9be69e72713857e3053bba5c453e0a40","datavalue":{"value":{"entity-type":"item","numeric-id":1317438,"id":"Q1317438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$F25BC118-B165-48FE-B672-1740A5350A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$2897EF1E-62FA-4EE3-865C-97D2E46E25BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e31ac4f1c49c2d82ee9e9e45b6879c54033335","datavalue":{"value":{"entity-type":"item","numeric-id":1923088,"id":"Q1923088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$B50F410C-33D6-4E94-A37A-4170DD9FA8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e9f7209572e585461a3808309c0d34dce1fee4","datavalue":{"value":{"entity-type":"item","numeric-id":2842116,"id":"Q2842116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$2D6736DE-42BA-4204-9E24-A9A41631DFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e155c7241948da2b601c8314483923b6021f9ced","datavalue":{"value":{"entity-type":"item","numeric-id":5150131,"id":"Q5150131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$870D238C-820F-4B19-A6FE-7D72358CD357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad255e962ec6e38d0c6c881b121a9dea41c9daa","datavalue":{"value":{"entity-type":"item","numeric-id":1285660,"id":"Q1285660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$8A417128-351B-421E-91F8-DE1C34F2D08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa09dff0509644d89689b413adab7fb2179c738","datavalue":{"value":{"entity-type":"item","numeric-id":2892773,"id":"Q2892773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264996$7D545BC8-DE9C-46FA-A3F9-7AAACB1D4C83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c019758ee5b5176e7298410b542cb4abb76a5f73","datavalue":{"value":"10.1016/J.TCS.2016.02.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264996$9E5C36A1-97BD-4B3E-8593-1B0B29462E28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11157c6ae2cad66c01a40eebfbac892fb79dabb6","datavalue":{"value":{"entity-type":"item","numeric-id":3584950,"id":"Q3584950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a93a4341f9107ec0e0f03f5e16a256d3b705eb","datavalue":{"value":{"amount":"+0.9506452679634094","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":"Q264996$3AA467A6-ECB3-47BE-B87E-4E85F29DA6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac78d05937bf3807a8aee553455b9b8ad121f36","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de1bf974a66bb701e523e13d1e1027c7c412c71","datavalue":{"value":{"amount":"+0.8685182332992554","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":"Q264996$6BA0C6F4-106B-48DB-8166-DD89DCD9458C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3926e8c0d0159f14af72c58cc96344ec5240c07e","datavalue":{"value":{"entity-type":"item","numeric-id":3090837,"id":"Q3090837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fae16a07ca2e343ccd6d7be6bef1c493e98b2a","datavalue":{"value":{"amount":"+0.8422231674194336","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":"Q264996$9EABAB71-0BB4-40DA-9080-B3F5139A7EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a3906667209c7ca4dae20b7f24bcaba0c969ad","datavalue":{"value":{"entity-type":"item","numeric-id":5207890,"id":"Q5207890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed51603ad448016d5f2ff02e088a32ae3e9a172","datavalue":{"value":{"amount":"+0.8281892538070679","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":"Q264996$EF113459-0280-4CFB-9022-94826F69E991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f5dec9aecc85451991058cf55352dcebe4e7fa","datavalue":{"value":{"entity-type":"item","numeric-id":2216133,"id":"Q2216133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2b0b35797115399e53ff2af3a91e51f2d7e20c","datavalue":{"value":{"amount":"+0.8168032169342041","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":"Q264996$BF3ED9C3-6A20-4A45-880E-A365643581BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reversibility in the higher-order \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reversibility_in_the_higher-order_%5C(%5Cpi%5C)-calculus"}}}}}