{"entities":{"Q5216332":{"pageid":7245902,"ns":120,"title":"Item:Q5216332","lastrevid":58483950,"modified":"2026-04-05T10:19:53Z","type":"item","id":"Q5216332","labels":{"en":{"language":"en","value":"A modular formalization of reversibility for concurrent models and languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168176"}},"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":"Q5216332$5F2D1A8B-C19C-4210-8263-778F48C934A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa86dcb343bcd288d8817f5d675538fabf3fa58e","datavalue":{"value":"1433.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216332$51916448-CB88-4FF3-9A63-47195A28BC64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fc80b7076eae1e38842d078f8aad4565b4ed046","datavalue":{"value":{"entity-type":"item","numeric-id":2851670,"id":"Q2851670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5216332$0FC9135C-E2D4-4BBC-88FD-F2614BC27559","rank":"normal"},{"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":"Q5216332$C8A71AA4-83D4-45F3-9931-786D25A5CEE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7c9d6c0100675744974eb3bd7cd696e575460ae","datavalue":{"value":{"time":"+2020-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5216332$B7125ABF-4348-4962-93B9-E0A1048D74BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e44ee40b0df8a2baea92fe86e469938a157aa475","datavalue":{"value":"https://arxiv.org/abs/1608.03325","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216332$88A10EE8-9139-43C9-A925-1FCFEF6FBC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5845ace354b767021b1a997b28c076a80978ef2b","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2016.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5216332$05B555E9-6264-480B-A13A-EAD9206F0F45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216332$A422E0EE-949F-49A2-B96F-4CCB06594846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216332$50893914-494D-4D80-A9EE-B8719E8939A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e50fe78e281a02a7b683f861259dd3547ce6026","datavalue":{"value":"7168176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5216332$6B48ADE9-3F90-46EF-8194-5A006BE83082","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":"Q5216332$970D93EB-72DB-4D6D-8875-90A94998F5E0","rank":"normal"}],"P1643":[{"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":"7fbcb2d01642fd92e9a29aef276f7e27137041a8","datavalue":{"value":{"amount":"+0.8428186774253845","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":"Q5216332$FB9E063A-47EC-49D0-887C-A8E62AA35C8D","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":"57e6444a6a729a33b36b6e00bd47f04764611219","datavalue":{"value":{"amount":"+0.806165874004364","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":"Q5216332$E1A693A6-1157-40C3-8CD3-14EC2EB66E70","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":"f190a8da6555384d3362e03290aa1b176bb8ae13","datavalue":{"value":{"amount":"+0.8025733232498169","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":"Q5216332$F7430616-1327-4759-BFBF-63FB589479DA","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":"717ceb071f5255d79bd7f91e467f877cb01485c7","datavalue":{"value":{"amount":"+0.8000177145004272","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":"Q5216332$B4FAA231-C58A-48F5-8823-CAB4DDAEB7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b10bb7f61ff7b5ea083da9538e4bbce182d96a","datavalue":{"value":{"entity-type":"item","numeric-id":4967172,"id":"Q4967172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4738171f706d152f91689823d56c9d1ac7ec6b3","datavalue":{"value":{"amount":"+0.7949398159980774","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":"Q5216332$F20D7C42-EE42-4452-953F-2FBE0978E8BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5216332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5216332"}}}}}