{"entities":{"Q5016382":{"pageid":7045959,"ns":120,"title":"Item:Q5016382","lastrevid":91881329,"modified":"2026-06-05T00:18:38Z","type":"item","id":"Q5016382","labels":{"en":{"language":"en","value":"Relational verification via invariant-guided synchronization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7444021"}},"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":"Q5016382$E9C546B0-0404-4836-AC2C-BD528BE26349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d3ac4aa1348d0f240fdab26b7db252f3de96933","datavalue":{"value":"1483.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016382$F56FC7CB-1519-45A2-9F5D-97686A866E06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc2f398aa9daa1fa90afc5483e8dfc2d20856f45","datavalue":{"value":{"time":"+2021-12-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":"Q5016382$509957CE-D757-4857-A2CC-6748407CD9AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ef200c3003d4b78e619f2e5864161e012916faa","datavalue":{"value":"https://arxiv.org/abs/1907.03997","type":"string"},"datatype":"url"},"type":"statement","id":"Q5016382$64E08D79-9B65-49BB-B3F6-488E15F06BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a7f939616cb57202d0cd77c75efd7ce5e797089","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVSPERR2019.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5016382$D324D214-683A-42D6-B8CE-A10A36BE9184","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016382$6B6E15A2-8C3E-429B-8D7D-23C56E2BCA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016382$D695A0F7-821D-4322-9E43-DA87A0454186","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89b8df7e782a6b750edf098a08fae946e42028ff","datavalue":{"value":"7444021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5016382$275437A8-BDC7-47E5-8B5A-9C5659327A98","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":"Q5016382$F89C2A1D-9D70-44FA-8A3B-5B0BCBD2DB0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ad3131adae1ec4cfb1e0e707f403902daa2316","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016382$574DAF7F-1BA1-4197-83EE-236A9EBCD55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890db7446e2310e3c1bd99c02cf47b64ec54941b","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016382$147409D0-7AD0-4330-BA9C-767D095983F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029667a77a0e7ddaf05a9a372f6983038716bef5","datavalue":{"value":{"entity-type":"item","numeric-id":2374302,"id":"Q2374302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016382$414CFA73-3EF0-4274-AD8F-5D485C503F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016382$74A54158-CD5C-4D65-9B03-79B0748DCE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8eda406b524bc7a8f585c46b182f9071cbe51a","datavalue":{"value":{"entity-type":"item","numeric-id":3087994,"id":"Q3087994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016382$30168435-9006-4D4C-8D11-BB2B8D12C51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db584d694e65ad0d716439ab78ef423b2e14371a","datavalue":{"value":{"entity-type":"item","numeric-id":4928447,"id":"Q4928447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016382$F1A023DA-C91F-4635-94A5-6095EE0C60B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00fd6a3e8c1cf2dd9b085fa696840af6d3bc8290","datavalue":{"value":{"entity-type":"item","numeric-id":1703014,"id":"Q1703014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016382$9DD3F6FF-380B-48CE-AEF4-3F0EDEE5F155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93abf431569bdbcea87c1d44b0c664ae14c573d","datavalue":{"value":{"entity-type":"item","numeric-id":6045003,"id":"Q6045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016382$4182FB74-F245-4945-B002-1BCFA048677D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635c32f054dbe1f1f21a3b02a893cd344b0e15de","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016382$0717D6D1-5737-4FD5-9AF1-D6D3E68506AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c2af6114a325d3ba9d32333a59af45d2f625","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5016382$9CDED2E4-0DC0-4A12-99C9-CF4DF106DD33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cc0e1b16c769010b9160f71d8491515f57b776","datavalue":{"value":{"entity-type":"item","numeric-id":6045003,"id":"Q6045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15280c07030cc5db9bb4a759ea90b5634cd932a2","datavalue":{"value":{"amount":"+0.8160278797149658","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":"Q5016382$C76CF94D-8098-4130-8E11-C6E21B759089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dab0ba22a95f9f51b313f3f057ed001bb7a1b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4633561,"id":"Q4633561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5abddd58878d7196f7dd2b80e76d4428878553","datavalue":{"value":{"amount":"+0.732801616191864","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":"Q5016382$A841AB8B-A73B-4032-9EDB-62CAC0178D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d029eaa256dcadd504eff29734e46b2e1f7a941","datavalue":{"value":{"entity-type":"item","numeric-id":1664383,"id":"Q1664383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7ad31e62960b635eb61b4e34e47ebae5f22ccc","datavalue":{"value":{"amount":"+0.7229853868484497","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":"Q5016382$F3C82963-C711-48A5-B7D0-CC4E1E81053C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2634e53a10156fa2b95632827a647b59604c0cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a91573f5a189ebaf7828db2f86f9ce4993c02b","datavalue":{"value":{"amount":"+0.7192021012306213","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":"Q5016382$57D73E13-1D3E-43C2-A53F-A5731F5FA803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339516b1d3912a8a65a1d443327df4329e2669be","datavalue":{"value":{"entity-type":"item","numeric-id":2165505,"id":"Q2165505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d4d3c137031dbe169e97e53e72b86e235a48c7","datavalue":{"value":{"amount":"+0.7154375910758972","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":"Q5016382$EFB38D3F-6CC2-4D0F-8EBF-814F274B6A13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational verification via invariant-guided synchronization","badges":[]}}}}}