{"entities":{"Q6854423":{"pageid":20623180,"ns":120,"title":"Item:Q6854423","lastrevid":84263030,"modified":"2026-05-14T08:59:48Z","type":"item","id":"Q6854423","labels":{"en":{"language":"en","value":"Modules over monads and operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8163124"}},"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":"Q6854423$8664885F-3B26-4D61-8E5E-D6C25C72CBFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d779e220efba8fbb6defb889ac05f7983ae7e634","datavalue":{"value":{"text":"Modules over monads and operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6854423$56B243F4-1511-4817-8D62-D77876BE8EE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3b23c830fc73ee3063ee78c6aa9f0523f6ed508","datavalue":{"value":"10.4230/LIPICS.FSCD.2020.12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854423$CB8E1E04-C2EA-46D9-A575-269DDEEE1E73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b98d978fe1bcd6c0757acb680bbf15dfeeab6501","datavalue":{"value":{"entity-type":"item","numeric-id":1253341,"id":"Q1253341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$BCF21C90-AF59-4C5E-936B-AC8EC6D04EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec17d4de2993980d020ecf108cf8bca2a360f1","datavalue":{"value":{"entity-type":"item","numeric-id":848737,"id":"Q848737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$2E522667-8566-4D0B-AA92-567EB3654830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db011c484f08f2b5c204b9491137cd52ee9a3170","datavalue":{"value":{"entity-type":"item","numeric-id":5009702,"id":"Q5009702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$58B24FC9-92DA-4D2E-A851-201D421A31AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23f7bc78d27ce33f5d6c9d48966ef81d2c43df8b","datavalue":{"value":{"time":"+2026-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6854423$E239B721-F639-4FD7-988C-9A5AB12F21C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854423$90E50232-7A31-4EE3-9FCE-6C64C9FEAB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854423$FACEB267-BB4F-480F-9C2E-49562DD573AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854423$91E0D753-2BC7-40A8-A00D-402B08E069B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4ae1e6060ccc8e89415dbe933280d1f4da07b73","datavalue":{"value":"8163124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6854423$AE75ACB4-8D51-4F8C-8082-E1253F39497F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$EFAA86C4-1E78-4D9C-A1A4-351A25B52A5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854423$417316D2-AEE7-487C-BFE9-ADF1F6E70BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6854423$53550FDB-ABFC-4DC9-A002-3C56B854CD5F","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":"Q6854423$95C227F8-3BB2-4D79-8EA6-C50028AE5608","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4db96e02cb96d8bc5f98afcc94043ea9ca37255","datavalue":{"value":{"entity-type":"item","numeric-id":5741555,"id":"Q5741555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$83FEADDB-F081-437E-B243-5E6FC30004A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adcd369cdd9b8851d2b410b035c5c7704470b96f","datavalue":{"value":{"entity-type":"item","numeric-id":5089005,"id":"Q5089005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$4E33B437-783C-475C-9A29-22193DCD2E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb3093a2facd758e8e5efacce4a1e6e068d684b","datavalue":{"value":{"entity-type":"item","numeric-id":5177334,"id":"Q5177334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$E8DB72EA-4EE5-4E62-B160-CFAF9BCC6490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015256e4360c025094b2ad5c855ea10121fc5943","datavalue":{"value":{"entity-type":"item","numeric-id":3090862,"id":"Q3090862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$7797F29F-42FA-49DE-A92F-8C1E9CDA0748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740e35ec6a97dccfab3cea00fb5fb7d4602bef5d","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$459CAB9E-3646-4F5E-8C0B-E87AEEA06908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$D5B8D51A-74F2-4B50-A5A8-23255285E8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5465c61ddf1a8b9106396f101cc999ae8091f7ae","datavalue":{"value":{"entity-type":"item","numeric-id":5145639,"id":"Q5145639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$05AE5B6F-B1F3-4E9F-A402-841796D68D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$268111DB-F5E8-4B2F-BA9F-AAF7F6B90C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357ccf03e46aaa39253d03b41c233e835e9de436","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$4B2B4DCB-E86D-49C7-9F43-E31C8DBA90D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815d9e2de99bf2ef5dc01fe0c8e8493a45b26434","datavalue":{"value":{"entity-type":"item","numeric-id":1014644,"id":"Q1014644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$E5113130-404C-467A-AA97-C79526BBEBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c75bc531522f8dc5e04f91c129c2770bb56049","datavalue":{"value":{"entity-type":"item","numeric-id":2254771,"id":"Q2254771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$55C0C52C-0E1E-40F2-AC43-F27D1A911E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54369932520febcb9c58f8434b9b8e94505ec97a","datavalue":{"value":{"entity-type":"item","numeric-id":3612664,"id":"Q3612664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$691064C8-25F2-4980-9D14-43E782B16B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce525a5f815aac302f3434ad5eb328792885ff8","datavalue":{"value":{"entity-type":"item","numeric-id":2846582,"id":"Q2846582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$EF1482ED-DAE6-4C16-A3B5-4D75EAA5703C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0225f033d46261505e426bc2e285ba677ea904","datavalue":{"value":{"entity-type":"item","numeric-id":4953339,"id":"Q4953339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$E35919ED-6C7E-4CD4-B9F9-16EE3D00BF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdca943dd491b4172a481a3de3951cc83b79c4dd","datavalue":{"value":{"entity-type":"item","numeric-id":1249219,"id":"Q1249219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$9096705B-6BB8-42ED-990A-F3AF1F824D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6854423$D990390A-F67C-488C-AB06-9EEAFCC142B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modules over monads and operational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modules_over_monads_and_operational_semantics"}}}}}