{"entities":{"Q2220441":{"pageid":2231184,"ns":120,"title":"Item:Q2220441","lastrevid":53914604,"modified":"2026-01-25T22:27:44Z","type":"item","id":"Q2220441","labels":{"en":{"language":"en","value":"Equivalence checking of quantum finite-state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300313"}},"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":"Q2220441$C8E8089E-B74F-4509-B4B2-2892A4EB6515","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4426cd50b5ee856d70bb9af90fb0581ad43f197d","datavalue":{"value":{"text":"Equivalence checking of quantum finite-state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2220441$DCAB1CB4-C5DE-4AB7-B633-E99A8F697BE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a14d7272ee07fa51147aad39f526e4b33ed17069","datavalue":{"value":{"entity-type":"item","numeric-id":273386,"id":"Q273386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$3D140304-BF32-4A3B-A679-BC1350B8B227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f46485302acf326aee298047403a846cbfc1595","datavalue":{"value":{"entity-type":"item","numeric-id":2109934,"id":"Q2109934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$3594756F-6062-4F8F-B1B0-AB633D4C6F75","rank":"normal"},{"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":"Q2220441$E57D0901-1918-46B1-9597-02E22CB6C0B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$85D755C9-8751-4E1A-AC35-C2965CDF96F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53f0ceda72590e448029088434c5467f2bd48af","datavalue":{"value":{"time":"+2021-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2220441$6F3DAF2A-5A53-4F44-87FA-A59E44D7F5D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bec2fc02c93be3915511f84661fe4a4a2b8a18e8","datavalue":{"value":"https://arxiv.org/abs/1901.02173","type":"string"},"datatype":"url"},"type":"statement","id":"Q2220441$90B7B23F-0E17-4365-830F-C967FDE5A77F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220441$0B1B1AFC-962C-402B-A367-AD70C4564CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220441$064ADC08-4CA5-4003-81B6-DE0556D7A976","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3458354fc7391a32b6860b21ef97d939e615437f","datavalue":{"value":"7300313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220441$ABD3CF9D-F2F4-4748-A195-600AFDC2BFCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8691699384ec038dd67d008cb1948aec9bc7a00","datavalue":{"value":"quantum computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220441$3EB7E3D9-AD33-4607-8E4E-CF7299319CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f4f3206a970f2347542a3cd16dbe4b81d5e9296","datavalue":{"value":"quantum circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220441$B3DA09DF-73CB-432B-A9B6-3D56B691477E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15850e00da325a34d047c935b0f3dc6a6ccc2cc","datavalue":{"value":"Mealy machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220441$9935E799-5112-44C1-A059-549A34C0569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220441$E4099C41-1719-474A-A570-FAD44211EE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aae8844fb4afa35253d54126900473b330ca958","datavalue":{"value":"minimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2220441$C263FC09-68C8-46CC-B553-2FDD131D2708","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":"Q2220441$8CE2D83B-407D-47E2-A52A-97D65F0B59F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b1d62b46de12e8d1ba5efbd4e1453e19b8dc1e9","datavalue":{"value":"W2909742212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220441$2811CEDF-E1DA-43C7-83C1-DDAD62358972","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d1c6023074c5779677c9d359c48f63fdd68054","datavalue":{"value":{"entity-type":"item","numeric-id":5326347,"id":"Q5326347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$1B08A7AD-7AB1-4EF8-97FA-83FA0EAC4F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bbcfee7475131ce07058f09613436265a20569","datavalue":{"value":{"entity-type":"item","numeric-id":3055528,"id":"Q3055528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$F9E26FA4-75A1-4742-8F33-A6B488C3A4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$9110174B-4B54-48B9-B176-24FF092A0ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26bd94933285a75c81f950c5753014c857285e03","datavalue":{"value":{"entity-type":"item","numeric-id":4452048,"id":"Q4452048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$5C2E0147-C245-4E6D-A027-4AF40131F9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cf0e9a3343386889cb2af6b83a5b7266d1c4e1","datavalue":{"value":{"entity-type":"item","numeric-id":3149877,"id":"Q3149877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$52B665FD-7EA8-4CE0-ACDE-592CF9F9251F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"617f8c4d8435158139319e7fff868a791e694d73","datavalue":{"value":{"entity-type":"item","numeric-id":5928540,"id":"Q5928540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$B8076E0D-9C60-4AFC-8ABD-0E5840F84783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f891d30ac67b91a0eda829c8a6ecb30813a072e","datavalue":{"value":{"entity-type":"item","numeric-id":5320670,"id":"Q5320670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$7D6EEDEA-8C7B-4FDC-80E5-3A892CFE6662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a02b6a4d4a0ab84bc7fccea62ed079d78cd3b14","datavalue":{"value":{"entity-type":"item","numeric-id":5167844,"id":"Q5167844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$E9C50A6D-2D70-475A-9351-AD4326397E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdedbb86a7036a74f5c11187c3e2c7f7a84a300d","datavalue":{"value":{"entity-type":"item","numeric-id":4474095,"id":"Q4474095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$05D52B79-8C74-4F0E-9CE0-E21001625B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0e70fe217ff4249331a09fbb5f5a2e580cb33c","datavalue":{"value":{"entity-type":"item","numeric-id":5375295,"id":"Q5375295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$AA5B1EA1-3F34-4126-9CE4-3DB374E87612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2861c1a3ca38f46680e40aa58c0591475ace75f","datavalue":{"value":{"entity-type":"item","numeric-id":2518375,"id":"Q2518375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$9E21620B-9887-43B8-B9A1-5E0644210AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea51fa60d6e6a53158738ea981e90bf75bbf696","datavalue":{"value":{"entity-type":"item","numeric-id":2503273,"id":"Q2503273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$A3315EBC-4ECB-42F6-9AD1-72479556E9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebed9293ef742c6ef56a9402ad4d3a2621270864","datavalue":{"value":{"entity-type":"item","numeric-id":764358,"id":"Q764358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$DBC6CFA1-8872-48DA-8ADA-1E3079E53A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0590d531d6ca5475e6fe682c3400018dd16285dc","datavalue":{"value":{"entity-type":"item","numeric-id":690502,"id":"Q690502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$DAE6DC68-48A8-4252-A393-05089C199DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f4cbf96b0e2e32598e06c1d9c8db2b8601f867","datavalue":{"value":{"entity-type":"item","numeric-id":1566730,"id":"Q1566730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$21162A00-F500-49FC-9647-10E428215F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$CDD3920B-A831-4689-83F1-8F6C5CED4AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db17a091538db607f97591cdc8dd05ed9d27f84e","datavalue":{"value":{"entity-type":"item","numeric-id":1604939,"id":"Q1604939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$797D2FC2-4AC7-4D84-ABE2-9A9BFD252416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01e8a031daa82f8f8543c96d9f6e0571e5260d6","datavalue":{"value":{"entity-type":"item","numeric-id":766174,"id":"Q766174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$B59D1D8D-C012-432A-8CAE-E3866E2E075A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9ef86b2ad7fb68ccf2a951e8b468542d85fcab","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$AE0F8061-2080-41FD-BE8C-B5CFBE699AC0","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":"Q2220441$DD7F41DE-D587-4428-9343-C38F517B3832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5718dd49930491916235d0432e4851489c7fabe","datavalue":{"value":{"entity-type":"item","numeric-id":3990650,"id":"Q3990650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2220441$C0085531-5659-43EB-9C2B-52A75878430D","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":"Q2220441$9621E9C2-BB34-4200-B756-BF2B413539D0","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":"Q2220441$9A392A1D-87A7-44AE-87AB-31EE89750E9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"058495f7382344f56cc3c7e02080010fbfc027dd","datavalue":{"value":"10.1016/J.JCSS.2020.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2220441$579AB6BC-F8FF-4635-B316-D59B1B1EB745","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0dafa9119298d2719063e6db2f694c7d508c6af","datavalue":{"value":{"entity-type":"item","numeric-id":1029358,"id":"Q1029358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56b938b289801c4c9868e85747406b668177be6","datavalue":{"value":{"amount":"+0.8336354494094849","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":"Q2220441$A00593D6-E974-4943-8B12-252CEDA677A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28daec55fce5ac9dfa0800bd0bdc8cab0bbcaf03","datavalue":{"value":{"entity-type":"item","numeric-id":2518375,"id":"Q2518375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee774115ffbe300c62c7a90d31a248e26f4ffdb","datavalue":{"value":{"amount":"+0.8303095102310181","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":"Q2220441$241B4AF7-4332-44AD-8D71-A4BC0DA22D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4baeed810555bd5d39ba5b61b317943a6ed8ef1","datavalue":{"value":{"entity-type":"item","numeric-id":4474095,"id":"Q4474095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79597bad446c9779bddebf1657e6b1d954ea9dd3","datavalue":{"value":{"amount":"+0.8264505863189697","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":"Q2220441$D38D8806-6BDC-469F-A277-EE307EF18CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2733a6de16a4efad42434c0affeef5dc49884969","datavalue":{"value":{"entity-type":"item","numeric-id":2503273,"id":"Q2503273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcda9b1875c8b9c9c350e4b2c67039e58e15e7b5","datavalue":{"value":{"amount":"+0.8073530793190002","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":"Q2220441$F1F5FB49-B197-45DB-A7AB-017E75EA17F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787a4944121c473a01330626321306682a2b0570","datavalue":{"value":{"entity-type":"item","numeric-id":766174,"id":"Q766174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89c9bec9958a0987f155806d810d4a2d85ad372","datavalue":{"value":{"amount":"+0.8005993962287903","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":"Q2220441$4907A402-0544-41AD-98E5-0F2B4B7CFD02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2220441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2220441"}}}}}