{"entities":{"Q2849882":{"pageid":2860602,"ns":120,"title":"Item:Q2849882","lastrevid":51828521,"modified":"2026-01-20T06:08:59Z","type":"item","id":"Q2849882","labels":{"en":{"language":"en","value":"State dependent IO-monads in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6209915"}},"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":"Q2849882$F4F065C0-901D-4F0A-9CD3-53C9EDC7D350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2c10fb2e25f5e816badad39892b26240d3ad0b5","datavalue":{"value":"1272.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849882$31CE6C07-DBF7-4438-9948-D5C07420CCD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849882$D1F06A88-F05A-474D-B959-AC5A9429652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6575cff51975739d551f57056395ae004f63ff1a","datavalue":{"value":{"entity-type":"item","numeric-id":2503335,"id":"Q2503335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849882$EBEE9103-AACD-4243-8532-287173562FA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849882$8D28E392-471D-482A-B919-F27D3BCF7A18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc9645ac8b51a688c081f559d2050c337df34388","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000368","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849882$2E17674B-DAD0-4FCC-9F2D-F99E8E05378F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849882$3AB4CB33-4D63-4164-9AFD-BAFF371CF5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849882$037C4197-5097-418F-BE08-19B590F2197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849882$EF325C6C-3EDB-4AC7-85E2-F066C256932E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849882$D1378ACD-3DC1-4C68-A7A4-371F19DEC7C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbc4ed59ce16ebaba273e802cc1e1b2de4c47b99","datavalue":{"value":"6209915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849882$71A1030E-D781-498B-86FA-16FD2B9BF7AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849882$530F2101-8511-4EED-B264-FC9216B3E445","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":"Q2849882$83B08D71-E37A-4F3A-985A-64D89B2C9AAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32698d632b8a28f23e29a063a460303e6d613cbe","datavalue":{"value":{"text":"State dependent IO-monads in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849882$B52972A6-275B-4F0D-B3E0-38FCA1569741","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433a68f0d59c31b22fabad5184270d1ca2e16b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5718566,"id":"Q5718566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c675fb8593bf6cf753dfa007546fcf9973491cd","datavalue":{"value":{"amount":"+0.8831233382225037","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":"Q2849882$2A0D79B1-F6EC-4DF3-B029-53241C648F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e088cbec1988368e76bc1772341a1c24eb4604","datavalue":{"value":{"entity-type":"item","numeric-id":2753682,"id":"Q2753682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e071f9af4df1f5d2df307a5ab6ee35297f352871","datavalue":{"value":{"amount":"+0.8539393544197083","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":"Q2849882$72B737D1-31CF-4549-AB1D-42473D5F813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c255d6a590e5593f65102871d92cc4d27751b6c4","datavalue":{"value":{"entity-type":"item","numeric-id":2503336,"id":"Q2503336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11ad511297c17a264921f70c56b23351c6e178ec","datavalue":{"value":{"amount":"+0.8143715858459473","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":"Q2849882$AA1D28DD-54C6-4FC4-B550-98F70C513647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a32537bffbbf8732107336f2b63efd209ad8de","datavalue":{"value":{"entity-type":"item","numeric-id":5372002,"id":"Q5372002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78849e0ba4f0e550fb1c70bf0d731f8124ff404a","datavalue":{"value":{"amount":"+0.7468454837799072","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":"Q2849882$1D605257-90E3-489C-9D1C-21968FD47316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed500838b478127f5ed5f4c88a532a6e8a188031","datavalue":{"value":{"entity-type":"item","numeric-id":265824,"id":"Q265824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3f5a954e5a928e9292131b06fd44ed3aa55af8","datavalue":{"value":{"amount":"+0.723869800567627","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":"Q2849882$CACB3036-A06E-4C0A-BBFE-5770A066C1E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849882"}}}}}