{"entities":{"Q5858724":{"pageid":7888275,"ns":120,"title":"Item:Q5858724","lastrevid":58592913,"modified":"2026-04-05T22:06:20Z","type":"item","id":"Q5858724","labels":{"en":{"language":"en","value":"Automated verification of quantum protocols using \\textsc{mcmas}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7333239"}},"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":"Q5858724$E4EC0D66-4B27-4555-8C99-E2A47A376AB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf66e48c9eb1d379b5f409815c5edc87744602ba","datavalue":{"value":"1458.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858724$81CCA9BA-0AFD-4BAF-B987-15803B4B4FB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b45cef9412c58362fb90282c6cf1861e657771c","datavalue":{"value":{"time":"+2021-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5858724$02307364-58DF-4E8A-B083-7EAD7FB2ACC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a023e21dc1b1501293645b1b7d31656b5d6cbc9","datavalue":{"value":"https://arxiv.org/abs/1207.1271","type":"string"},"datatype":"url"},"type":"statement","id":"Q5858724$7A7C7268-C3CB-40AC-8558-67906FCEF134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"afed2e67fdfd0428fe6d8866e93f949d3bbe1727","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2012.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5858724$F65ABAAC-DE40-49A6-9FA4-3949F7990EDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858724$768B097E-9AF8-48A8-816C-32CBCBF9CFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858724$4B1A931C-C33D-452D-B9DD-C3B2909BEEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858724$E3DC0836-3CA1-462E-A5B6-EB712581AC2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5478b5dc2ede576af5260440ba4184a5b943b3b0","datavalue":{"value":"7333239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5858724$C0ECC1D5-A521-49EE-8DEF-10E312B56630","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":"Q5858724$02EC17DE-4CB8-4838-9E80-08BAAB803FE3","rank":"normal"}],"P1643":[{"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":"2fe401d92a22a5cc9c91b0443bcae8a3ac46161e","datavalue":{"value":{"amount":"+0.8300451636314392","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":"Q5858724$C184370D-F823-4ACE-BCB6-192EA98032B9","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":"00fa46d09871fd49e9086444dd3384daaa65b949","datavalue":{"value":{"amount":"+0.7733336091041565","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":"Q5858724$70189FC8-3714-4464-9929-A1A82EC3C48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdd1d9ac077ce899661678cc40a0dc8e4d06495","datavalue":{"value":{"entity-type":"item","numeric-id":2010986,"id":"Q2010986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0527fef84bb238e324f888b0eefbf7bd42c2bfd5","datavalue":{"value":{"amount":"+0.7674817442893982","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":"Q5858724$BCCB36B0-04DE-44BC-9788-0166108B4493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd78bdeb097f59728cf81576bfd6caab199dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":5357722,"id":"Q5357722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0bc22e7c371d21ad592acc3b286827f3da85d76","datavalue":{"value":{"amount":"+0.7632930874824524","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":"Q5858724$874F99DB-8510-4A6A-9882-8469BFDC590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66ff529bd690860c7a3d544a96d4d75af77f1da","datavalue":{"value":{"entity-type":"item","numeric-id":491263,"id":"Q491263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94ed07c2a9b91c62c0656cb5081c1d763af624f","datavalue":{"value":{"amount":"+0.7546446919441223","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":"Q5858724$506BE5BB-A35B-4687-BBEC-D3876D01F2F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5858724","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5858724"}}}}}