{"entities":{"Q5458371":{"pageid":7487930,"ns":120,"title":"Item:Q5458371","lastrevid":50333909,"modified":"2026-01-13T20:27:17Z","type":"item","id":"Q5458371","labels":{"en":{"language":"en","value":"Erasure and Polymorphism in Pure Type Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262419"}},"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":"Q5458371$BC6A3C0F-BEFB-4055-BB80-DCA31CA9C67F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3379c2da28f856a2a7d2e147b4c9c41d1dd1e995","datavalue":{"value":{"text":"Erasure and Polymorphism in Pure Type Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458371$BE89F7FA-48E5-40C6-921C-07EAD7D29B7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2de1c4b2999619453c8016db4518ae968f0dc373","datavalue":{"value":"1138.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458371$8ECB7FAA-BF59-4EA8-8B0E-C0E30F70FFBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc0322e5697829403d71953eb17298bc7adff649","datavalue":{"value":"10.1007/978-3-540-78499-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458371$11156A37-7BCE-4726-BB43-00A1CBCEC21A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27f37e44e12247d2d6396af4ab4949592668166c","datavalue":{"value":{"entity-type":"item","numeric-id":5458370,"id":"Q5458370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458371$6982D35C-AE4A-430F-B44D-9468F9F53B3A","rank":"normal"},{"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":"Q5458371$E5E6F44E-D3B9-4621-8FA1-D0BC5F8BDDE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458371$E34E9D24-936D-4841-8422-B68D10D7555E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-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":"Q5458371$94F172CC-7EBF-44C1-B07B-0019CD655804","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458371$D755D45A-B9B7-403D-9F48-BA092D3CE2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458371$DB55CE19-3840-4E15-B359-EBAD9F699AAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdcb19b53bfd20cc0ecf7067288fa2e0478b3c0e","datavalue":{"value":"5262419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458371$D8C64B0D-ED19-476E-A699-11A1851DA90D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458371$458504AE-AD9F-4371-B2BD-AB71C302834D","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":"Q5458371$51F20762-E3FB-4012-9A1A-436C1A9687CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71ff62be348febda75c218e39307ca509962ebe4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78499-9_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458371$512705A7-F1E2-4ED8-91E5-0BD83583D9AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14d40647717c874bae062e7b59b77ef58f4ddffc","datavalue":{"value":"W2140216155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458371$2EEA7E32-4AA8-4511-B73F-B3313FF19D78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27254b93d76a85ca62fadb4aeed49ef291bbf0de","datavalue":{"value":{"entity-type":"item","numeric-id":5234277,"id":"Q5234277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8ca411b5d96c5ef297d2239897179b615f356f","datavalue":{"value":{"amount":"+0.7253926396369934","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":"Q5458371$50C16145-5FB6-419E-8ACD-A5D1314FA007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3162df2fb79c73643e582db724df1477e0beec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5348906,"id":"Q5348906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0c0fab009f313cf55b4ddce5d1295548938bed","datavalue":{"value":{"amount":"+0.7253918647766113","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":"Q5458371$EF81770C-6D69-4203-AD5D-8A50483D0B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ebd12a3040e52aa9094f5ce4c1fe346b8dd06f7","datavalue":{"value":{"entity-type":"item","numeric-id":4709843,"id":"Q4709843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28dc5a6ae90f6d138634223e342829522236c22b","datavalue":{"value":{"amount":"+0.721857488155365","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":"Q5458371$1937B49E-58A0-4A75-9321-F28CBE346B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f144cf8b5df1bcda076b6b64774af2d5eac7c703","datavalue":{"value":{"entity-type":"item","numeric-id":3377459,"id":"Q3377459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b769c29b0b149920edd153208fe1846308a1b4c","datavalue":{"value":{"amount":"+0.719616174697876","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":"Q5458371$7AC2243A-E3DC-43E5-8871-02D3588FFA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fe68190ba6372f26e0cdb54cc291f7b4e60eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4819369,"id":"Q4819369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac94c10c4f7d55a8e3c7abf43757112479b5d11","datavalue":{"value":{"amount":"+0.7167664170265198","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":"Q5458371$8BEAA094-BDBA-427A-BCAA-5AD6EC2ABB46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458371"}}}}}