{"entities":{"Q2942929":{"pageid":2953649,"ns":120,"title":"Item:Q2942929","lastrevid":44752437,"modified":"2025-11-25T19:10:29Z","type":"item","id":"Q2942929","labels":{"en":{"language":"en","value":"A type system for higher-order modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481299"}},"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":"Q2942929$D0124258-367D-426D-ACD6-17CBAFA1B128","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cbf64074192ba948748bbfa723f0a3ce9a80ef1","datavalue":{"value":{"text":"A type system for higher-order modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942929$26438DE6-1A43-4388-9E53-4693D1541CF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"535173ef0348057bc7b4e43ec4fc4868f22189fa","datavalue":{"value":"1321.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942929$08B7F458-FB18-436F-86CD-BB36970DD76B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e398e33ebd83a13ca820dcde6478209c84c762a","datavalue":{"value":"10.1145/604131.604151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942929$E98B8ADE-4893-4DAE-B3CC-FCBA62AB3D79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"714a2f9cc11bbae3e9bb5cca0a961971143e413d","datavalue":{"value":{"entity-type":"item","numeric-id":1265186,"id":"Q1265186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$06BAFA77-F437-4D50-B9D7-4AE03AF4311F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$21221B67-3BBF-490A-B17B-E1A665523AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54adbdcdd8e58c67c424995e904ed84263f16dd","datavalue":{"value":{"entity-type":"item","numeric-id":724929,"id":"Q724929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$A004B1FB-DE2E-4FD3-A918-EEA79AC638B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fe4faafe02e13d99969745e2d33def8fcff86e5f","datavalue":{"value":{"entity-type":"item","numeric-id":2942908,"id":"Q2942908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$72E2D158-2845-4603-99DD-A3F47D5AD24A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942929$0AA9ACD3-840E-46D0-AFFF-F97103229D45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942929$9B6A8E96-0BB2-4CD7-AC35-CD2F24BAED0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942929$900ED741-F27F-41C2-9953-9D03820D0501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d68fea1cdbba4ea71c1262b08db26b56ab9a3a23","datavalue":{"value":"6481299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942929$DE3456E0-6972-4EDB-B332-7FA3FC697866","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942929$53966A5E-87B9-4D16-BE40-838A2EDAA53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942929$E0632C44-8102-4277-AA8D-C8D31C897C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae2377400284661ec6d82c2d48a16b8df164793","datavalue":{"value":"functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942929$EDB90D95-C906-482C-8E43-B55B794612EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f167997eb0b311ed4ed5031025b0011e115f44d","datavalue":{"value":"generativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942929$CD5AD157-7E35-4C1D-B430-EE10D937B0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942929$93947890-8D65-4E05-9506-652CEF7FD286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd490e3b7e6631b271c94b30df463e7a259d332","datavalue":{"value":"singleton types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942929$5C5A125B-4284-421C-BB29-850DAE1F9183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942929$A15724DF-CCBB-4CC6-B885-39113A5D3CC2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d706235782527c086190bdadd5c408c9fe2bed8","datavalue":{"value":{"entity-type":"item","numeric-id":53376,"id":"Q53376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$FCD42159-1B78-4617-AE6D-149D84A54CB4","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":"Q2942929$107F2B0B-3479-4E79-86CF-EFA7A42851F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cee4c7e98156c1e87a045dbaae54a35424afa14","datavalue":{"value":"https://doi.org/10.1145/604131.604151","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942929$8AF8DAEB-177C-49CE-937E-FBF77E41245B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e0087260482b4a252e132af9a5b6b8255b07300","datavalue":{"value":"W2053070172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942929$47C109EE-D05A-4BB1-8418-8C80B685615D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$3310C086-EE07-421C-BD6B-FDD46640E624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea334578279375cd494f9ffbd32e4068cfda451","datavalue":{"value":{"entity-type":"item","numeric-id":4301602,"id":"Q4301602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$4CF29E65-BAE1-4D05-BF28-0E87078DA5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329875360c314fd0af99b4311a7c2ffceaa68e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5178874,"id":"Q5178874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$BB6EA02D-3D00-4D7E-BE29-437D35D73E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7f104c50f7164f6e83866a4193e8564362ebd9","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$3E901F23-859F-4C27-8BB9-08679003F4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351879948b4564c55d2d068ea5683d8ac895d03c","datavalue":{"value":{"entity-type":"item","numeric-id":4414525,"id":"Q4414525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$C80E7EC1-F93B-4232-A62E-4283C23B105A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$480A0B91-BB67-476D-A31C-E60234B9C09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$0A37A979-8D82-4ACD-AB8F-BD170F4B816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0311c2c4996c9c68c0443bd4383ed0d4a789f29f","datavalue":{"value":{"entity-type":"item","numeric-id":4409150,"id":"Q4409150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942929$8092FCD1-0BE7-464B-BB0E-02C8DA2C2ECE","rank":"normal"}],"P1643":[{"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":"2c5870e1150fffb81e9caffe50a917f779be1e70","datavalue":{"value":{"amount":"+0.93314254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2942929$90847E46-EABD-463B-8B6E-73E24756595A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa95a76da18aefbe59498be52f6c121ba2a8737","datavalue":{"value":{"entity-type":"item","numeric-id":3024903,"id":"Q3024903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2fa33ec13c3c31a80d73863973b0b5cfa420a9e","datavalue":{"value":{"amount":"+0.9327631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2942929$E204F358-9E61-432B-AEEB-E6462E269E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424262529f81eeb155bdc89bc6d20c7b54b2fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4645803,"id":"Q4645803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1d7d3f38b5629ef36026cec2c13cc269ed4643","datavalue":{"value":{"amount":"+0.9208189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2942929$BCCCFD1A-B092-41E5-91D3-EAE7CA1739C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba678df58c031db55dec48b7adda0fe8957db1f","datavalue":{"value":{"amount":"+0.9171006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2942929$F99FE8F7-3711-4FDF-9DE0-E70DC22D567F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df5dc867616332a2cc277571efedcd20437b347","datavalue":{"value":{"entity-type":"item","numeric-id":4451735,"id":"Q4451735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab227c8b33d359e4d5a1023f957bf05e9b2d5a6","datavalue":{"value":{"amount":"+0.898097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2942929$C20527E2-F459-4987-9517-2DC0A8C8EFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700f4d40fb3dfc43f0d4507b89a1806c95703e6c","datavalue":{"value":{"entity-type":"item","numeric-id":2991576,"id":"Q2991576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3565d1b9d0e2382c24f6a546d54b59c9b98c499","datavalue":{"value":{"amount":"+0.88128835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2942929$C472D526-C743-477A-A3FE-8C925699AF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5cd6c45482e4c8f334acf0e31b18fae74a4a74","datavalue":{"value":{"entity-type":"item","numeric-id":1323318,"id":"Q1323318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d8bbc2e7f0251a801aa8a6f2ab194c09b3ea31","datavalue":{"value":{"amount":"+0.8811042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2942929$861B9615-C7A8-4BDB-88AC-C1568229BC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4cc286bc722ea1c6943431e51d3e82fc487faa0","datavalue":{"value":{"entity-type":"item","numeric-id":5261533,"id":"Q5261533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbeac642d121e381a7cdb9ef23b9b90adf8f7112","datavalue":{"value":{"amount":"+0.8810234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2942929$A7A524C3-CCFC-428F-AB84-29604725AEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eec0aa153882dd29289a95eae78a8b5607a35a","datavalue":{"value":{"entity-type":"item","numeric-id":4645814,"id":"Q4645814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a033d4032013cbd3a1866d0c193b739168b0cc2","datavalue":{"value":{"amount":"+0.8802066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2942929$EC395166-1E6D-434D-93BA-96B88B20566A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6337dcfb2841d19947151cc540c352a5444dcedc","datavalue":{"value":{"entity-type":"item","numeric-id":4995377,"id":"Q4995377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385bc3bff133388d987ac79bdc7c23d6084b786c","datavalue":{"value":{"amount":"+0.8798435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2942929$7CBCEA57-00E6-4BA0-8A96-0DC47FF29633","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942929"}}}}}