{"entities":{"Q1744425":{"pageid":1755167,"ns":120,"title":"Item:Q1744425","lastrevid":72418461,"modified":"2026-04-14T04:46:28Z","type":"item","id":"Q1744425","labels":{"en":{"language":"en","value":"Type soundness for path polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862952"}},"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":"Q1744425$E58A4A7A-0E84-474E-8C45-1950F51F8BD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0f20d2d07ad49862db468bf9f8feb29f7344ea6","datavalue":{"value":{"text":"Type soundness for path polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744425$3ADD0991-D78F-4218-B86D-8A923EA24953","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"171f484d2bca0442f9e72626b4424b7d89c119ca","datavalue":{"value":"1390.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744425$EAECF460-323C-4E4A-B4E7-4B30D52FBD7E","rank":"normal"}],"P16":[{"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":"Q1744425$D8B7CD27-C851-41DD-942E-E4FBD65D6AFA","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":"Q1744425$AAFE6E6B-6F0E-4F21-8FDF-0CD23FD5EC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$D83E9B88-8E78-4C4B-A344-EF5CA961ECB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744425$D8FE07FE-1F94-4FD9-8753-62367EF77458","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c604a3de0c8641bb93c07492c005470adc640db","datavalue":{"value":"https://arxiv.org/abs/1601.03271","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744425$744AFB4F-8E79-4E01-9C19-F5B25D7E68E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744425$76921F4E-DDDE-4B56-BEEC-F57A597E5412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744425$FDFAE2AB-F821-47B8-A8E9-FB2E70E2688F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc743b84c8ad7c742d10ce893374af9353a71a04","datavalue":{"value":"6862952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744425$41CF5D5C-568E-44DD-8F19-67984DC9E8E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744425$88AD4DEF-4058-4202-9C4A-223CFED8237A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744425$94283F2E-B366-4E2F-A77B-72FAA626F4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4286994dc4e54de91dd3fb2e2d6a84c2bfd53c2f","datavalue":{"value":"path polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744425$EAECF498-B729-489C-9B07-FD4210C30DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5841ebe105f4001142649b736e1fa7d33e45518","datavalue":{"value":"static typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744425$C2959688-398F-44FA-9AA1-773FEAEA82A1","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":"Q1744425$5D161946-0F01-4527-B8B1-5BC7496D0E06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e89c5c67643a782c090902c42d83a253efeec06","datavalue":{"value":"W2233101269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744425$230A394D-A1E2-48F9-ADBE-8E17D57A4A08","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"49a24d16decf42ab9fb125e3b554f243d466c0b1","datavalue":{"value":"Q113317676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744425$9A65399C-88E9-46C2-AF08-87464B706DA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a1c5ed542330120f30fdfad43ebd2f30c1c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":3644936,"id":"Q3644936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$9D65A823-A2CE-4349-B915-3A043DF966FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46a8bc6502e09f75290d4a8854327f8dc52f38d","datavalue":{"value":{"entity-type":"item","numeric-id":4890709,"id":"Q4890709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$536DCFCD-AE21-467B-985F-584D5FD2B603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db81cf7e79e54426ef60a161c70f4ae06ee9844e","datavalue":{"value":{"entity-type":"item","numeric-id":2942930,"id":"Q2942930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$7CEB5B9A-AAD6-448C-BCFF-C65515C3F44D","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":"Q1744425$506F6764-43F3-430D-94EA-6B873879C0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270134eb666efe341cad63c19635ac163dd4347a","datavalue":{"value":{"entity-type":"item","numeric-id":5096247,"id":"Q5096247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$0133CBCC-1F4E-45EB-A5F9-8A9B9FACA36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31fcd88bc247f11f5eae364935a1532cc4a60785","datavalue":{"value":{"entity-type":"item","numeric-id":2720294,"id":"Q2720294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$60DD9ECD-CCE8-4A07-A9AB-975EC6BA4C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dbadc4f23dde6b0ad4e1b02a7e97bfefd33609","datavalue":{"value":{"entity-type":"item","numeric-id":2778872,"id":"Q2778872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$51722E52-EA7C-47CA-88F7-F74E8446E2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68451ca4549e729233336d652ad1a927a7053cc","datavalue":{"value":{"entity-type":"item","numeric-id":2769430,"id":"Q2769430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$A97F991F-3D22-4E10-9B0F-F5DA36A6902D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46e7d242a920bb28f20a3a1fb96705fadeeae10","datavalue":{"value":{"entity-type":"item","numeric-id":2851046,"id":"Q2851046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$9AC4F843-4B29-4A73-93B7-207F85C87415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3fac0b35b0d61d27ef8d2fd5c9d275e1aef9405","datavalue":{"value":{"entity-type":"item","numeric-id":5712302,"id":"Q5712302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$274A49C8-6DA2-466E-B393-3A8B9E29859F","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":"Q1744425$D4018E81-C413-4462-9D2A-407DA3CF68D6","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":"Q1744425$808B3C97-02DB-4728-8A17-DBF527FF02B6","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":"Q1744425$FE66C046-8470-4295-9230-56B1E7B4C0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4dfa02e22656ef5294f0ab6c282863313bccf4","datavalue":{"value":{"entity-type":"item","numeric-id":5899011,"id":"Q5899011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$273FBB63-E2F5-4052-80C6-07C12D2F202C","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":"Q1744425$D5B53EAD-A286-49EC-AF00-8A12680C2D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1a1d519077fc4743bf7b951e451275e8b3085c","datavalue":{"value":{"entity-type":"item","numeric-id":4738226,"id":"Q4738226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$EF740FBF-782A-4A72-B16C-59B57A5D5CFB","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":"Q1744425$34676D64-CEFB-4AFC-90B7-F5F4FF5EB246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2806f51aba367eca6ac53341793f8e467611d361","datavalue":{"value":{"entity-type":"item","numeric-id":2849860,"id":"Q2849860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$916A2CB2-FDDB-44A7-8AC0-FDED7E6651F8","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":"Q1744425$AD403BC7-09A8-48F3-A5E0-74714C7CC38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191a40b46590e4a0090a6af61ed19d76be386d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3003303,"id":"Q3003303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744425$5FA0177B-3982-45BE-A09A-797BA2BB5324","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":"Q1744425$78AC6AA9-810A-43C5-B93A-582417A32BEC","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":"Q1744425$41FDC973-B0B4-4514-B606-31D60AA09267","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":"Q1744425$3379E2CD-7509-4719-B6DE-31ACEA629D7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6447eebee367179a06eaa1f63bc681fd74b6edfb","datavalue":{"value":"10.1016/J.ENTCS.2016.06.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744425$0B1E79F5-CC84-4019-8512-68F074423A93","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":"aa50ca41e33d036ce4256aad3365f4b5dd56cc1d","datavalue":{"value":{"amount":"+0.9203608","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":"Q1744425$9ABF6EFC-398D-43E3-B39F-B60C0B8F7EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34d224bc7b0649f42b3eb3d255762f0c1c0bdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4580227,"id":"Q4580227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0033db4aef548e3e399db753f969536fa748a38","datavalue":{"value":{"amount":"+0.91811043","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":"Q1744425$E2A14D50-5D58-4688-B170-BE75AD126740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b176b8167565062f21e96ce0f27ba857641b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b03b8f34f20a11f8262f72c27e66ef35aa08445","datavalue":{"value":{"amount":"+0.85001814","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":"Q1744425$A2DDC0CB-78D9-41C1-845F-CF85DDAE04D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68f761703e0eec59d8cc157bc8b46ff35cbd983","datavalue":{"value":{"entity-type":"item","numeric-id":3452252,"id":"Q3452252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d061aaee2b38f1ad977580658596cee93cee12","datavalue":{"value":{"amount":"+0.84596026","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":"Q1744425$102D6D76-48B4-4885-82D4-D77A9D701E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f21f0be4b4c2081baafbd6aec3650690f1d08d","datavalue":{"value":{"entity-type":"item","numeric-id":5267441,"id":"Q5267441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be911dd4dae0d4fd7cef19664ea84418ff9ced1","datavalue":{"value":{"amount":"+0.84499717","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":"Q1744425$6601C34A-796A-4077-BA2B-C37319BCD6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d6065f381fc940d55c9d33eb9fccdb5d527388","datavalue":{"value":{"entity-type":"item","numeric-id":853737,"id":"Q853737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba673662d999ef1f14d493b2267979d2ca70abd8","datavalue":{"value":{"amount":"+0.84008974","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":"Q1744425$339A7956-E1C5-44E8-880C-E8EF5C3A63E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78bef274ce5db61cdcec7ad365f2f915ce846026","datavalue":{"value":{"entity-type":"item","numeric-id":918190,"id":"Q918190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c95e5e2da29c6f985d8630469ecb9672606267","datavalue":{"value":{"amount":"+0.83983564","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":"Q1744425$DC15809F-F05F-420E-9095-169497920AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44c82cd58b068bc4c5bc37b9ae38b6ac0af66d3","datavalue":{"value":{"amount":"+0.836746","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":"Q1744425$B5F89B2F-3DC5-47A2-A2BF-F6AF6D9B81D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7795838457f6bfd7aee37a311c829cb505538df6","datavalue":{"value":{"entity-type":"item","numeric-id":5101355,"id":"Q5101355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ec49584420d0e7400602a4fef21f9af01ea866","datavalue":{"value":{"amount":"+0.83539873","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":"Q1744425$6A17671C-36E3-4179-BED5-E0BE970730C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93325bd0e7d7faf15a1a103e34f7574ba8e94cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1818320,"id":"Q1818320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09374e63abb23f50831fc46a01bceedab9d55197","datavalue":{"value":{"amount":"+0.8350779","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":"Q1744425$E787C24A-4E01-4C60-AA0F-0CA337FAB554","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type soundness for path polymorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_soundness_for_path_polymorphism"}}}}}