{"entities":{"Q2864372":{"pageid":2875092,"ns":120,"title":"Item:Q2864372","lastrevid":51886586,"modified":"2026-01-20T11:42:34Z","type":"item","id":"Q2864372","labels":{"en":{"language":"en","value":"Linearity, persistence and testing semantics in the asynchronous pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236382"}},"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":"Q2864372$7C1D39CE-7699-4125-8B2C-8796BA4FD36B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2653753ccb6299fa9f4905b2432b76ff86ff5f07","datavalue":{"value":"1277.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864372$9F282629-8B63-45A5-AE9A-E5041919F9A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e01204fa4ced67d6ef906a93fa1788488b4ae4b","datavalue":{"value":{"entity-type":"item","numeric-id":2465028,"id":"Q2465028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$AA9E1029-08FF-45E3-852C-272B3D089519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98585cf9561e52853cf768fab8fda37b7206a2df","datavalue":{"value":{"entity-type":"item","numeric-id":2864371,"id":"Q2864371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$B796FCAD-9051-4338-91F6-2966774F1BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"955d121ef1e65adb5c21b330efd8a085cd4a50fb","datavalue":{"value":{"entity-type":"item","numeric-id":347367,"id":"Q347367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$A1877508-CFDB-4109-A6B6-6A7FD5E27D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$6FDAB3D9-6FAF-4465-A347-8B7B5C18BA53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$930AAEF1-46B6-4DED-A2FD-BA6B99BDD579","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-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":"Q2864372$5C25E581-BB3C-410E-B3ED-E6C3E630BF8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864372$200E5C73-2789-41F0-B077-24AB9677A50C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02558ec8a422874145ab97119deb130585bdb329","datavalue":{"value":"6236382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864372$2848DC6C-59B3-41AC-B33A-2D0236BCF733","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2713d68ce1ce7b99873864dcfa743a3a42b07b0d","datavalue":{"value":"asynchronous pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864372$27004270-102B-4C66-8174-3FA4F9D5E87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a68f1cad860d547535af262ab64b5ee5d1af5d3","datavalue":{"value":"linearity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864372$678863B1-196C-4402-A75E-A3777E5582DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7584267bb3dff5d15567681f6e57b71bd1aa2e1b","datavalue":{"value":"persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864372$3BBCF039-11DB-4E6F-A890-7AB612329C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cf365319598a64c9d476ec4c014faad9a472166","datavalue":{"value":"testing semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864372$797EEDDB-D08D-41C8-AE82-9CE4E2323389","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":"Q2864372$5103561F-98F4-4BBC-8C00-B96919884CBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a75ebc5fbf3b1c793b9e38ebf7d121444e73f94f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.11.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864372$78DB5DD2-5FBE-47B5-BDE9-20170C3A6C28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f335095a411de3548187363debec1db5c6236b6","datavalue":{"value":"W2035827916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864372$9297346F-B3ED-4C79-AC4B-C4A308CF26DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2359ea34b4e7685569c1fcc0ec424abb83c93aa","datavalue":{"value":{"entity-type":"item","numeric-id":1853612,"id":"Q1853612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$B532ABBC-318D-4040-9035-23C6794BBEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9ad250fb55d5f6f4015cba5fb638fc9517d878","datavalue":{"value":{"entity-type":"item","numeric-id":1041815,"id":"Q1041815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$6DDDEF55-B95B-4048-8CE1-701B0AF02CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d29e1da3646d3860d1b8a75857de2e3205b477","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$CEC34B68-F867-49D4-88AD-EBDC8A55EB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e72132b3ae491a416d673b58ad5804bb695015b","datavalue":{"value":{"entity-type":"item","numeric-id":4448369,"id":"Q4448369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$26057D5A-502F-4425-9D38-7A14A7B6D44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113ba6b8d159c66f8d3665b3ca7b7c94d50e0092","datavalue":{"value":{"entity-type":"item","numeric-id":2852065,"id":"Q2852065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$AA0EBB85-B678-421C-95AA-98DF1465AD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acbfdd3333d6adb3e2aeb9151b25bf5ca49280d","datavalue":{"value":{"entity-type":"item","numeric-id":4457838,"id":"Q4457838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$272AFFB2-431D-4A8C-AD38-7A0BE9D27D04","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":"Q2864372$71BCE37B-31DA-4627-B23E-7223086AAAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0075cc4f82c18d864dcb2bee65932bb039b961c8","datavalue":{"value":{"entity-type":"item","numeric-id":1854410,"id":"Q1854410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$6389946F-BD71-43E2-8454-3ED4BC6197DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3e2f600083ceae7ec8222e0e271706c9a87ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5899079,"id":"Q5899079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$1D308A39-CF7F-4C25-88C3-4903EF8E018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26161d994f695352e29cb16bc508ef9bc366ffce","datavalue":{"value":{"entity-type":"item","numeric-id":2847404,"id":"Q2847404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$50CEAE5A-1FAF-4D20-A1F8-6FE198D73F1B","rank":"normal"},{"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":"Q2864372$240C1EC2-6A5D-4C38-9909-F0A44BCA4AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$D152E136-0D82-40A7-B434-9B07DAAB5A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918c90c740fb88aa5073f69e0a5ed72039f108ba","datavalue":{"value":{"entity-type":"item","numeric-id":4219055,"id":"Q4219055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$BBE40AC2-2FCE-4ADD-A1D0-B51EB4D26538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6e255e88469c5037fa025bdbe62107d9bfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$189F33BD-6AD2-4E20-AE05-1B2F94E86624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f63aa83914847492da5f6030516f6f08e85c8f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5308465,"id":"Q5308465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$2019499A-BB76-45D9-B3CC-DDBA78A9C710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8625fc47917a1b60418d81f8f454f430c891cf6a","datavalue":{"value":{"entity-type":"item","numeric-id":2848143,"id":"Q2848143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$41A4B4CA-5719-4CB7-B2C6-E5F60C90306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4f3a50d4dff4be008cac5ad28af0c68079ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":4917085,"id":"Q4917085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$1E67F6C5-CD39-4BDC-9FF8-A0B745436CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d8ce7f4bc93b970a2eeca767cdcd57b47281a1","datavalue":{"value":{"entity-type":"item","numeric-id":1960533,"id":"Q1960533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$43866460-7AA1-4767-9E09-D4101A927F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$D4A73397-8247-4140-B330-FC9EB9A43ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb4f47a7131723dd2e4a4daa9f6dc9e584962f3","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$2E7C9775-EF73-4F44-82A1-461885D6157C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80fed68236789090dcc4d0ba563976619c1cc75","datavalue":{"value":{"entity-type":"item","numeric-id":3591393,"id":"Q3591393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864372$47342370-5EA7-47A7-B792-4E11C3E8BC68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35a085ff214647317e83f5fd86fb5631bf20ff18","datavalue":{"value":"10.1016/J.ENTCS.2007.11.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864372$B61EF2DE-D825-47FE-9CC9-266EEF8D064A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"381caa6a52a532c03506e4ea7ceaeac055b81dea","datavalue":{"value":{"text":"Linearity, persistence and testing semantics in the asynchronous pi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864372$977A3D50-F960-4DBB-A0A1-D3D526DBCA3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1452f2766379784b5b66f3951b14369257e1ae9","datavalue":{"value":{"entity-type":"item","numeric-id":2465029,"id":"Q2465029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4a542b061b37d3429210c2a1b774eddea44bd7","datavalue":{"value":{"amount":"+0.8138041496276855","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":"Q2864372$7481A51B-3351-47D1-9A9D-25A5FE5EB861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26c6241969800084c27c8f97cb9b39251d119bf","datavalue":{"value":{"entity-type":"item","numeric-id":2852065,"id":"Q2852065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0528404b1f86f56042d9ce332b294d76980879","datavalue":{"value":{"amount":"+0.8082742691040039","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":"Q2864372$DEA00CFB-C87F-4862-972C-82FD38B00E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e74d2b53c8b1403baf62edc50d4d6ebbca298ee","datavalue":{"value":{"entity-type":"item","numeric-id":6104371,"id":"Q6104371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceed8cff61a47e770141760afa901958f92644a0","datavalue":{"value":{"amount":"+0.7491059899330139","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":"Q2864372$681168A3-BE51-41A3-886F-86D07361026E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8abe0dd1af4f98c0eda9a9c3c107eb3ba7fab773","datavalue":{"value":{"entity-type":"item","numeric-id":3507382,"id":"Q3507382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe8cb57435209befd0d8dfd5cf9b52e4bc8a46e","datavalue":{"value":{"amount":"+0.7483325600624084","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":"Q2864372$9381261B-4F8F-4A0D-91AE-73C01F9C6CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7653e51cb6d4f34fe1dbf28fb53525947178c88","datavalue":{"value":{"entity-type":"item","numeric-id":4219055,"id":"Q4219055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c6c4172da183b5a517a3d0e7f5c90b9ffefd31d","datavalue":{"value":{"amount":"+0.7470245361328125","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":"Q2864372$323FE1E3-9D83-4BF5-86D2-48D391EFF413","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864372"}}}}}