{"entities":{"Q6546471":{"pageid":14157625,"ns":120,"title":"Item:Q6546471","lastrevid":55670212,"modified":"2026-02-17T20:44:55Z","type":"item","id":"Q6546471","labels":{"en":{"language":"en","value":"Verification of quantum systems using barrier certificates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855875"}},"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":"Q6546471$9074659C-C944-466B-BAB2-6F809254E68B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ee393a7b81a787309257b4524029120e5573ecd","datavalue":{"value":{"text":"Verification of quantum systems using barrier certificates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6546471$0E46DA9A-27A2-4833-9E77-917AA25563AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a539365af43485740ebbcf6e1f282a1343637263","datavalue":{"value":"10.1007/978-3-031-43835-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546471$5C3AD6D7-6C40-4759-A0B3-DC9895A092F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f228b2302199aa140789bcd679c0271da1d9b55","datavalue":{"value":{"entity-type":"item","numeric-id":6546470,"id":"Q6546470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$DE3CA1EE-C4B0-4FA6-B1E6-5ADEAAA184F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a2df4c9c185a830f3bb11dd84a837b0bb6e787b","datavalue":{"value":{"entity-type":"item","numeric-id":1031863,"id":"Q1031863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$E0088CDE-7350-4B0D-8202-4F40275B50B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66ab7a9759e1b34b547acdc6abd2881220f0b927","datavalue":{"value":{"entity-type":"item","numeric-id":2061249,"id":"Q2061249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$B416C6B0-6A5C-43F1-A267-61FFDE29C6B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6546471$F3D7E92E-5B48-47F8-A7A2-4B164F27CE31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546471$39C84568-D584-4EDD-A7F1-DC413C7779A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546471$3C67C919-8BE5-409C-8E8A-F99046447DE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15228488dc7563c31ae8c68bd4e708bd0b553eb8","datavalue":{"value":"7855875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546471$53C98ECB-C003-4796-95DF-95F71BCBCCDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e008fdd0dcb8c515569f45545f1874abb9093a8","datavalue":{"value":"barrier certificates","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546471$AA709B13-B2BC-4D48-971C-CB031EA07DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546471$F4DBA4C0-044E-4C04-8C0B-DBE9DAAA9519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82303e18fc49a9827db86f3983273305ea285b83","datavalue":{"value":"quantum systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546471$BEF486DA-ABC2-44BD-A0AC-AD41B2A46EE5","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":"Q6546471$5D8C5F0D-4014-4A3A-BEB7-777E160DAFF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fa7cf1301348853b1d7dfbe9a4c7978c20eee6","datavalue":{"value":{"entity-type":"item","numeric-id":6120668,"id":"Q6120668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$CCCAD49D-C031-4EDE-88A7-EB82FBE28274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4df1fbe284d5fc9f37495f92c778c1ff839b7d","datavalue":{"value":{"entity-type":"item","numeric-id":2233453,"id":"Q2233453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$B367E7BD-EAC1-4539-849F-031AEAF81588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5386aeedb11a3b76f46d577184ef2d4a7be4546","datavalue":{"value":{"entity-type":"item","numeric-id":2375607,"id":"Q2375607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$94880834-B95D-417E-8E3B-9D938EF7C814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7bdad72047ed9d33667f3daad935eaa5b4f7773","datavalue":{"value":{"entity-type":"item","numeric-id":6099610,"id":"Q6099610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$CB83E0E4-3C65-4006-84CC-C52CA695E55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2431008e0337b77fffc5f411eea2fa7ca394424a","datavalue":{"value":{"entity-type":"item","numeric-id":5002121,"id":"Q5002121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$FFA639C7-643E-418A-9920-85028A8AAE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294378f0868aba0cffde495618b69e78f27ffc2e","datavalue":{"value":{"entity-type":"item","numeric-id":2097770,"id":"Q2097770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$886AE12B-270F-4FB0-82B5-E18CFF9D9302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96e3cd73827723a8dc982d846104e251d12bb4f","datavalue":{"value":{"entity-type":"item","numeric-id":6154880,"id":"Q6154880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$76DAC523-FAEB-4A24-A7CC-EEB2334E9B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493b13fd4ab335af35b77d54a2c0c36e15378d28","datavalue":{"value":{"entity-type":"item","numeric-id":3612992,"id":"Q3612992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$E32E4C7C-F7F4-4550-A6B3-EB9CCE949C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c15a11202638c5e32ad62dd8b765388d78dc69","datavalue":{"value":{"entity-type":"item","numeric-id":3106671,"id":"Q3106671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$6ADBD9BC-98DE-4CFA-8031-F7063ACF624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11506d17fc98e715e2f29772c391f6ee42a2e904","datavalue":{"value":{"entity-type":"item","numeric-id":2044214,"id":"Q2044214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$38E4D50D-DA66-418E-AB63-5782E9813759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8a0c7f69cc7b61244a88a3320724a7c0f897ae","datavalue":{"value":{"entity-type":"item","numeric-id":5282200,"id":"Q5282200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$503E4287-5D45-419D-BCE8-AB06D84066CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8b91612e0721b60a5990d870dabcbc0388318f","datavalue":{"value":{"entity-type":"item","numeric-id":3196339,"id":"Q3196339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546471$2445E329-BF10-44EF-B3F5-67FFA4C03217","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24f257ed4ff1e6a031a80ff3fd605c1f2eb93fd","datavalue":{"value":{"entity-type":"item","numeric-id":4617973,"id":"Q4617973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6267b76d9ac2db801b741ce411997be38fd4fbd4","datavalue":{"value":{"amount":"+0.7509692907333374","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":"Q6546471$38C2D399-90F2-4DAC-ABD9-3B7661EAFF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c7fe952212f46f3df1c6e72df84e26cd4d51e4","datavalue":{"value":{"entity-type":"item","numeric-id":2311888,"id":"Q2311888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb58340f67e642521b0c2d45c6da150b24904c7","datavalue":{"value":{"amount":"+0.7455083131790161","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":"Q6546471$9A90C99C-6552-48D8-A80D-781328A80579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3807479a434725e5c8c7e9a91ebdbdea35f4f0ea","datavalue":{"value":{"entity-type":"item","numeric-id":667515,"id":"Q667515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8313f37975418f019014c97f53a2bce313787d21","datavalue":{"value":{"amount":"+0.7435616254806519","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":"Q6546471$A44B4BFA-3BD0-4E3C-ACD5-BAD4084FE9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3e5aa2f243d7e5738bc8e7a75771b6c3f8748b","datavalue":{"value":{"entity-type":"item","numeric-id":6174534,"id":"Q6174534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb294d9d9811dde155b8f81b4dcb9671b954c26","datavalue":{"value":{"amount":"+0.7198867797851562","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":"Q6546471$3BF6B94C-7712-4B81-B8AB-96F9D6230B22","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":"29fa4a0f8812c13c2043ccd4d4213a9671777ef2","datavalue":{"value":{"amount":"+0.7198347449302673","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":"Q6546471$39F4A290-656A-4E94-AC35-7098F6E8D428","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6546471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6546471"}}}}}