{"entities":{"Q5692153":{"pageid":7721713,"ns":120,"title":"Item:Q5692153","lastrevid":48557764,"modified":"2026-01-05T05:24:24Z","type":"item","id":"Q5692153","labels":{"en":{"language":"en","value":"Two-level types and parameterized modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2208942"}},"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":"Q5692153$B9C0FEFE-35CE-4760-AFE2-24579F6802D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71a16235f3d5e7a3afca4f8bd8d80028035d30b7","datavalue":{"value":{"text":"Two-level types and parameterized modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5692153$B4759EB2-6093-48E6-86B5-92A062C0B761","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc915f515caaa7e52297808289ad64b7273fefee","datavalue":{"value":"1104.68397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5692153$D9B9FAA5-94CE-417F-8393-86D0EF13E073","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a59d7fdbf722c3f66728576d54908e989a87294c","datavalue":{"value":"10.1017/S095679680300488X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5692153$6DCCD153-3EC4-4526-B2F7-0A4E6CA357F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d68f626b81ca56cdf77c612696c146f6f79bb2e","datavalue":{"value":{"entity-type":"item","numeric-id":1583362,"id":"Q1583362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5692153$33B98F75-5212-404B-8D51-9D67091E15EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e9145d746af369752e296b387b51cc82fe46e0","datavalue":{"value":{"entity-type":"item","numeric-id":2478587,"id":"Q2478587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5692153$DEC07F0A-1FC8-42AD-BB45-964B69DC0281","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5692153$CC1FE778-5952-4CBA-A3BA-58D212766E59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d112b2448c26e3e0e59aa50184276a96f3480c25","datavalue":{"value":{"time":"+2005-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5692153$6E90EBD0-85EB-4682-AFEE-0CBD7ED7DE51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5692153$831099FB-42A5-4099-9929-4414CF4C2AEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3a8c7adc14143259aba49282b98524599a6c843","datavalue":{"value":"2208942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5692153$58EA6773-CEC8-46B7-B215-9910F86BA8F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c2769cc6077fdb659193d1388d3eec881a4da22","datavalue":{"value":"Haskell data-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5692153$A87FFCC7-3CA5-423D-93E2-F316CC8AA0F8","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":"Q5692153$B95C0A79-3A67-4FE5-B914-0DF50C210774","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":"Q5692153$12350ACB-8343-46C1-A50B-9DD4A86157DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4270b6e38fa77583de473c50d9f4c0ae226740b5","datavalue":{"value":{"entity-type":"item","numeric-id":5178000,"id":"Q5178000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a065f2e858f265272fb40d762e0bdb4ef6609e7","datavalue":{"value":{"amount":"+0.9211347103118896","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":"Q5692153$4A32AE75-85FF-4C44-86FE-0B7862A6CA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"652580eea7a88c8f4ca946a7eb70a8c19bc2820a","datavalue":{"value":{"entity-type":"item","numeric-id":4507960,"id":"Q4507960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af16fbf8f431c9ab1c30160748e2eaaac878da1","datavalue":{"value":{"amount":"+0.7333036065101624","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":"Q5692153$48899AFC-8505-44AA-B788-1CAC90E8FB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb7db4efc61f09b95c618001bb9b6c4fee12346","datavalue":{"value":{"entity-type":"item","numeric-id":3189786,"id":"Q3189786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81a4a9bc9c9f43f0460d68295606c1042c8dba0","datavalue":{"value":{"amount":"+0.7324040532112122","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":"Q5692153$6398F6DD-5674-45F0-BE13-C157D1A317D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04cfb3d7c318421507d0cd398b7a561e3de5e0c8","datavalue":{"value":{"entity-type":"item","numeric-id":5178848,"id":"Q5178848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa4c00362a338e3052b2df4f56d358556a9160f","datavalue":{"value":{"amount":"+0.7095845341682434","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":"Q5692153$1D3B65A5-4526-4632-9990-D0B67297F70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79f76cb55d35e431fdf335c047591e7d9ee2eff","datavalue":{"value":{"entity-type":"item","numeric-id":5168934,"id":"Q5168934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406f6dac86259f6e2faec78a96a85eec6b078f9f","datavalue":{"value":{"amount":"+0.7089652419090271","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":"Q5692153$A5AAD6F3-B0AB-4D92-AE07-314468832EF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5692153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5692153"}}}}}