{"entities":{"Q5398331":{"pageid":7427905,"ns":120,"title":"Item:Q5398331","lastrevid":41546021,"modified":"2025-05-05T17:04:53Z","type":"item","id":"Q5398331","labels":{"en":{"language":"en","value":"Idris, a general-purpose dependently typed programming language: Design and implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6262158"}},"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":"Q5398331$415F691A-1C2C-4C5E-8084-9AA543035A59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6143640b2e392815094b2dc67c18df0c72f4430","datavalue":{"value":{"text":"Idris, a general-purpose dependently typed programming language: Design and implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398331$8E70F46B-0978-4CCB-98E7-15A07F2DF43A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e77cded9a45a6ce5adaef8c2237ad1e9aeb8b6f3","datavalue":{"value":"1295.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398331$9BFB6008-610D-4559-876C-41296489001D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b061fe07c5d36acec8861cf4b35f7fcef053cfa5","datavalue":{"value":"10.1017/S095679681300018X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398331$6FE35B71-55A9-41AD-89B6-4970CDF8B917","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d31e496bca92cc6ce2d8d2fbd9fe1acfa896bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2364698,"id":"Q2364698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$6B6D64F0-FF0D-4A5E-BE93-7621EF44D477","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$0F11274C-354B-4D7D-8782-CEA996E683CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ad1819a6b25c30725bd1583db7084d2537ac828","datavalue":{"value":{"time":"+2014-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398331$3C07862D-6443-4571-A587-1F2B2A07F3CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398331$CF6F4BFC-1805-4C30-AD0B-5AD25E4D547F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398331$B46A40AB-6881-4728-8867-DC32DA79B2A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f1e1f0ace8eee2193522c596311a210927d5d7","datavalue":{"value":"6262158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398331$B2FF3C21-474D-4568-9A4B-8AEA82472774","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398331$AB1AAB86-8973-4B0C-BDF4-7C2272191D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"102667d711c672a3923ae9c615a932d04c3c4df8","datavalue":{"value":"Idris","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398331$138207E6-942D-4750-9C35-F872A8AD9CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398331$D730C399-BDBF-4CF1-87E5-5EC92D1F8E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398331$A5088145-260F-4545-956F-4DBFF3141C77","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f63947ee805cb9299c4948a782a9c19a7c26f1a9","datavalue":{"value":"Q56228328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398331$6ECA023E-6D65-414A-A421-484D4BA0B765","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$5B4F872E-9CB5-49F6-8A2B-0A6AA57FF915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$B9B1F52D-5A82-4027-BDCF-C794625FFB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e603d7c91a5659a0e67ae5a0b1fc4700fb0830e5","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$11C1AA1A-3368-4421-A615-9CC906B876A9","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":"Q5398331$8064E621-3196-4B72-8B6F-0069E50C3625","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"726a045bfe5bcf27b308fa8553c106d6b5ec2d30","datavalue":{"value":{"entity-type":"item","numeric-id":4918240,"id":"Q4918240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$6F113B60-477D-476C-B649-D811D40B9DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$71FC605B-9709-4DC8-BAE4-3FCCFEBDA43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$017F1373-E58C-4DC0-BA18-47CB464660ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a25c1dff2687520a3f9d2ef4bf176bd24d31c10","datavalue":{"value":{"entity-type":"item","numeric-id":5746362,"id":"Q5746362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$D9881CBB-F444-4003-B641-795AB8E6B084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$CBA57BFA-19BC-4DB1-8C4D-5975FDE853CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$1A153F3A-BD13-4344-9D8B-DD19B1691055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398331$360E994D-7C96-465F-BDC7-961AD5DB9E78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d9074b24e1ff6ae3bcf7b5602b39670d55b5476","datavalue":{"value":"https://doi.org/10.1017/s095679681300018x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398331$72D318A9-5F36-4EA7-B3C7-28727F92654B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8db7fc774c3ec6e86fd4b65ff536bab117a41a4","datavalue":{"value":"W2145108549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398331$5BABB520-F71C-4D6A-9C4A-02222103673C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f145aa3183c11f3ed76154d07cc5a82ee28a8ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3612438,"id":"Q3612438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0326caf56bd6d2ef55d6cd24678e44dd926395","datavalue":{"value":{"amount":"+0.8311906","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":"Q5398331$F5D3D3DE-DF5D-4566-8C59-851D2ABF08A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28912c5c4d1096920bbab30e76dcb35cb9c6b51","datavalue":{"value":{"entity-type":"item","numeric-id":5458373,"id":"Q5458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2d8baace3857e4f9e9033cf7973bdd860d369c","datavalue":{"value":{"amount":"+0.83072674","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":"Q5398331$11F2DDB7-80AF-46FC-95A2-8043A88B05A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83150e5716ce1338994c56aaab96846b1322a07","datavalue":{"value":{"entity-type":"item","numeric-id":3006157,"id":"Q3006157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50519cdacf9b5a2a1dc7967300dd988d6338a02","datavalue":{"value":{"amount":"+0.8299539","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":"Q5398331$F64BA60A-D450-448A-A1A5-1B26747EDB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"358995f440739c95e401811ea48d338eda2492a8","datavalue":{"value":{"entity-type":"item","numeric-id":5741554,"id":"Q5741554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eee7a389141b1c68c6ea18cc1830c8991da79b7","datavalue":{"value":{"amount":"+0.8251691","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":"Q5398331$03D7CD76-7D12-4C3C-91AC-62A09C1493AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e088cbec1988368e76bc1772341a1c24eb4604","datavalue":{"value":{"entity-type":"item","numeric-id":2753682,"id":"Q2753682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bf63875ff38d6815dc3670b1e8fdec2f2228d6","datavalue":{"value":{"amount":"+0.816973","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":"Q5398331$B0C75829-631B-490A-9C9B-B4F8D95B65DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2808296c78d138368e61e821e9f5a75db030f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3002481,"id":"Q3002481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d10e1db79cbe529f1e68769cbc7be430dede574","datavalue":{"value":{"amount":"+0.8146089","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":"Q5398331$D1E494C0-2A88-4E58-9F61-76647E91FDF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398331"}}}}}