{"entities":{"Q4635654":{"pageid":6665235,"ns":120,"title":"Item:Q4635654","lastrevid":53070374,"modified":"2026-01-24T04:10:30Z","type":"item","id":"Q4635654","labels":{"en":{"language":"en","value":"On the Hoare theory of monadic recursion schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863127"}},"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":"Q4635654$1D68630A-617C-4BC7-A776-73CB111B4708","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2955c67a81fdca2e6b47a048868c3cc319744d25","datavalue":{"value":{"text":"On the Hoare theory of monadic recursion schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635654$DF5652A7-58AC-4ACF-9270-DFE084B52EFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"058cc1dde81d9ad39b8fbecaea77cba50d78070b","datavalue":{"value":"1401.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635654$4DCA35C5-5062-4E7A-BEF2-248595305F6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"003618dc9b037f2c263836aafa8a9a4c8dba2b19","datavalue":{"value":"10.1145/2603088.2603157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635654$F2DDA05B-30EF-45D0-832A-580907F6BBED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ad1843352b6f444e474b458244b096b619e5cb9","datavalue":{"value":{"entity-type":"item","numeric-id":2044208,"id":"Q2044208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635654$D4E83595-1859-46AD-9694-249C7DC33ACD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635654$2259DFF0-A598-4DD7-AE12-39EFD5C24E65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635654$E67EBEDD-2578-4159-A161-051BF86B51F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635654$97271328-3046-41C9-99BA-1EBC51689DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635654$B3A740C5-A00E-476F-A838-BACF486C3619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635654$4089C70D-27B8-498D-AB85-0C377518987F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1e691273301ad8e7c7ab11813a90439b22e9da2","datavalue":{"value":"6863127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635654$E5DEE2C1-634E-4BF8-8209-29C14B7E55E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635654$F3F47379-B1E0-4852-A386-0AEADD377C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"555038aa795e505e9095b09f6db207e73a79c018","datavalue":{"value":"monadic program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635654$19563088-D388-40B6-940A-977AAEE342A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685efb8534091d63b5a5b491f805d8e4eff2c0ca","datavalue":{"value":"monadic recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635654$4AE829DF-84A2-4004-8EA9-AA93E06703EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"482c3f845cac6032b06a93fcee39f4c998594eff","datavalue":{"value":"propositional Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635654$782C96D5-A1A4-497F-B2A5-2522E07FFD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef55731d543f6f67b118067e406791b71e451b5","datavalue":{"value":"sound and complete Hoare calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635654$7DAA4A1A-B7A1-4A62-961F-FA7848576DDA","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":"Q4635654$C6258689-3B6C-4AC1-9585-DD44369BAC47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e8400dd32fb2711ec05f6608b1e8b3b01d910a7","datavalue":{"value":"https://doi.org/10.1145/2603088.2603157","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635654$04A9FF1B-2C69-44FF-AAA4-7A003874973A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6ecfe77bff52f29d9a283aaed8a1d7602f4ad46","datavalue":{"value":"W2084414320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635654$3A96FC8F-7A27-440D-9CCE-0F8894EAFEE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9b84eaf773193e973dfedcbc9445b6b0d883a8","datavalue":{"value":{"entity-type":"item","numeric-id":5277914,"id":"Q5277914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5939df6d94fa801c1358253f8f12e951e697e64","datavalue":{"value":{"amount":"+0.9597521424293518","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":"Q4635654$058C3336-749F-43D1-991F-782017AC7C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee66d71a0027eb77fd59f107b4851ef713b49ea0","datavalue":{"value":{"entity-type":"item","numeric-id":796301,"id":"Q796301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3228bef98d63c2b5896ef6c808c8d33d76d3c5d","datavalue":{"value":{"amount":"+0.7748077511787415","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":"Q4635654$D2D78949-0339-4AE4-8024-04E8B040D9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506b033e8ee820ddb31ae4b6a928f3a9843320e7","datavalue":{"value":{"entity-type":"item","numeric-id":4508638,"id":"Q4508638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7fca169c7bc84d6fbaa47b297f5655d04d4e7e3","datavalue":{"value":{"amount":"+0.7570011019706726","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":"Q4635654$CB11B813-F8AB-4691-8A8C-073F5131CFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ce4e8da4113540ca53f3d85bcb8424000dde90","datavalue":{"value":{"entity-type":"item","numeric-id":2753669,"id":"Q2753669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b70d8c10173b6640b5f217c22867d9402cba3c","datavalue":{"value":{"amount":"+0.7393031120300293","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":"Q4635654$010A443F-8CB5-4A77-AD59-630496F0DAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5627fb6c8e32ffd26bfa8c90e6de7d5acbca5f3a","datavalue":{"value":{"entity-type":"item","numeric-id":4205068,"id":"Q4205068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b70d8c10173b6640b5f217c22867d9402cba3c","datavalue":{"value":{"amount":"+0.7393031120300293","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":"Q4635654$7C55F2E7-B0C7-407E-BE31-AE712C30B1F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635654"}}}}}