{"entities":{"Q684395":{"pageid":686244,"ns":120,"title":"Item:Q684395","lastrevid":63581934,"modified":"2026-04-11T14:08:34Z","type":"item","id":"Q684395","labels":{"en":{"language":"en","value":"Categorical ML -- category-theoretic modular programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 411694"}},"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":"Q684395$AFD3F5A3-1E83-4164-ABCD-9B121CE6D937","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e9a664f9ecd164e1ec8bc3c38f4769159c25899","datavalue":{"value":{"text":"Categorical ML -- category-theoretic modular programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q684395$5EB7ECF8-8CA4-42C2-981C-F390153F2EA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d06c441e43e82a763f028a31da195f0e3f5cad3e","datavalue":{"value":"0784.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684395$78DB8CB3-AA5B-406C-8DA2-718F092914C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"407a4eb19fcd9cf48791f6408bbdfbb5db594b90","datavalue":{"value":"10.1007/BF01212406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684395$9679FCFD-3383-4A42-B324-9E35485292D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6e0d9a05afa5d3403cefee1f368ca5273e62ae5","datavalue":{"value":{"entity-type":"item","numeric-id":684393,"id":"Q684393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$C052E625-26F1-4DEF-A870-71610F9F58C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d426517d35f74127ac2700eb0061f4b10ecaa56c","datavalue":{"value":{"entity-type":"item","numeric-id":684394,"id":"Q684394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$33F50771-42AA-4F91-8BA4-37B9544F65E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$EB655676-9AA1-4245-B708-5F6EED9B19AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38095d6709161e075b2ca7acfb4de294406bc0b9","datavalue":{"value":{"time":"+1993-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q684395$7D93E96F-223D-4993-8436-28EC7A40AD98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684395$FE6D4C00-6915-4EE0-8E63-B0A0CD1A2E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684395$EDC290DE-1E93-43BA-B066-66B7F790C445","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a1cbcea1a3be93b906db06d0aa1d32da8bbd52a","datavalue":{"value":"411694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684395$3192DC36-C8BC-4AA9-9EA3-8063BFFF78BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63c6c75542bb03f25bae3111f9f342d5f933fb65","datavalue":{"value":"category-theoretic modular programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q684395$F862146E-6415-4873-9F74-BD8CEDFE25A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7f9b98660c25538af7262f286b6e830e8ac1295","datavalue":{"value":"program modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q684395$AE89875F-CC6F-4153-A4BD-A7FF29E779C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q684395$417A7AA5-9DB4-452E-93EC-1B32E4CF0128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d718a7e670f1685e42c331a1c11f3da34f36793f","datavalue":{"value":"programming language Standard ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q684395$3EDBE421-9EAE-4B27-86D1-4160EC608E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b2de8645a60f7047eb8b4f6f740ce4dfe1f5d7a","datavalue":{"value":"equational correctness conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q684395$E46E0727-2478-4EE4-97D0-C6509299B307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q684395$94F07FCA-0C32-4B3D-A085-9CDC79F6CE9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$683FC5CD-C094-4230-9AB1-DA03E677A843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$99E9D1D1-ADD0-4B8C-85ED-08FBDFC3D456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$44688707-11D1-4555-A09D-BBC27C2C97CF","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":"Q684395$C93E246A-1FCA-4A2E-95FD-0043A8CF3437","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e661423e2ee77c1207d85b676f78b6f5c2d3066b","datavalue":{"value":{"entity-type":"item","numeric-id":3345748,"id":"Q3345748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$91A34B51-FDB5-4F9E-9EA5-F0DCD6A79543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$A129702F-B984-4426-989D-DEC915AC4CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$8297A8D9-0C7E-4967-A571-1A75AC47D55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$58A73E93-450F-481F-AC04-162568D0D139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$EC3490CC-C4E4-4891-ACC1-EAB5541D020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81246643425bf2cf941852d02f9c26835217d87d","datavalue":{"value":{"entity-type":"item","numeric-id":4040030,"id":"Q4040030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$52B55BF9-E90B-4331-8502-2B43B0345F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769201faffc64324fd40b3adc3e248528b7a8b3a","datavalue":{"value":{"entity-type":"item","numeric-id":1164994,"id":"Q1164994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$47E5BA34-95D0-4E63-BF1C-0C24F8F61EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44546e3b7a4c346be33f56e64a5adf0d8ee293d7","datavalue":{"value":{"entity-type":"item","numeric-id":3790597,"id":"Q3790597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684395$40034628-A409-4F7D-AA9E-C874CAEA883D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"167bf01c764dfaa24ac06c0afbc9826c5a1e8f3c","datavalue":{"value":"https://doi.org/10.1007/bf01212406","type":"string"},"datatype":"url"},"type":"statement","id":"Q684395$ED885F04-B430-4B4C-8C24-A3C2407E47CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95bd8998796bf81a5c4f768351f2b86f9f987628","datavalue":{"value":"W1989558318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684395$E51A479C-4C20-4583-B648-DE54F0B81AA3","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":"2535c6e2eefa1c907cb335b0a10e7cce8a46865d","datavalue":{"value":{"amount":"+0.8536058664321899","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":"Q684395$9B552A02-5495-4549-8B33-DB8FA5C25FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbea79183b8631d4756a64e6eba235aaad3c166f","datavalue":{"value":{"entity-type":"item","numeric-id":4713399,"id":"Q4713399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea719a815c787534711209fa3c74d5d69d242bdf","datavalue":{"value":{"amount":"+0.8319401144981384","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":"Q684395$3319B1C7-9716-4C8D-8D7C-4A1766C5C832","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":"a10b906d259eabd0cf8e5854dd6aaabe30f7298e","datavalue":{"value":{"amount":"+0.8313441872596741","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":"Q684395$70167853-EFBE-41A2-B9FE-10EF4EA0B205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ca28641704223a524a5e85c8e0ceffa7778692","datavalue":{"value":{"entity-type":"item","numeric-id":4040030,"id":"Q4040030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6afc4847387d13e79dc06095534463f81066ce","datavalue":{"value":{"amount":"+0.8224101662635803","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":"Q684395$29D81EBB-BD42-4142-AF3F-A02EE7024C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93acd6d9164ba4996727ad731f37eada803be4bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"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":"Q684395$7595CFC6-8816-4BA1-939F-051B1B882B78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical ML -- category-theoretic modular programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_ML_--_category-theoretic_modular_programming"}}}}}