{"entities":{"Q5974121":{"pageid":12561766,"ns":120,"title":"Item:Q5974121","lastrevid":105426872,"modified":"2026-10-09T10:06:21Z","type":"item","id":"Q5974121","labels":{"en":{"language":"en","value":"Transformer semantics"}},"descriptions":{"en":{"language":"en","value":"AFP entry Transformer_Semantics"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5c19e42a3292aa010973eae527f0e70a73bfee57","datavalue":{"value":"42013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974121$23582E30-355A-4BC9-B600-E3993E6BD257","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":"Q5974121$E31D8007-B3DF-4B39-B31D-94EE84050D46","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"b239cf1c6c24c70202d52998339dd05034230278","datavalue":{"value":"https://www.isa-afp.org/entries/Transformer_Semantics.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5974121$6EE54EEB-72CC-4BE3-8E58-A0C71DA5CC1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5974121$F0D0A8A8-9F06-48D4-97B5-1EE3B164E184","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$26D3C198-ACFD-4699-98C7-E4065F50168F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"181a8497f7a319d54026dcfccf5a714e5c58403f","datavalue":{"value":{"entity-type":"item","numeric-id":40512,"id":"Q40512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$91402732-07B4-49CD-8BD6-EFF97B5F8A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6ea1daaaad60197d0d83fc7ac701579957406893","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$05603D9E-25AF-4D78-8A4D-4F49C47B5280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$C2652622-720B-4DCC-BBF2-A517247525CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"deb8ff1d94ce91499b3c889ad52e2af0d30c31a1","datavalue":{"value":{"entity-type":"item","numeric-id":43956,"id":"Q43956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$814D0A2A-EDEA-4180-94BA-9AF75E5BE1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$29BB3B1D-60A0-4F40-9941-1C77DC7ED69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"14c1585ec43c4b9edf59fbea0f64f76002c1f698","datavalue":{"value":{"entity-type":"item","numeric-id":43914,"id":"Q43914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$5FCC92AA-FDF7-4AD4-924A-2772A04950DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f659a0f84020c7c9cd05ca15cec41dfa781088c0","datavalue":{"value":{"entity-type":"item","numeric-id":35704,"id":"Q35704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$FC777166-CEB0-4750-B3E4-0FA2B84AAB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f37aaa72463d35f8933622cc257886a0465bc696","datavalue":{"value":{"entity-type":"item","numeric-id":5972481,"id":"Q5972481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$2A86892A-3958-46C2-973D-AC9F9D83F2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1718a76c81b10dcc81cbdbe69fc8fe178db7b09","datavalue":{"value":{"entity-type":"item","numeric-id":16299,"id":"Q16299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$055494DB-E68F-406F-A31C-66C71A95AB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"09e2993cb5d494a347b340b5a9f971135cd04442","datavalue":{"value":{"entity-type":"item","numeric-id":43942,"id":"Q43942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$96182F84-CF3D-4FC9-B1B5-83982F8D316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c59d46165b4eb2bb811e83cf8d5f0edfc7f164a8","datavalue":{"value":{"entity-type":"item","numeric-id":43928,"id":"Q43928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$B89CFCC6-3150-4352-8621-B0C06BA5AEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"411138fa9472ce40b1eaa8986ea45be52fe481ce","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$11EF7683-8490-4C2C-97AC-163B5A1A43F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"255d1eab6148b0a0149f5ba251f819f772375a4c","datavalue":{"value":{"entity-type":"item","numeric-id":23492,"id":"Q23492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$5FDD50E3-CCFA-40CE-81B7-AB700B6CDCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fef5119cc276a651ea287663b7bbac85166163c6","datavalue":{"value":{"entity-type":"item","numeric-id":37397,"id":"Q37397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$A8715AB1-16D0-48F0-9B57-20D164F132D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cca3a32b180baf92e5c1bd6e47c20bc43d7599e","datavalue":{"value":{"entity-type":"item","numeric-id":32996,"id":"Q32996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$E4F8AFCE-960D-4C3C-B08F-DBA7DAAA5FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dbfb5e33d8cb9dbe814515b007e55b6104c2d79a","datavalue":{"value":{"entity-type":"item","numeric-id":24996,"id":"Q24996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$CD35B95E-6FA2-4BBD-BBE9-9F1EBFC0A2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"de0d5159ddc96393b5171ce31ad1e7bb3c965ab1","datavalue":{"value":{"entity-type":"item","numeric-id":25200,"id":"Q25200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5974121$C97E3D88-0FC7-4D76-95BA-FFD3E8CAD663","rank":"normal"}],"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":"Q5974121$7FECCB3D-A696-4EE3-A9D6-E7B407587294","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"791c9af3f632028a8094f425e13128d157950d83","datavalue":{"value":"Georg Struth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5974121$3971DA79-173E-4A00-A49D-B943D8D16FDA","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":"Q5974121$6C3367C7-FB4B-4FA5-A6E7-2F2F236C806A","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":"Q5974121$CEA80CE0-7838-4F1E-AEF5-B1A87803D52D","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":"Q5974121$C87CCB28-F5F3-4930-9805-0EB830D363A4","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":"Q5974121$54A1E3B2-4656-4E45-9989-B34786F8714F","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":"Q5974121$77626903-7A08-401D-9D1B-5C870354D467","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":"Q5974121$9AD7C32C-E693-4F6A-BD43-3F8443906B01","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":"Q5974121$0BF8097C-815E-4FF7-887E-B69891A8EBE7","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":"Q5974121$2ABCEDF4-5FE0-4EF4-AA7C-E268D9C58C7F","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":"Q5974121$9744A2AD-41AA-40C2-85F3-77434E52C46D","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":"Q5974121$9383913D-FDDC-4F1A-AB16-35E65C20BEB9","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":"Q5974121$28A355C4-C1A6-4996-A547-970E82AD385B","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":"Q5974121$76E19ABD-9B99-4189-8720-D20F6A631CE3","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":"Q5974121$BA1A21DA-006A-4F79-B006-9814E1BE6AED","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":"Q5974121$8EE0B0BB-F88C-4649-8966-DAD5A85E6BB1","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":"Q5974121$46B15E7A-8223-459B-B04C-2B66D5FBE6F6","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":"Q5974121$F93B9DDF-3E00-46B5-AB61-BA56859BC179","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":"Q5974121$D24467D0-CB2E-4182-B764-70583DDE6558","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":"Q5974121$FAB97F94-487A-4978-8E49-1D0514E0E1E8","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":"Q5974121$3525BAA1-2DCF-486B-B6FB-7872494F154D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99847749392c423c59d09c70bc6eff245b842737","datavalue":{"value":{"text":"Transformer Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5974121$A39FEE49-849C-4658-B87F-58EAAAC4273B","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":"Q5974121$0C0A5BA0-BF4A-4281-8C2B-8CA3DCFE64FB","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":"Q5974121$370ED329-008B-4A5E-B296-D9E94F7089CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transformer semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transformer_semantics"}}}}}