{"entities":{"Q5262973":{"pageid":7292549,"ns":120,"title":"Item:Q5262973","lastrevid":56878497,"modified":"2026-03-24T10:01:58Z","type":"item","id":"Q5262973","labels":{"en":{"language":"en","value":"Operational semantics of reversibility in process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457606"}},"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":"Q5262973$31D4F414-F631-46C9-8A2E-1A29A04C2FEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9080109f66988c6ef9980d7f6e4b8a5bb23719a8","datavalue":{"value":{"text":"Operational Semantics of Reversibility in Process Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262973$6221B5DB-14D0-4AC3-8A2E-036CE2A7673A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d682e7f6ebe09bb8822d82aa724411ff7ff85f","datavalue":{"value":"1316.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262973$75AF2DC1-2069-4450-9026-9206D6227155","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fda1c66696713c34e11fc5479ccc804542d33f","datavalue":{"value":{"entity-type":"item","numeric-id":580960,"id":"Q580960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262973$8A1C96AE-64B1-4BD3-8C15-BCA179935E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbddf08e8bb755ad124129fba5bb3db28e89060","datavalue":{"value":{"entity-type":"item","numeric-id":890615,"id":"Q890615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262973$B050179E-8AD6-4045-8323-D921B16DC27C","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":"Q5262973$E7ACFB6F-33EC-41E3-9216-CBDCB8E4F914","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-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":"Q5262973$1D80C2E3-0921-40F9-91DA-B37C4135F629","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262973$BB2BEA8B-8C97-47BA-9B9F-DA4CDC52C51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262973$876C429A-03A2-45A4-A3E5-290928DB21B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"252fd97a3e84d92af804ba95f7ba876564f5cfae","datavalue":{"value":"6457606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262973$50D7B3CE-610D-4027-81F8-49709D253D95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262973$B73422BF-3D48-4463-AF05-06F8AEFCC651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262973$DEEA5EFD-AAA9-445C-9742-E8A7D49781C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53a29818417b3eaed52019fb1b2404ade2a0520d","datavalue":{"value":"SOS rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262973$4724934E-C4B7-4596-A5F4-B987FFA87371","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":"Q5262973$2482F9B5-A9CB-4C69-B15C-654013AB82B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21947d487537ce1d84ec73d5658874a632784c61","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2005.12.095","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262973$49A0B657-E877-4AEE-A185-B2C9E899B053","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b5d2351ebf6d028b76f5c2b243ded2d875e09ed","datavalue":{"value":"W2012586948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262973$2D0CFF59-120C-4A71-AD6C-5BCB674C8408","rank":"normal"}],"P223":[{"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":"Q5262973$1BA11719-8686-44BE-8724-4B4E6A592385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd1b6978b5470297511f81d96560a5875694495","datavalue":{"value":{"entity-type":"item","numeric-id":1341775,"id":"Q1341775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262973$6B4715A0-C3FF-4875-84EE-147FBEAEB0F8","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":"Q5262973$54DFCA7C-D076-4F67-851A-C30C997C353E","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":"Q5262973$B234121C-06EE-49B8-87B5-73D5629A63F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262973$64201A31-FBD7-4685-A581-462ADF6AFB2F","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":"Q5262973$3D52380E-C873-478B-9271-47A05FE07AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262973$7071CE5E-72F8-4180-B4C7-D589367B6818","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca3c597729bf57c8772ccbad7b5a2904eedda7b8","datavalue":{"value":"10.1016/J.ENTCS.2005.12.095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262973$8ACFE297-B3DE-43D9-AE60-7DBC80C6D12D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ecf9b8433df8711edf942e13a5c4071422bffe5","datavalue":{"value":{"entity-type":"item","numeric-id":5899092,"id":"Q5899092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2313df5a8b4ca1f8fe00fb780d1d70e93aecd97e","datavalue":{"value":{"amount":"+0.8946805596351624","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":"Q5262973$1CE6278E-51DE-4221-92BB-379351F7D56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f130aaf865704e68f87263289d7d68d140b9bd49","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a6ab692f5cada835da5ca903ae2636ea7cbc1a","datavalue":{"value":{"amount":"+0.8926911354064941","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":"Q5262973$7658E4DA-F159-4ABD-A6CE-DDCDD50D6811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60dd0b6da6c25a2a97a79aca1208feacd92b431c","datavalue":{"value":{"entity-type":"item","numeric-id":2871832,"id":"Q2871832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756b48b1a1efb9fe779a330e39d4b9f798f0083c","datavalue":{"value":{"amount":"+0.8025804162025452","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":"Q5262973$47A39256-7A99-4056-9DD5-0C270AF40812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab27a003de382101d1343898f83a1b00edcd50c","datavalue":{"value":{"entity-type":"item","numeric-id":3188912,"id":"Q3188912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99afc2de7d9d6071b07bc351f6016d9e7ed14b0e","datavalue":{"value":{"amount":"+0.7774806022644043","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":"Q5262973$0D28F70F-59F6-43A6-AB28-6F9327933743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0e4845b22244ce2a0f1ca9d54f93efa9509086","datavalue":{"value":{"entity-type":"item","numeric-id":1796369,"id":"Q1796369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4aaf62e0eb932659b7c71a0f34c1a3b392b2240","datavalue":{"value":{"amount":"+0.7702033519744873","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":"Q5262973$5EB1D3C5-863F-43AD-AB37-CEB2CCA283AF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262973$1FFAF46C-AC7B-4D4B-898B-D944F9E54D99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262973"}}}}}