{"entities":{"Q7361479":{"pageid":31519976,"ns":120,"title":"Item:Q7361479","lastrevid":105366746,"modified":"2026-10-07T13:36:42Z","type":"item","id":"Q7361479","labels":{"en":{"language":"en","value":"Certification Monads"}},"descriptions":{"en":{"language":"en","value":"AFP entry Certification_Monads"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a101a4daa012838c07b12a4670e9398a3be0b205","datavalue":{"value":"https://isa-afp.org/entries/Certification_Monads.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361479$CD20821B-6748-4595-AB18-D65E8DE5CD46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fc0586fb6d067887a01c3a487054385370fea97","datavalue":{"value":{"time":"+2014-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361479$FC7E93B2-F024-4E97-B7A5-D20DCA1E9D27","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7335db8cbac804a8435e80e80636b4dde04d73bd","datavalue":{"value":"Christian Sternagel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361479$CF561553-0A51-4CE8-B76D-02C33347CCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361479$347A7F3F-A3F8-42B7-962A-7969B5436A49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd4f742780cf143290d872e4c57b2c7d3236fcdf","datavalue":{"value":{"text":"Certification Monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361479$A7AE0D34-2596-41BD-99E2-4E4331B35EA0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"daf94c66b3f6032df5b7af0eccf6d8b3f3afaea9","datavalue":{"value":"This entry provides several monads intended for the development of stand-alone certifiers via code generation from Isabelle/HOL. More specifically, there are three flavors of error monads (the sum type, for the case where all monadic functions are total; an instance of the former, the so called check monad, yielding either success without any further information or an error message; as well as a variant of the sum type that accommodates partial functions by providing an explicit bottom element) and a parser monad built on top. All of this monads are heavily used in the IsaFoR/CeTA project which thus provides many examples of their usage.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361479$CA3B153F-B49C-4EED-9FA1-83BDDB954597","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":"Q7361479$8880BC53-FC04-441D-92D9-9FF99FC5819C","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"1201acfd0ade107234c23996279076e377633ac8","datavalue":{"value":{"entity-type":"item","numeric-id":7361247,"id":"Q7361247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361479$CA755539-A829-4532-A800-BE8D6B226AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361479$D5442C0E-FBD4-4908-B0E8-36006BEF9531","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"eff161b7dcf55a20ec4d840b7f18d4148cc115e3","datavalue":{"value":{"entity-type":"item","numeric-id":7360789,"id":"Q7360789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361479$59B1FFDB-85C9-423E-A7C3-E66EC0C967AA","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":"Q7361479$190819A1-9DF8-4E6F-9958-1019C6B89B63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certification Monads (AFP entry Certification Monads)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certification_Monads_(AFP_entry_Certification_Monads)"}}}}}