{"entities":{"Q667515":{"pageid":669364,"ns":120,"title":"Item:Q667515","lastrevid":63411936,"modified":"2026-04-11T12:48:09Z","type":"item","id":"Q667515","labels":{"en":{"language":"en","value":"Toward automatic verification of quantum programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7035353"}},"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":"Q667515$DC7C50A2-62A6-40FA-B2F7-80EB1916F0AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff95cd56504ed0df4ff8b241492eb706d441aea0","datavalue":{"value":{"text":"Toward automatic verification of quantum programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q667515$4BABEED9-4F99-4D7C-928F-D723026597F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a517a71aedf6af126e97880e6a1c2b1cd358c856","datavalue":{"value":"1425.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q667515$1D78CCB3-9BC3-4144-90F8-0F567B96B383","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$10507435-AF77-4A43-9A47-980E22B8836A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b783351c35e120ec0bb7c5359bc3eabb3a21294c","datavalue":{"value":{"time":"+2019-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q667515$BD89036B-F98B-4BD5-8DDF-11DB9DE5B536","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3aada36051e9e5520dd6738379a6c5792139eabb","datavalue":{"value":"https://arxiv.org/abs/1807.11610","type":"string"},"datatype":"url"},"type":"statement","id":"Q667515$FCBA9976-F425-4603-9163-2F117F7C7E3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q667515$25CDAF56-C395-4872-BDEB-FC3CB7B83E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d49e87838bc3cca1b2ca46cd3cc36550e9683434","datavalue":{"value":"68Q12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q667515$CBF0D4C5-83D5-4262-B95D-EBB81A88BD0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fedf2188ca22d58b5e0782b644437b9a5c157b3","datavalue":{"value":"7035353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q667515$A6D44627-B7F9-4C1F-A761-2081A8A52032","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fdee470dbbb1cf7986bbcb0c71a5b313b719c1","datavalue":{"value":"quantum programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q667515$76180642-7E41-49A0-9D59-4293285B2BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q667515$265C01C9-7673-4D57-9A84-8D2727D1A1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ca107c120bf0fe0d1305cc133c79c93743d2ff","datavalue":{"value":"proof outline","type":"string"},"datatype":"string"},"type":"statement","id":"Q667515$EE38B09C-FBE1-4737-9DF6-1E33075496C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eca512cc74473b625861c317e99fdb36f4528dc","datavalue":{"value":"auxiliary rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q667515$B3411965-1865-4FEE-8DB2-36735D4B8520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q667515$710773FB-D1E8-425F-BBD4-246A25860CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q667515$B6C641F8-2868-4819-AA17-B1FFE320CB55","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":"Q667515$37AF8EF8-0F2B-40F5-A7A3-23F475D2AD38","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bfeb1ce870aecd0eb5c3e3b9dfed6a47ea94b991","datavalue":{"value":{"entity-type":"item","numeric-id":5973013,"id":"Q5973013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$604C5077-4362-4C24-A988-0B3764B0AE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c69567ab1e57276dbf1175b69c6b8aa4fb7a627","datavalue":{"value":{"entity-type":"item","numeric-id":54937,"id":"Q54937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$A5143A46-B4BF-4090-BAD9-770A03182821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d67aab60b6e291a28242f1e0b34774515acf547d","datavalue":{"value":{"entity-type":"item","numeric-id":33456,"id":"Q33456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$12564885-7A31-421B-B8BE-337F00C833FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a69d4af343e7713dad28bd792e452708e174de","datavalue":{"value":{"entity-type":"item","numeric-id":38019,"id":"Q38019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$D6052B80-A8FB-42C7-94E1-7E78261C37C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f6061a26f0021fd565872d3f51665f1ce6598b6e","datavalue":{"value":{"entity-type":"item","numeric-id":54938,"id":"Q54938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$BF7ACDAA-1200-4DBC-95A5-B7DB4492E91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec624d1a038e4817fb3fc38fd976b7bbe661ccfe","datavalue":{"value":{"entity-type":"item","numeric-id":21873,"id":"Q21873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$474C9806-020D-4A51-8E58-DAF43425EE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69d9c4bde3536eb1b98383219a23a05b9d4a3832","datavalue":{"value":{"entity-type":"item","numeric-id":24802,"id":"Q24802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$4DDD3C81-3AFC-4214-ABAA-8C1EA970B15F","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":"Q667515$B9F12486-4074-489D-98AE-91A655E1AC49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ead39d0559475cbf090d64610a2c7029836a44c5","datavalue":{"value":"W3105304321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q667515$82AE6BFF-7B1F-48B4-99BD-1B5DC830EC94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26982e88cf4da1ef7b62b2f361e483e2788d654","datavalue":{"value":{"entity-type":"item","numeric-id":5175951,"id":"Q5175951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$CE84DD03-E880-4954-8390-04A47C3F09E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$A8EEFB38-203B-4C5F-8123-0ACFAD5FD640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"806883e214d43ddef8864767086842c06d49398c","datavalue":{"value":{"entity-type":"item","numeric-id":5482272,"id":"Q5482272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$13D4369B-74CB-4EED-B1F0-A2A188AF3EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a83681413983b5c1cd346b7aeccc929ffc09104","datavalue":{"value":{"entity-type":"item","numeric-id":5408416,"id":"Q5408416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$084D40B2-FB63-4533-877E-F961168651CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab64a8c9ac458e857c328e4205432fa6bbd6f59d","datavalue":{"value":{"entity-type":"item","numeric-id":2942860,"id":"Q2942860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$D07BD7A6-68EF-444C-98FE-C886E1B026A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87698a40e3244338bc2d7836c00d1dcfedd99851","datavalue":{"value":{"entity-type":"item","numeric-id":4674239,"id":"Q4674239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$1DDBE6CF-C049-4006-90D2-0867DA320EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87cbf97545fd43425705b5cb5179c4c7e74ab55f","datavalue":{"value":{"entity-type":"item","numeric-id":2851315,"id":"Q2851315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$85C0EF8F-1AAD-4E18-93E9-DAA6EA1A9C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94843e74cff4f6c0a9c61a11a081fe4a8d98563b","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$2FDAD524-50EF-4C71-B848-F66A33DC360E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$5DB6EE66-6FE7-4D4D-B870-4591E3E0FC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8712f1bc207788f59922bec79e7d5594f8f5eb3d","datavalue":{"value":{"entity-type":"item","numeric-id":5482269,"id":"Q5482269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$1C94852D-AA83-402A-8A94-F16A8EF4EADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add5ee622e5960bc726dc8851f8fc5b556ee05b1","datavalue":{"value":{"entity-type":"item","numeric-id":2455601,"id":"Q2455601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$C2A28152-9D3C-4145-AE69-63E2AFA7ED0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefe441f63bff59cf74eb614e8d0c6f895bdbf43","datavalue":{"value":{"entity-type":"item","numeric-id":5357722,"id":"Q5357722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$FFE06EDE-AA7F-463B-A58C-4F261BD34479","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":"Q667515$C64434A6-B0DD-458C-BDB5-78176A7C552E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$6CDC636D-2F63-4856-B01F-5DD9350CD1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ccf21c4ef0d868455113d3158584d449c577c23","datavalue":{"value":{"entity-type":"item","numeric-id":3245484,"id":"Q3245484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$949DBDAA-7F84-4366-B5C1-3C8D0C94F95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67f4f0b42c5d01363eae21bced4a80941606e06","datavalue":{"value":{"entity-type":"item","numeric-id":2868442,"id":"Q2868442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$C8223262-9383-494E-9289-9E92418C6FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$A87BF61D-995D-477B-B8E3-E4B7D57F6BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2596fff7a43cf9dae167e4a3260a86eb026f5650","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$89556B8F-A6DD-4B1C-A919-E68CF99D4616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$C09E3F4C-E18D-43BF-9662-26EE39E3B14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99078bf2c2882a3a64a95d58328e9c23ffa4afc0","datavalue":{"value":{"entity-type":"item","numeric-id":4930741,"id":"Q4930741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$3DB9C55C-D60C-495F-86B3-AC67628E2F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b389db16acc61f4ff0c6dc973ab83de12633d","datavalue":{"value":{"entity-type":"item","numeric-id":491263,"id":"Q491263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$21BE6052-0BC1-4B49-BA23-B788D218DCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19b008e1cd3a5cfd3e5339ac95b028670118326","datavalue":{"value":{"entity-type":"item","numeric-id":3656843,"id":"Q3656843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$8580A6E6-6026-49FD-AE20-31E290345BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf5307c554b7dc0ae8ee7f0b5ad78bdd6f73ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2453979,"id":"Q2453979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$34CF834F-87B1-4893-94EB-EBE04296DC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914f7110d6763b79f2d837055a1fde3267b5efba","datavalue":{"value":{"entity-type":"item","numeric-id":2495653,"id":"Q2495653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$1CEB92AE-2AEB-47BB-ABCE-D7728D7839AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$BD756828-9C7E-476B-880E-F4E28E747B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3a445fad0dc0985d7853860e848fa4592ae7f51","datavalue":{"value":{"entity-type":"item","numeric-id":2706552,"id":"Q2706552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$E1BC34F8-5090-4D8A-84FC-836E619E730C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f933bc25a716aad10a4b75bc37eda092a661fca1","datavalue":{"value":{"entity-type":"item","numeric-id":5370918,"id":"Q5370918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$81543475-F988-4B3A-88ED-0186355857D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$99F0E539-6F8A-4517-A310-566BA0BE19EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e3166c702946f2401b3476066fee9ebe1fba7b","datavalue":{"value":{"entity-type":"item","numeric-id":4818937,"id":"Q4818937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$628B63A0-EEA8-44A3-8E37-7C86CB129A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e3a7c19199c4a96513c31b549a957b05f384cd","datavalue":{"value":{"entity-type":"item","numeric-id":2947561,"id":"Q2947561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$AD2AC972-75CA-4600-90E2-9E4DE5735818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b937cca80b09aa96121ec74ac70da70595ce360f","datavalue":{"value":{"entity-type":"item","numeric-id":2380014,"id":"Q2380014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$74F14D6F-0B72-45F5-998D-971A046ACACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2dfc51927e8f915426af36c9186a844ee08ab84","datavalue":{"value":{"entity-type":"item","numeric-id":977174,"id":"Q977174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q667515$4820F9EA-0B27-4BAC-9647-7DA6DF3C14A3","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":"Q667515$1ED9C937-5D84-4BB1-9247-F49C22958403","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":"Q667515$A97006C1-0B79-46A1-84B9-47058738315F","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":"Q667515$F9E5E909-4659-40C5-9569-4B1516A59531","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":"Q667515$B578405B-5449-47EA-958A-1D122E3D213D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34261fd49018f63c64650cda5febc07f5ed401b1","datavalue":{"value":"10.1007/S00165-018-0465-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q667515$D568FB57-829D-4669-909C-B918ECE9B9A8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3012bfd5e483f174cb120666afec46cae01c755e","datavalue":{"value":"Q130916986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q667515$FF805AAE-5962-4B34-8FDF-85E9BCC8A0A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d2f033e8d8dd03ba5af13ddb06fe14e8181f07","datavalue":{"value":{"entity-type":"item","numeric-id":3656843,"id":"Q3656843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800d6074be1557c5438d8eb292a78abb5447759a","datavalue":{"value":{"amount":"+0.913409948348999","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":"Q667515$32282188-9216-4CEA-882E-F772AEF4F29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7398d4dd251660c0b1f27c91bf235db959d45c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2721095,"id":"Q2721095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01e479349521d0b1ebc61ce821410634b8f8982","datavalue":{"value":{"amount":"+0.8368479013442993","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":"Q667515$EE3CBA28-01E4-416A-992F-B117FDB2DFE3","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":"890e2cb4f6ff393395bf9c1cf11790f013744e91","datavalue":{"value":{"amount":"+0.8253107666969299","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":"Q667515$026E2AE4-6B70-434E-AB42-BDE0B84E8D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d519f2ee7c1aecbda81c19cdde56518b08d4a2","datavalue":{"value":{"entity-type":"item","numeric-id":5072611,"id":"Q5072611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116d5eeec9acc4eac6a45b648309a3c392029b56","datavalue":{"value":{"amount":"+0.8059529662132263","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":"Q667515$FF03BD35-E094-4732-A16A-E4502E257FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90b6d2d4e4d7a5225f608b3a92582bb6e9ad14b","datavalue":{"value":{"entity-type":"item","numeric-id":2455601,"id":"Q2455601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fb552b9851c16b4bb6ca8fd87a0be207063cee","datavalue":{"value":{"amount":"+0.8025866150856018","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":"Q667515$00AAC60A-1064-47BC-909A-6F22BEF9109D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward automatic verification of quantum programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toward_automatic_verification_of_quantum_programs"}}}}}