{"entities":{"Q4617973":{"pageid":6647556,"ns":120,"title":"Item:Q4617973","lastrevid":53343815,"modified":"2026-01-24T18:56:25Z","type":"item","id":"Q4617973","labels":{"en":{"language":"en","value":"Automated equivalence checking of concurrent quantum systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7014562"}},"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":"Q4617973$57A099B4-779C-4784-AA8A-C3442437FD47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ebd4b48a81d2c6c4e43a10a1dcfed69272a127b","datavalue":{"value":{"text":"Automated Equivalence Checking of Concurrent Quantum Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4617973$071EE58F-F5FE-40A8-BDBF-21C30AE3C3E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"129abbda22a2dbb3bc3ae04b663898aecf99e465","datavalue":{"value":"1407.68276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617973$E3CF4D89-6590-4259-8DED-04998C276982","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"509910bb8f975e29f432846d6bc10833c817456a","datavalue":{"value":"10.1145/3231597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617973$873C7A21-FB14-4709-8761-F419B18D8D42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"319ffdd7bbb30c733c536a583ad92ece2cd68b7a","datavalue":{"value":{"entity-type":"item","numeric-id":513455,"id":"Q513455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617973$E8120321-7167-44B7-B2E3-3BEC28362573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a076f0d6e955f7f099b5e572a601c0898ecdac2","datavalue":{"value":{"entity-type":"item","numeric-id":706489,"id":"Q706489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617973$0B5C11D6-0A7D-4738-85CB-3119885CE5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"321ca6e544834c17532b59a2fec765e641824743","datavalue":{"value":{"entity-type":"item","numeric-id":859840,"id":"Q859840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617973$D3BE1F80-E127-4D1F-AFDC-F90FE4604C2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617973$BC893657-97F6-4887-B0A9-9ED40495B0C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1e8b10b8228a853731f31266f45b016182aec93","datavalue":{"value":{"time":"+2019-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4617973$B8BEACD5-4CB1-4AEE-9C09-67ECE10AC2E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6391f904f31f650dca7850344cbbebc8eda69f19","datavalue":{"value":"http://eprints.gla.ac.uk/166295/7/166295.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4617973$83F97BB5-D9DD-4C41-A930-2A42A006777B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617973$7128FAE8-3C1F-4FCD-BC21-103AE357DDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617973$C51F7BD0-548F-48D4-9A7E-7CDAA7B898E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617973$99C5D67F-E1C1-4297-B249-C2AAAF2FCB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0f40f35dc94984654280701e807723478a4234f","datavalue":{"value":"81P45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617973$98EB7068-C53F-4222-9CB6-0D0D35F70590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617973$4B8CD4C4-030F-48ED-AEE1-6F43FF3A681E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8595c3fb16b56f7c50cb8b19e69256cd7cb4875c","datavalue":{"value":"7014562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617973$99C374E4-EEC8-4968-B0D8-8E2E9F8A9DCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9871ea457d90443e4c12bade32b6ac144b47bbd","datavalue":{"value":"quantum information processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617973$72C2DDCF-45FF-4233-8D8E-2C788622CDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617973$0FABE72E-57C2-495B-9BD8-6192CC5F94E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617973$839EE063-6D28-4CA9-95FF-5BB889A5A834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617973$76A0E93F-8894-46CA-9066-61E00D3284FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617973$78B7AB70-0F60-4643-966D-EB11D1254299","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":"Q4617973$71606514-B3B0-4354-82EF-CBF1DC998FDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5eef55e94d00d91462dd7667c37c8b61986aec3a","datavalue":{"value":"W2901382944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617973$0C3049F3-F987-4283-BA2F-A4A9018700C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"00a2482ecf234151370236e35462aeb51dc62b99","datavalue":{"value":"Q130917153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617973$98A3EDE3-D359-4CF7-9D76-272B60E3EC05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d0208789d2151cd55f1e622ca9a8db94ececcb","datavalue":{"value":{"entity-type":"item","numeric-id":5326347,"id":"Q5326347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0d25b394bafc53c8261b96f7932b995c09dd73","datavalue":{"value":{"amount":"+0.8676409721374512","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":"Q4617973$56ACB3FA-78B6-449E-9D45-070330ECE068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d387e5c8602875b1da160532dfb22673e2ea201c","datavalue":{"value":{"entity-type":"item","numeric-id":2233434,"id":"Q2233434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f8ab83adce0dd6bddf3eac21d45e3b540fc49c","datavalue":{"value":{"amount":"+0.7990123629570007","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":"Q4617973$DD349F3A-D207-4199-A291-BE9AF4074F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179fddce23ed37a4adea82dd31869623b8c26e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3560846,"id":"Q3560846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b57cc912a8f8c698870c85186feaf375e2f55b6","datavalue":{"value":{"amount":"+0.792687177658081","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":"Q4617973$B52D0D7F-C61C-4F61-BD18-458BB8089123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc55ef2613b371848912866130d0919ff51b30f","datavalue":{"value":{"entity-type":"item","numeric-id":4688901,"id":"Q4688901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d11349b7eb98f31e7827eba78b33f507d083c04","datavalue":{"value":{"amount":"+0.7925015687942505","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":"Q4617973$D7BC8931-069E-46CF-9CDB-605617117CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c62e4c0270bdc3e76fa7d765ae0f3d1cf537d8","datavalue":{"value":{"entity-type":"item","numeric-id":5015189,"id":"Q5015189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a35d8494f7780087fbfe6d483ef7c0397424bc","datavalue":{"value":{"amount":"+0.7896074652671814","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":"Q4617973$B56B9F2A-B047-4541-9636-7F30828545FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4617973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4617973"}}}}}