{"entities":{"Q6651940":{"pageid":14263097,"ns":120,"title":"Item:Q6651940","lastrevid":100048745,"modified":"2026-06-05T21:18:50Z","type":"item","id":"Q6651940","labels":{"en":{"language":"en","value":"Alignment completeness for relational Hoare logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7957003"}},"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":"Q6651940$586F9AC3-BBD9-4F5F-B181-9B614A170021","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b3a7cdb87cc538860cad3eedbd8375639354144","datavalue":{"value":{"text":"Alignment completeness for relational Hoare logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6651940$19E34232-C67B-47B7-BAEC-B6F166B49927","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60a6fb77bcf0b394c00a7538f521b004cd04912","datavalue":{"value":{"time":"+2024-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6651940$58A369D3-AC3B-4D67-B742-61527D8D675E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651940$C6128A25-8E2A-4861-B553-D21D01B69B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651940$B2726BBE-51F2-4A07-80BB-B4193FEB0BD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5225730fafee17547c2f7241e542d7ad74d7ede4","datavalue":{"value":"7957003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651940$A9F10E18-E531-4E9E-A05A-1C098FC5D0BB","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":"Q6651940$BAD44639-636E-427E-A845-DC915284064B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04baffbe37faf416e2400870de4604b7fb89dce3","datavalue":{"value":"10.1109/LICS52264.2021.9470690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651940$C37C2608-F79D-4D88-AC5B-5CF115C66E20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alignment completeness for relational Hoare logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Alignment_completeness_for_relational_Hoare_logics"}}}}}