{"entities":{"Q7361478":{"pageid":31519973,"ns":120,"title":"Item:Q7361478","lastrevid":105366929,"modified":"2026-10-07T13:36:43Z","type":"item","id":"Q7361478","labels":{"en":{"language":"en","value":"Transformer Semantics"}},"descriptions":{"en":{"language":"en","value":"AFP entry Transformer_Semantics"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c1dfaf736704d2d23121bd4daec284e8f32dd60","datavalue":{"value":"https://isa-afp.org/entries/Transformer_Semantics.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361478$5DA31B85-4310-41DF-8AFD-40BBF0038859","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8096502b9da70fcca6bebcdf976f1e511fee9ef8","datavalue":{"value":{"time":"+2018-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":"Q7361478$6E2A7024-3B6B-4A03-9787-83A8B763090C","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"791c9af3f632028a8094f425e13128d157950d83","datavalue":{"value":"Georg Struth","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361478$47BAEF3A-E607-41ED-9716-F03744847CA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99847749392c423c59d09c70bc6eff245b842737","datavalue":{"value":{"text":"Transformer Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361478$974F19CE-FB16-4FA7-96B7-2429CA654604","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75dc890ddb44629489ca4585f79aec2d9d68e117","datavalue":{"value":"These mathematical components formalise predicate transformer semantics for programs, yet currently only for partial correctness and in the absence of faults. A first part for isotone (or monotone), Sup-preserving and Inf-preserving transformers follows Back and von Wright's approach, with additional emphasis on the quantalic structure of algebras of transformers. The second part develops Sup-preserving and Inf-preserving predicate transformers from the powerset monad, via its Kleisli category and Eilenberg-Moore algebras, with emphasis on adjunctions and dualities, as well as isomorphisms between relations, state transformers and predicate transformers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361478$D9E7D770-3173-4C3F-857C-13E74E643F10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$B2D2CAD1-AA83-48EC-A055-620C8ED75C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc62f32ebe5f2c566c09500f98ee202c262830a","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$63BFF0F7-154A-4E37-8AF6-39169B80F0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b2e611a60bbb1cbb1ab23d8301e40dbbe2b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":2915136,"id":"Q2915136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$B513BC6B-9F91-41C7-8716-B8E174A80275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$DAB263F9-7959-44F3-861C-0224656F229D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$5EF2068A-134F-43BC-9149-8CD7528B0E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd4720f8173080601b83dcbc46e620e42233bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5856417,"id":"Q5856417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$BB0189B0-8E55-4D4D-99A5-734BDE8A79E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fd0f9fd1fa7a2df7613d8bd37ed93de45bc31e","datavalue":{"value":{"entity-type":"item","numeric-id":5278188,"id":"Q5278188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$159183D9-8320-4A52-8D6F-16F6313DFB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$A2D2620B-F8AC-4A2E-B11E-8AF6063726BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c85ed7d6fc5927b63a8ef705d23cf066361339","datavalue":{"value":{"entity-type":"item","numeric-id":5270088,"id":"Q5270088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$B5878ADA-5AE8-40E4-8052-38E17ECE57CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$8D80FF8E-81C0-47B1-BFD0-96D6AA31DF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$5352A5C8-6B59-422E-B8B7-9A75D476443A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5cab1513e2457c77b799379237c33e5461fd89","datavalue":{"value":{"entity-type":"item","numeric-id":2829259,"id":"Q2829259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$DE30F824-82FF-4D92-9FDB-9A15A08572C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$4E3B05AF-A701-4515-BA81-5F502CCC9CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35593f56c469c37182022e5dfe9dfc791c8656c","datavalue":{"value":{"entity-type":"item","numeric-id":3098056,"id":"Q3098056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$7FEC5A5F-E2EB-446A-97CF-17EAB87CEDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$9C097AAE-E8B3-4F1E-B3F4-C63B94040F15","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":"Q7361478$FE3A2ADB-5113-4DA3-8DCE-00865BD368F5","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"6ea1025b66b06a992f49ebd814f790537b878ba7","datavalue":{"value":{"entity-type":"item","numeric-id":7361392,"id":"Q7361392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$C92B8593-AD5D-4902-AD65-32B680D42DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"6d78e2c0042f305cf52b59088d561cb8d1636507","datavalue":{"value":{"entity-type":"item","numeric-id":7361496,"id":"Q7361496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$C381B806-55AC-45EF-9E25-B379E1F71831","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361478$78AD325D-2E67-46D5-B943-0F6A7685E8B4","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":"Q7361478$875442A6-0E71-4BB5-B141-B8D57DC45A73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transformer Semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transformer_Semantics"}}}}}