{"entities":{"Q5348928":{"pageid":7378502,"ns":120,"title":"Item:Q5348928","lastrevid":52882454,"modified":"2026-01-23T17:27:15Z","type":"item","id":"Q5348928","labels":{"en":{"language":"en","value":"A polymorphic modal type system for Lisp-like multi-staged languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6763189"}},"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":"Q5348928$D76854CF-95E9-46D9-A2D8-0187D1C38841","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8d4f4e843cbdc2c401219ce09cfe93efae434a4","datavalue":{"value":{"text":"A polymorphic modal type system for lisp-like multi-staged languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5348928$73E88BA0-920F-4259-897F-84C35B59F463","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b9d241eb3dfe8c1e2204f0cfc984037cd2b6ead","datavalue":{"value":"1369.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348928$7E0172BD-CD74-4830-9E89-C1986DD5F6DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71b04505d6c038adafb88c489e3ea6cbdf8b4e66","datavalue":{"value":"10.1145/1111037.1111060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348928$08616460-52E5-4453-ACCE-BAA4DCAABC92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7c1bcd7b618e5e1a148cec258c9790ce281b919","datavalue":{"value":{"entity-type":"item","numeric-id":969644,"id":"Q969644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348928$F00595E7-9E73-4745-8B68-CA056A40B2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb38a1bade58fa1326e98a3a8a90562c5ba74ee9","datavalue":{"value":{"entity-type":"item","numeric-id":845980,"id":"Q845980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348928$77927A1F-CE57-4D53-8621-4541E23CA90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a7aa3b44f4693179521a8497c029ed5d3d49964","datavalue":{"value":{"entity-type":"item","numeric-id":964497,"id":"Q964497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348928$5D2A674A-CD0C-454C-BE18-07B251513B9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64c4180a3d83913a5dd41ebbd11bed14b06b65d2","datavalue":{"value":{"entity-type":"item","numeric-id":5348908,"id":"Q5348908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348928$1261D61E-E1EA-4225-80CD-B99517D2C866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f737878d1472b1d610bb956e674a63f02e9cd714","datavalue":{"value":{"time":"+2017-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5348928$0844B5E2-F4BD-4DC8-A2CE-77B075C56CE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348928$7D40F015-0478-4A72-A2AB-ADC6A1FD29E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348928$C71DDB21-7A6D-45E8-8EAE-4CF34169DC5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"860e43df6ec16ef0dabd7361d5f707c45911c23e","datavalue":{"value":"6763189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348928$8632D319-2CB2-4C3F-9555-21B6607DD7EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9247578e9ed3f7eb1c91418af0599c592a92727d","datavalue":{"value":"ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$275F66A3-07A9-4FED-8868-4862441F0FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ca2a84d1c9b35c29c8bb45db2c032c5157a535","datavalue":{"value":"let-polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$D866E379-2485-431E-95DF-C5D0D8AC3162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438a215c5cd761877e86d4291eeff2dfc5116c02","datavalue":{"value":"Lisp","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$F3220CBA-F6D8-470F-A40D-84B42F2A3BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf3cb40fa02391c77861f425263fd40a6349dd8","datavalue":{"value":"modal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$51574BCA-F147-49F2-92A0-6CB3D636FE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f54db7308c10b43b78ee2e81cc8ab6c0e1e2ba7f","datavalue":{"value":"multi-staged languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$3401FBB8-B259-439D-BEEB-6523A19D7538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$158A8E4A-A531-497D-83F4-2672A7ABB4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be12ada06ac27768d78bd9627e545ef473d45f0","datavalue":{"value":"quasi-quotation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$0FBD7A78-0146-490E-B583-D415E2D94A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1afe1cbe671170a3f1adb93d667d05d6967449e4","datavalue":{"value":"record type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$78667A8B-40AC-4722-80D8-41E81FA222DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a04dc9ef9274c5f3f3c4fae90c5beaec7cc2e6","datavalue":{"value":"scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$3730A1AD-77E5-43F5-9676-4990C49BBD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$7D1E5182-13AE-4DF0-ABF1-45A0B4417597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5348928$DCC3E37B-F794-4C4E-8DDE-1588B8789A2A","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":"Q5348928$AE9325EF-941A-400D-9428-162B519F5692","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cc966649c7ee4c4bddb91fb6387b3443a6a8d12","datavalue":{"value":"https://doi.org/10.1145/1111037.1111060","type":"string"},"datatype":"url"},"type":"statement","id":"Q5348928$A79B9CBE-3D8B-4252-9D71-B5D2E3C92B86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a45e69bb47728226e6ada0e4d889662e1aa0784e","datavalue":{"value":"W2049268728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348928$3E2121ED-8EF2-4F96-9FDF-CD456B9DA9C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705ecd7455b03fbd6e77b7d8eeb2b5707fd489f3","datavalue":{"value":{"entity-type":"item","numeric-id":2892751,"id":"Q2892751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf06ed5f03df261a96cd4cb85b233a6af684321","datavalue":{"value":{"amount":"+0.773201584815979","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":"Q5348928$8F0CDB06-FB64-4450-A787-72A09B03AD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4f75df3cb2c1fb8c3a57e7899b98074dd316c6","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d476b59221de6ec385da4aa826e452a40f9048a","datavalue":{"value":{"amount":"+0.7725009322166443","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":"Q5348928$3604F365-1E3C-46AD-B2C1-C36F91481792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6a1ca1efdae146aaf928e5e2a2af54d8085726","datavalue":{"value":{"entity-type":"item","numeric-id":2796230,"id":"Q2796230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5ca11a2acf6037737ebdb8f6ed1f24d2b2eecc","datavalue":{"value":{"amount":"+0.7355967164039612","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":"Q5348928$76674D1C-4E4D-41E0-9D90-45A533C42A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176e4ff9693737151ac7835ec72684b212573e9d","datavalue":{"value":{"entity-type":"item","numeric-id":4408681,"id":"Q4408681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa2e3b3c708abb4ff234e0f3a25ed5493a6eeef","datavalue":{"value":{"amount":"+0.7341921925544739","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":"Q5348928$A085C6D6-1348-4F23-8CCB-D41E80DBD687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ede557755d2fa4f2d401e953a8661e5eeb422fa","datavalue":{"value":{"entity-type":"item","numeric-id":3685176,"id":"Q3685176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1867e6573f89da22cce2710bd7b932b6a2cf90b8","datavalue":{"value":{"amount":"+0.7297571301460266","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":"Q5348928$2C2CE1A9-49DE-49F0-BEB3-CE13CE61C01A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5348928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5348928"}}}}}