{"entities":{"Q4713399":{"pageid":6742976,"ns":120,"title":"Item:Q4713399","lastrevid":46242157,"modified":"2025-12-24T09:30:13Z","type":"item","id":"Q4713399","labels":{"en":{"language":"en","value":"A category-theoretic account of program modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 10139"}},"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":"Q4713399$4F76B2C7-58E8-49F9-A1FA-18B14C1C7160","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12c7ce4363a0af42721211dea7044711198ea557","datavalue":{"value":{"text":"A category-theoretic account of program modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4713399$B013AEC8-E274-40B4-89A7-EBAE32E8F95C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5040fd3839a2693aa5d7d7463417a0df13a5940","datavalue":{"value":"0747.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713399$51F0095D-BD57-4EF8-9991-D08DD5265DF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17acac09f5ba7f0a79566214b5da414e12fb7514","datavalue":{"value":"10.1017/S0960129500000074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713399$C429232E-931C-42D4-AB5D-0C5C7B6585AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ab1b2e03f8f419b2b30d0b67a5844940e3455","datavalue":{"value":{"entity-type":"item","numeric-id":615954,"id":"Q615954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713399$81F81375-FB9D-4878-B63A-4522F0867C16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713399$7E884F79-C756-4E2D-9304-C2CDBAF68991","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4713399$348E5C48-E509-4A9F-8B55-A719CBB505A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713399$B9108A5C-287F-4974-BDFF-9D436621D368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713399$D9B564E2-E092-4A4E-842C-8ECC8F411DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713399$0CFA165E-A832-4AB2-ABD3-A43316EF8BA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b057038387b20114f756c8d5bea15e6b71e324a6","datavalue":{"value":"10139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713399$75C2D010-3CFD-4C00-ACA8-5723A5CE3E1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713399$5D8C25D5-DB8A-475B-BAA1-04AD37D02B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d40fcd8445dd8a645fca3ce69967c8f54f67e2ae","datavalue":{"value":"models for programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713399$E8D4138C-D55E-446D-8661-004D2A98A1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9247578e9ed3f7eb1c91418af0599c592a92727d","datavalue":{"value":"ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713399$1E8B7AE4-AB17-41A0-AF53-5C96033C2762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da73046a486d15d36468a3e54545e956bb90cf28","datavalue":{"value":"identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713399$714EDA00-B190-46F6-B5A1-C5F14D6B49CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1105fcc0b74c7a1fbaa65e95eeb7525fdf97d4ba","datavalue":{"value":"indexed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713399$A5D91632-1695-4E7F-B3C2-8C60C114221E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d705088afa119a3cd9f6b2e5e3a2b0958aa12bc9","datavalue":{"value":"modules with dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713399$98F281FA-10CA-416D-88BB-C88A65DF1846","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":"Q4713399$70B9ADC4-D547-46C7-8992-CEF721E23014","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713399$06B43983-E53C-430D-A0E5-78B974F09E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713399$887FCA19-0A0D-499F-9ABD-00D6D5838B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713399$01C74E6D-AD10-407B-9510-9027CEC4327E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713399$067155AC-1247-405A-BDC7-7732D19408FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5baaa8bcfe06ea65363cacf85808ab7870676e8","datavalue":{"value":{"entity-type":"item","numeric-id":5096254,"id":"Q5096254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70341a576ebf8e0c20b6f6b88f89f0c6faedb343","datavalue":{"value":{"amount":"+0.927979588508606","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":"Q4713399$D22B7964-0FF1-4D95-A4A3-35DA08630430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0bf270a70b41cbbdfbbef7add16aa9a01b5802","datavalue":{"value":{"entity-type":"item","numeric-id":684395,"id":"Q684395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e12b0f4923ddb5f9e3f88f6b6c03c41aef2cf6","datavalue":{"value":{"amount":"+0.8156759142875671","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":"Q4713399$97BFA76E-23A3-4897-B55D-700F562F661D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f686fbf5a0d74ffe46725b40e1e77924f96a78de","datavalue":{"value":{"entity-type":"item","numeric-id":5057478,"id":"Q5057478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905e0f9eb334e103af17aa27e650e74a888a7c8b","datavalue":{"value":{"amount":"+0.8069137930870056","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":"Q4713399$72ABAFBF-ACD6-41C8-988D-1B61190C1DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc37e3066dc5924b57be48cf12200fd0ab566498","datavalue":{"value":{"entity-type":"item","numeric-id":5204345,"id":"Q5204345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debfe24257092bdafbb4d43bf88dd435b9d526c1","datavalue":{"value":{"amount":"+0.7986452579498291","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":"Q4713399$D8874AEA-A227-4F8F-B581-7AD451848962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5400338068785dd15b79002a48f316d3ca8a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4035240,"id":"Q4035240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb4f0798b41622b86edb0861572ad1d412e7066","datavalue":{"value":{"amount":"+0.7775110602378845","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":"Q4713399$9D6DA5DF-E6EE-48D8-9105-BC50E87FCB9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4713399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4713399"}}}}}