{"entities":{"Q7361406":{"pageid":31519757,"ns":120,"title":"Item:Q7361406","lastrevid":105365705,"modified":"2026-10-07T13:36:17Z","type":"item","id":"Q7361406","labels":{"en":{"language":"en","value":"A Hoare Logic for Diverging Programs"}},"descriptions":{"en":{"language":"en","value":"AFP entry HoareForDivergence"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6f0b848b390de158009f12293de068dec9340f9","datavalue":{"value":"https://isa-afp.org/entries/HoareForDivergence.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361406$E1D19619-E7DD-49FC-8EF7-6240FB8D607E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb287c2285220933e4755ad0427b22833453045f","datavalue":{"value":{"time":"+2023-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361406$17CD7D83-6237-48C7-8CCE-7FBA6736C19E","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"d9cb76a4e13cf399e45c354f9480fc0b458baf87","datavalue":{"value":"Johannes \u00c5man Pohjola","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361406$BF3E8ABB-FD8A-4E8E-A1F5-4C89EAE749FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f7790e9921de2734d5fc0d5df2676520bf4181ec","datavalue":{"value":"Magnus O. Myreen","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361406$CBC79831-CFBB-408A-9118-6C3AE3C0FB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4c54cc854053cf901e048a0210fff6d4afee95ab","datavalue":{"value":"Miki Tanaka","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361406$B7E36E9E-077F-4C41-8939-0C45E097B1B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91ee1ebd702f71c9977eaf239192b680c01f1b29","datavalue":{"value":{"text":"A Hoare Logic for Diverging Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361406$7F0813F6-01CF-4931-9B9E-9058843916AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc81c2259ccd07309fc781d98db87e30e21a5306","datavalue":{"value":"This submission contains: a formalisation of a small While language with support for output; a standard total-correctness Hoare logic that has been proved sound and complete; and a new Hoare logic for proofs about programs that diverge: this new logic has also been proved sound and complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361406$AFB246EB-96F3-4FC5-A13D-9EE2E5C1FF6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70b6f9b2fa6ef6e02ae39b7bd599065333d629e","datavalue":{"value":{"entity-type":"item","numeric-id":5875446,"id":"Q5875446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361406$55FB1C3E-4C24-41BB-9CE6-59ED038FD52F","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361406$0B1D8D1F-3313-4956-BCFD-48CF74847930","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c9d73c02403c0af647a73b8da7299dbef78ebf0b","datavalue":{"value":{"entity-type":"item","numeric-id":7361764,"id":"Q7361764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361406$E41ED15D-22EF-4ED3-93F7-7A7C6B3BBB9C","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"aa8f6bd5a2b4440f838b34acf103bdf45fee4f56","datavalue":{"value":{"entity-type":"item","numeric-id":7360797,"id":"Q7360797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361406$FD06F226-4775-4227-92D8-696C1417CC86","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361406$3F42EC79-250D-4BEF-88DA-2F3D62CDD0D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Hoare Logic for Diverging Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Hoare_Logic_for_Diverging_Programs"}}}}}