{"entities":{"Q6535463":{"pageid":14146606,"ns":120,"title":"Item:Q6535463","lastrevid":55544917,"modified":"2026-02-17T18:34:15Z","type":"item","id":"Q6535463","labels":{"en":{"language":"en","value":"Branching bisimulation semantics enables noninterference analysis of reversible systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7786542"}},"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":"Q6535463$4789C694-7308-4226-A151-0BE152027EC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8cfaeafea451655fa8aa61d1759cc64576e036d","datavalue":{"value":{"text":"Branching bisimulation semantics enables noninterference analysis of reversible systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535463$C58FD9B7-F7EB-4AFA-B866-AA50B1B4F2F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2bd20c47075228dba0f9cb5e550d5b4412a0fae","datavalue":{"value":"1543.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535463$450E14F6-1DAE-40D3-A8AF-583673AD9F8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75cfa71772d2dab3d3d8d46766e2ce95eeb1c640","datavalue":{"value":"10.1007/978-3-031-35355-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535463$40AA8FBD-794F-47AB-8C99-4530D793DE82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1406d51d7ea89dcc4f7ca618dfd30afe8e9e4ea","datavalue":{"value":{"entity-type":"item","numeric-id":6535462,"id":"Q6535462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$74325F8D-01CC-4864-9EA2-5C63BCFC3CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55576c79272f5f0f79d06109afcf6be2f685239b","datavalue":{"value":{"entity-type":"item","numeric-id":764290,"id":"Q764290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$A26E0BF7-89BB-43D9-86C5-5C9AD1B31E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b01b28361973f8f6aa733f4b48583b04bbaecd","datavalue":{"value":{"entity-type":"item","numeric-id":199201,"id":"Q199201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$0E64C364-A7D6-47F5-89D0-8435A40145FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1803be4dcfbfdb07a022d0aa018505d9d97abab","datavalue":{"value":{"time":"+2024-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535463$61C97229-1EB0-4E84-B05D-CFF42DF124AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535463$816800E4-DDD7-45C6-8A4B-7ED96BD2DB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535463$EF5C568A-9DA8-4C62-B4A9-F7F83D3F4A1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcaefa4c178bfde5f0d48ae6cb7ffe7cfee81bb3","datavalue":{"value":"7786542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535463$72A3C7E5-0364-4F5E-843F-4DFD9D1D38F9","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":"Q6535463$E2A30387-5F3C-4F5A-8DAA-584B5B558BB2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6efabcc93c40463a0fd2321315991e7202d2d620","datavalue":{"value":{"entity-type":"item","numeric-id":2432759,"id":"Q2432759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$E2762428-414E-4998-BE8F-6283197A6981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586a71b3d8db60ce23a83c6632d862c95fd7cfbf","datavalue":{"value":{"entity-type":"item","numeric-id":3394898,"id":"Q3394898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$5A34BEC4-A733-4DDE-9028-EE67D71F7CB5","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":"Q6535463$D2B500B5-6487-465B-BA81-047C5437EEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$F2C7EB51-AE0C-4116-933D-9C1FF60CB079","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":"Q6535463$5422EA0D-D557-467C-8E5A-2D0A93789877","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":"Q6535463$832308D0-479E-417E-96FD-E087602DDC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d299c396e13352ec31f2c4915d0d1a1bebbfda","datavalue":{"value":{"entity-type":"item","numeric-id":3584956,"id":"Q3584956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$2E70852F-0BB2-4816-AEDC-C2CC83056959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd770a0189381856a898e0dc654ca599fbc6516","datavalue":{"value":{"entity-type":"item","numeric-id":3297777,"id":"Q3297777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$334176B4-4D69-46AA-AE5B-1082967C46E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58740dc78be195735a0178b5f82807d6baa3630","datavalue":{"value":{"entity-type":"item","numeric-id":4798029,"id":"Q4798029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$62F08737-3A0B-4810-AF5C-20247D275FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85fe9e34a24d19c1b419858b9a339efa3569c488","datavalue":{"value":{"entity-type":"item","numeric-id":4736985,"id":"Q4736985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$3B216253-5EE3-46F3-B493-617D81E69367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$D273C22D-BD8A-4448-B4F7-91CBF4C15A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$72DE2FE3-F225-4288-8F28-FDAAA0A584B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d4b5aea65fc109bc5291010d20e30d92295ac2","datavalue":{"value":{"entity-type":"item","numeric-id":5158656,"id":"Q5158656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$E4B04FB6-2EAA-425D-A899-F038FBAAD879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47739ad8e05407804fcc23bb0b920702448c0c24","datavalue":{"value":{"entity-type":"item","numeric-id":5164166,"id":"Q5164166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$855348DB-D343-458A-8405-496E7B6CF343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$816B2B62-5293-4233-9031-A28958DCFC40","rank":"normal"},{"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":"Q6535463$9BE68D3F-3610-4B0F-8010-6B2664DFFB1C","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":"Q6535463$3F131204-480B-4FFE-B5BA-87955A24C79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b499d373d3e1fef9dfa9765dc61a243dacacb02","datavalue":{"value":{"entity-type":"item","numeric-id":1648893,"id":"Q1648893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$5EC41289-B21E-4A84-B8DE-D5350C2244E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac4f7355ee341e97b439f1c076f45e740c5fc5a","datavalue":{"value":{"entity-type":"item","numeric-id":1853583,"id":"Q1853583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$C594F3CE-23E3-45F7-9C91-CA6271CA6E72","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":"Q6535463$77AED04F-179F-4825-B1AD-D11996E67B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$395B0E00-6011-447F-8292-EE4B8B4ED075","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":"Q6535463$230B2772-EE05-4E01-9FD7-39764C4F7E8B","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":"Q6535463$E4822021-FF97-41A1-98B4-C20A55D22A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b317c95a754245691a7e664efa78f0de6e4819","datavalue":{"value":{"entity-type":"item","numeric-id":1749172,"id":"Q1749172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$C9ABD0F6-DDFB-49B1-A77A-54272828B3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e2838844dc6cecc98c3019c0d683edb12f77c5","datavalue":{"value":{"entity-type":"item","numeric-id":2822496,"id":"Q2822496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$27BEC305-0DBE-4969-94A0-FD2B627219E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a56041f66116eedd7393d805083ea110adcd08a","datavalue":{"value":{"entity-type":"item","numeric-id":1796395,"id":"Q1796395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535463$15C433C0-A62D-4597-A9EC-F11F06CFF531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508b3f50a1bc845a7286cb66a16d7d0f187e3555","datavalue":{"value":{"entity-type":"item","numeric-id":5348913,"id":"Q5348913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45701df97bf70756b84235a25079d3b0c836a1c3","datavalue":{"value":{"amount":"+0.6971795558929443","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":"Q6535463$6938CC59-1C95-447D-BCF3-4E647B3DD3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cdb82b0720ee734a75626f856d17168d0d41453","datavalue":{"value":{"entity-type":"item","numeric-id":2841265,"id":"Q2841265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b39c3cd3fa89a3cc26a944629b7323395e008e7","datavalue":{"value":{"amount":"+0.6951726675033569","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":"Q6535463$1EDCAFEE-4581-41B8-ACDC-2F6C1BC5176C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7cccd3e8497fc6cb2d0f630d176e4663d51ca48","datavalue":{"value":{"entity-type":"item","numeric-id":2830033,"id":"Q2830033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567735f5e7c4030fdb89d04caff9faf14e672495","datavalue":{"value":{"amount":"+0.6898307204246521","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":"Q6535463$AB5A8F22-3C3A-40D2-A58D-B2C76855F25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de636f508bbfc51f0cef38b5f56912694cd1bd34","datavalue":{"value":{"entity-type":"item","numeric-id":5394792,"id":"Q5394792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b368cb8d47364f09416596202acabb33c4004bf6","datavalue":{"value":{"amount":"+0.6886765360832214","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":"Q6535463$72BC1E7F-4A41-4D23-9397-E70BD9AA53BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535463"}}}}}