{"entities":{"Q4580227":{"pageid":6609813,"ns":120,"title":"Item:Q4580227","lastrevid":58283610,"modified":"2026-04-04T13:45:31Z","type":"item","id":"Q4580227","labels":{"en":{"language":"en","value":"Efficient type checking for path polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6917246"}},"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":"Q4580227$7627BF6F-5BA3-45A6-949C-5B7D17E79A7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e12b21f7db00642f24bab5a08181a9b8a31d62d","datavalue":{"value":"1433.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580227$E867A0B5-380B-428A-B8BE-D55D9CAD1EB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dab7e5af700c11f59726b9a69d374c22ec01053","datavalue":{"value":{"entity-type":"item","numeric-id":2424891,"id":"Q2424891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$7BEA9B89-1939-4F8B-A366-B757CE952FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94b2106c60d9794103faba19f8cba05fb6a81293","datavalue":{"value":{"entity-type":"item","numeric-id":1652985,"id":"Q1652985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$8F928620-BF82-49AC-AB9E-1F2C8F85A6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32fec076cd784676ce6465fb8cbb84aed2bdec55","datavalue":{"value":{"entity-type":"item","numeric-id":408546,"id":"Q408546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$45479A81-53E1-4279-BB7A-255B96946BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4580227$8F98B9B2-79A1-4FCD-81EC-B73211F9111E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a240781598a6cb86051c3bfaf29c89d9c2c865c","datavalue":{"value":"https://arxiv.org/abs/1704.09026","type":"string"},"datatype":"url"},"type":"statement","id":"Q4580227$9C2A51BF-5A16-4112-BBF8-12FB980B7E9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580227$10B61AAC-2AF7-41B7-AFB4-38344998FCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580227$F3FBAC41-D49C-4664-9CBD-E05628B24868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580227$94A5DCDD-3900-4D34-BF39-B1BBE69C6C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580227$FC31EAF0-B262-4A6A-A3FC-B4FEFC60E964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4142633573b249a4863cbb2b191f41808ed64cb","datavalue":{"value":"6917246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580227$C74434EE-166E-458C-B1B7-F8632256A7A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580227$BC2CD1C3-1DE3-4F97-BAEF-E6A87229C0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580227$80CB7661-5CFC-4546-9C79-757F58252059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4286994dc4e54de91dd3fb2e2d6a84c2bfd53c2f","datavalue":{"value":"path polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580227$CD47F026-ABDF-4062-AF08-E2A9DC9CA547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4580227$68512AC6-A9B2-4E59-842F-7DE4541B3D98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c907a8208d2ed967ac729128cb5028036b2e892f","datavalue":{"value":{"entity-type":"item","numeric-id":46554,"id":"Q46554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$576B771A-513F-4536-B13E-C17C40CD424F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$8A8936AE-4D99-4E06-8FB4-5679E3AD994B","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":"Q4580227$23E8B241-CD85-4ABA-A091-0706105EC7F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$0CB193A0-9DC4-411F-AC26-D0938DF50FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d56ed87d745dd969300711ec6283444dad4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$F7BC3D46-EB31-412A-8D64-8098096E71A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be63c5f271ce7f1f200c26e0ab76283f6d86ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$DF7A0EDB-FA81-4392-A7FE-2828B8ED1E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ca3693225128d133d8e42002bc5b962f5d5efc","datavalue":{"value":{"entity-type":"item","numeric-id":1780453,"id":"Q1780453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$5C602090-2B0B-43CD-8BC1-5C0E6DD9D03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4ce39d93d13a63924a700eee82b10467151b2d","datavalue":{"value":{"entity-type":"item","numeric-id":5704008,"id":"Q5704008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$D16E0E31-73D2-4029-BB4C-8F80757401F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$5177B3F2-54E0-47EC-BF6C-BE9488F3E4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d450fadac9781261d8b6696d8cd613eb6ba97b68","datavalue":{"value":{"entity-type":"item","numeric-id":4580227,"id":"Q4580227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$BCC1AFB8-FDCC-4F1A-9D96-C256463C0696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c6855737f65e184b6ceee78000387e49e4fd454","datavalue":{"value":{"entity-type":"item","numeric-id":3616447,"id":"Q3616447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$155C3B39-6C1E-4F38-A47A-01760340E103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178a305db70d063c9414f889befd07cf69660c2","datavalue":{"value":{"entity-type":"item","numeric-id":3629217,"id":"Q3629217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$9B31B1A2-19D1-4E0E-8596-324A76960F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958413115413c7ac80dee161e64cd008fb5c0bb3","datavalue":{"value":{"entity-type":"item","numeric-id":930865,"id":"Q930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$AB9094FC-64CF-4846-A3AB-BF25FA2B4976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea65036ecd194ff8221becdeb615d4d21186d775","datavalue":{"value":{"entity-type":"item","numeric-id":4847313,"id":"Q4847313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$47C6803E-1176-4BA7-A91D-9E1ADC175687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec89099f7fcb66e1e7b6051d8385256962ef936c","datavalue":{"value":{"entity-type":"item","numeric-id":1854490,"id":"Q1854490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$F9FCBCD0-26B4-49BE-8529-292D229BB2A8","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":"Q4580227$97676897-4D93-4048-8613-B548EECDA39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9ecd1cf61dea801090b717a2fe9a2552890fff","datavalue":{"value":{"entity-type":"item","numeric-id":1744425,"id":"Q1744425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$03201964-C63F-40B4-8600-56BD5222BA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5e321125e7ed6355f7ecbec45d08a812f00436","datavalue":{"value":{"entity-type":"item","numeric-id":5311273,"id":"Q5311273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4580227$D7C8A36C-3927-4CD0-86A2-54B2B0DE6B9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8372dc0d4e42289728de65210aa33f00df9020f8","datavalue":{"value":"10.4230/LIPICS.TYPES.2015.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4580227$B3200A89-2D9A-4EE3-B2B0-C4A79182BA37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ec1e55230d0de71150c90ffb393d4db6d14fb55","datavalue":{"value":{"entity-type":"item","numeric-id":2424892,"id":"Q2424892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ab1b3d640a11e9e2f9177a5d8ba4fa241785fd3","datavalue":{"value":{"amount":"+0.8867403864860535","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":"Q4580227$E70655BC-7820-476A-A861-A403EB5AA2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ca786dd6295eef9f77e01a9b97d5b6636e52a2","datavalue":{"value":{"entity-type":"item","numeric-id":1744425,"id":"Q1744425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3dac0b76c33c7575a096780463a657e8b229d2b","datavalue":{"value":{"amount":"+0.8226457834243774","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":"Q4580227$A6184134-ECA9-4B58-99D2-0C2B321244EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02332199122e89470495cf5626c3a366d0791bd","datavalue":{"value":{"entity-type":"item","numeric-id":580956,"id":"Q580956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492c31beb33be0dcaa8354613d8790d72a91e55c","datavalue":{"value":{"amount":"+0.7291691303253174","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":"Q4580227$4E9899DE-E243-4D43-9AEC-4D1350969040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05da3c26eb3663096b0f6984618aba42769715b3","datavalue":{"value":{"entity-type":"item","numeric-id":3484338,"id":"Q3484338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfc211ca825e6f11d8ffedb9a24d7cc2cd50558","datavalue":{"value":{"amount":"+0.7171517610549927","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":"Q4580227$8D9BA210-7E2B-4DAB-B0A0-84854BCD0A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179feb6c01d4c3dc6edb508dd24c12b9a59cfb4d","datavalue":{"value":{"entity-type":"item","numeric-id":5348917,"id":"Q5348917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"031fc626df19747b86f40569fb63e751b268c840","datavalue":{"value":{"amount":"+0.705025315284729","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":"Q4580227$77D7A876-B901-4C6F-8F98-768D6AC9CE4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4580227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4580227"}}}}}