{"entities":{"Q6488458":{"pageid":14067227,"ns":120,"title":"Item:Q6488458","lastrevid":47841658,"modified":"2026-01-02T20:40:35Z","type":"item","id":"Q6488458","labels":{"en":{"language":"en","value":"Model Checking for Verification of Quantum Circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676974"}},"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":"Q6488458$BEE3CE1C-0615-4E7A-BCE8-30F8A5B72263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5526278dbe6c77166045ffff017a05da0b2b2336","datavalue":{"value":{"text":"Model Checking for Verification of Quantum Circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488458$7748E36D-4904-4FF9-968B-CBB2E240144E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f0a93dba7f76801ad009c0ca0682afe6d222d92","datavalue":{"value":"1521.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488458$A09FCC81-85DE-4CAE-8FA2-F42BBB411208","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65ac22299103b76d227401f6c5b95027aa8bc450","datavalue":{"value":"10.1007/978-3-030-90870-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488458$3E346C02-E60D-488F-B55D-DA2CA9D497D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48e3f86aff53251e8d360c8097a6d94f9c5044b1","datavalue":{"value":{"entity-type":"item","numeric-id":188299,"id":"Q188299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$0D98534C-0588-4301-A6BD-ABBF1209752A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"260332f705ad2e0d1275bea375e8ebc598a68071","datavalue":{"value":{"time":"+2023-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488458$9616A69E-0E4E-44EC-8B48-1BDF85006C77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488458$392B774B-CF1E-422F-8202-D8AE203757CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488458$BCE0A7B6-6850-46CC-8436-0ABCC2DCFA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5e7281d7d457e819f3cc5864aa16d0f8e4683d64","datavalue":{"value":"81P65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488458$7F2FF0DA-970D-48B4-85DE-E10D1E434B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488458$3033069B-F31C-455C-B15F-DAB798B2CE9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5892011ef841dc55db3300dd018fcb450d2fa946","datavalue":{"value":"7676974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488458$4F890E71-5B7F-4FF0-807B-AEA7F16AAC72","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":"Q6488458$3B28E70B-52B3-4385-8711-49FD4138257A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d7825471bab9dc24bde3bf46a4889311a45cef","datavalue":{"value":{"entity-type":"item","numeric-id":3534212,"id":"Q3534212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$0E120C43-C38D-448E-8205-B16B4393D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$997C0878-EEAE-40E4-BD35-4A91D7F7A8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8000bf33d2a7b07859c02c191450efa31a03ee7","datavalue":{"value":{"entity-type":"item","numeric-id":394340,"id":"Q394340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$E60725AC-02B3-4EA4-A2AC-53254028A211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5b1037183c0ddc3a8531886fcc155b65fd7a13","datavalue":{"value":{"entity-type":"item","numeric-id":5962368,"id":"Q5962368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$B6EDA6FE-21F5-4129-9950-15D73CF806BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28dd8aa7abcc706b49b51a701fadf54e7c1efe16","datavalue":{"value":{"entity-type":"item","numeric-id":5504973,"id":"Q5504973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$9CD2A99C-E26E-437F-BDDC-E2C3E6170FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b521155cd9a1d6619c61fdae27ce94bff0e313","datavalue":{"value":{"entity-type":"item","numeric-id":3190137,"id":"Q3190137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$CBEA96DA-8C5B-4106-BC11-6401588E43FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7019404746bf91c67c95f8d381861e7add56b29f","datavalue":{"value":{"entity-type":"item","numeric-id":3453751,"id":"Q3453751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$7EFB216E-6751-4C78-B777-9AE22E2FA71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a768a87ad718884410c6d270d49fbe7d54ffe415","datavalue":{"value":{"entity-type":"item","numeric-id":2955435,"id":"Q2955435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$E743639F-CFD3-4C78-93C7-66C1E8DC2D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a8ecf3110a7dea2ec27f19d4181126ebbf99f6","datavalue":{"value":{"entity-type":"item","numeric-id":2573093,"id":"Q2573093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$BDC3CF02-3D12-44E7-8E41-31A2F0DA90C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a31196a28728de7de500ddb75068ac398d6c3cb","datavalue":{"value":{"entity-type":"item","numeric-id":2401638,"id":"Q2401638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$6A514A41-49D9-40B0-971E-468A2D3BD094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553e019470f82abb71557f9ea3618b8c30e5bace","datavalue":{"value":{"entity-type":"item","numeric-id":3560843,"id":"Q3560843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$4295E19E-6CDA-484A-9FBF-CD33DCCD2AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c734b18a5de3c007d82963e6640b91cb73df1093","datavalue":{"value":{"entity-type":"item","numeric-id":5137359,"id":"Q5137359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$F1EB8886-7998-47D7-852B-BD40A996F56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaec6b1ef98401183e717d7ede4c2e92eb3f5e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2946731,"id":"Q2946731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$5515F27F-8259-4486-ADCB-E8895545EFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02542d2a90308e552922ee3f9d075428394b647e","datavalue":{"value":{"entity-type":"item","numeric-id":5370916,"id":"Q5370916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$597A3D5E-F34B-43D1-9976-338A4173D35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e605d3a5b013a5d9a762855dbf9a41df1e7585cd","datavalue":{"value":{"entity-type":"item","numeric-id":2842118,"id":"Q2842118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$BE43BC1C-06EA-4243-94B7-399E48AD8CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bc17b1e78edd811116c5784ccf9585d649d0d9","datavalue":{"value":{"entity-type":"item","numeric-id":2914364,"id":"Q2914364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488458$8399729E-EAC3-4BD6-92A5-8A131ED3CF7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d247f661bd38fc8929018a9ca14f33eec6d506","datavalue":{"value":{"entity-type":"item","numeric-id":3453751,"id":"Q3453751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a697f72a6b11cf2a0f233551055c068254c1422","datavalue":{"value":{"amount":"+0.7774380445480347","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":"Q6488458$70576B36-F61B-4454-9BFC-D7153FB483C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604857cf924a0ac17c6f0fbe8c10a04bb96bb7cc","datavalue":{"value":{"entity-type":"item","numeric-id":3186602,"id":"Q3186602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae865310cb471884b715f9ca4d7c0f3acbf3f130","datavalue":{"value":{"amount":"+0.7576510906219482","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":"Q6488458$6405E4D7-0DF0-46F1-8CF5-010E1402B746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3cc8d611b822ce5ae7d51eccee17186ed140a16","datavalue":{"value":{"entity-type":"item","numeric-id":5395117,"id":"Q5395117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d0fd326cf10ed1488719d14e127b3ae45c5a2a","datavalue":{"value":{"amount":"+0.7519915699958801","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":"Q6488458$6657D75F-3761-4B02-9642-F6C83F46B696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b425b71db0d9d827326b4625f1b9b6694b42249","datavalue":{"value":{"entity-type":"item","numeric-id":3385623,"id":"Q3385623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75fe0c63ca446d34cd30f73275bfd0a111709a76","datavalue":{"value":{"amount":"+0.7387346625328064","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":"Q6488458$65F36DC3-D791-4272-A3EA-D66B60082DAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488458"}}}}}