{"entities":{"Q4965863":{"pageid":6995442,"ns":120,"title":"Item:Q4965863","lastrevid":58368927,"modified":"2026-04-04T22:17:43Z","type":"item","id":"Q4965863","labels":{"en":{"language":"en","value":"A logic with reverse modalities for history-preserving bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7319035"}},"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":"Q4965863$72DA6821-5B00-43FB-91BE-7A5F9966EC0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79137254a434a234c2a535495db7e4d5621befc1","datavalue":{"value":"1457.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965863$FEA3C75F-48F1-451E-9AA0-C002E634672A","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":"Q4965863$70E2D61C-4875-4F62-8DD7-B39D91EEC033","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":"Q4965863$AC440898-A1FF-4CFE-A63B-77D9D522154F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d07f1615638384ca69a50bef14bf883b80a1545","datavalue":{"value":{"time":"+2021-03-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":"Q4965863$CF1A5A80-A8FF-4C0F-A7D3-3E71B2D7D7CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99ceb1367600103f9109e996d372af7b9f82bfed","datavalue":{"value":"https://arxiv.org/abs/1108.4470","type":"string"},"datatype":"url"},"type":"statement","id":"Q4965863$503606B2-8FD8-449E-9F6B-5EE5A45DA84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac6fbd3b6cd3924c6a7aa3cbf134dfb4bc468ed4","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2011.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4965863$287353BE-CDB2-4C16-9AEF-8BDA9A627CB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965863$CDCE100B-797E-4147-B54B-0A188E36D582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965863$3902F634-550D-468F-A538-8EE061C365BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965863$8573EAD9-3652-49D2-90BA-3AD4886D428F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d109aabdd1850c645dd5288801733f1f51876bda","datavalue":{"value":"7319035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4965863$BDCB321E-C1A7-4DCF-BC0F-3AE796C5A1C4","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":"Q4965863$F0E97940-BF8D-47CA-8EA0-F3DB92C29677","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb02817f8e57980bdfbf0748f9aaab022e7aa62","datavalue":{"value":{"entity-type":"item","numeric-id":5740354,"id":"Q5740354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6aaeaac1280b535a6eaaddaef1f37451b50a634","datavalue":{"value":{"amount":"+0.9414020776748656","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":"Q4965863$F588D443-1A14-44F1-980A-ED8DF8E37C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d456e1342961d1e8f9ad4e4dbdc6ec3ef13f7a8","datavalue":{"value":{"entity-type":"item","numeric-id":2789065,"id":"Q2789065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5a074c68960b14b1739d80a1e6badf423a38ec","datavalue":{"value":{"amount":"+0.8208648562431335","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":"Q4965863$190EEF83-08BB-4BA5-8D97-5675E386AAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5b12791c5338ef3f4edd9f3b47ef1e08b115fb","datavalue":{"value":{"entity-type":"item","numeric-id":2123053,"id":"Q2123053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b771839ab4c1d588bffb168147a074673fb830","datavalue":{"value":{"amount":"+0.7786402702331543","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":"Q4965863$36E084EA-168D-4B5B-895E-B7A5A24D7111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80dff32e03f11cd2e067fc4f19317f0fe7cca91","datavalue":{"value":{"entity-type":"item","numeric-id":3584927,"id":"Q3584927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e513aa89cecfb0c3cc37f231b62b4aa9d30493","datavalue":{"value":{"amount":"+0.7750145792961121","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":"Q4965863$830E0E71-6D71-419F-99D6-63F61C83ED18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e634edac656c8abd407fda4f697b3b47f629581","datavalue":{"value":{"entity-type":"item","numeric-id":5501929,"id":"Q5501929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074f336b339a59b0a42493dfd7a9c464c3af78d8","datavalue":{"value":{"amount":"+0.7706519365310669","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":"Q4965863$6843EA54-EA8C-4163-A0F3-5E18AC047772","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4965863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4965863"}}}}}