{"entities":{"Q2890506":{"pageid":2901231,"ns":120,"title":"Item:Q2890506","lastrevid":84811145,"modified":"2026-06-02T12:17:15Z","type":"item","id":"Q2890506","labels":{"en":{"language":"en","value":"Refining inductive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6044888"}},"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":"Q2890506$BC0526CF-3273-4C03-9F4E-C540D1F5CF88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fda81adfe4ce5bcfbb458fc4772efc9f3cf7561d","datavalue":{"value":"1241.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890506$068F5AD6-354E-4CD2-8C23-22113ED35085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"648f975af232ada87a7727baa1e18473fce7f59b","datavalue":{"value":"10.2168/LMCS-8(2:9)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890506$6C3A1C82-71B0-4A19-8C7C-3F6593E1A162","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a671bc31964954daa066cb3b32015fe8ce6632","datavalue":{"value":{"entity-type":"item","numeric-id":2888472,"id":"Q2888472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890506$0207E40B-29DE-43A5-BA37-927FD88FC326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890506$CA4AC285-0748-4801-A416-ECC54923D162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890506$ECE74FDE-35A0-4DF1-BF24-EE773D22411F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890506$2D931BB8-EA3E-4AB6-B824-724ADF112449","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b407bfdab7c0722e3633ce88dbddcd941cc491a9","datavalue":{"value":{"time":"+2012-06-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":"Q2890506$6B4C10D8-BF2A-43D4-8B8D-3A4D0F821309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890506$5DC14DF2-D03D-4D3B-B263-546F78E3D21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890506$CB96F26B-556E-4E6C-84C8-FA67B99713C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bf2071d3a94368ef5dec7734ff9161634abd986","datavalue":{"value":"6044888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890506$56626B32-878E-4298-BA26-CE34A45CF1EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890506$9D3A36A5-BDFD-4363-A4CC-C17E1D1CC80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890506$B51D48F2-294C-4F38-ABDF-32B3FBBB74C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890506$43FD6BC7-7042-4102-A36B-45B62DD6C471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890506$31D8D63E-84FC-4220-8B0A-4CC41BC825D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bd49c269a3f606a00671736364203d653e836","datavalue":{"value":"refinement types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2890506$1BC2EC87-DA0D-4680-A971-EC9B4537193A","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":"Q2890506$E6C0B8A0-7881-4276-95CB-E8A0B11EB6FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8521e873a9ede93d7d82c0b6f388184c11eee487","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9bf6e7286c09891841c5eb7a0af403c16a2f89","datavalue":{"value":{"amount":"+0.9273235","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":"Q2890506$04B8E598-829A-4F39-A5E3-F659AFCE66FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70332f25f8b1ef60c0baa6e2083a28ef246c43e","datavalue":{"value":{"entity-type":"item","numeric-id":866215,"id":"Q866215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf367c15076b42432e7d24474abc010223583df","datavalue":{"value":{"amount":"+0.9113314","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":"Q2890506$3DDE8C38-BBE3-486A-B5E4-83E123CF711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa957b74bd97088bf2097d500324cfe815d0aa2f","datavalue":{"value":{"entity-type":"item","numeric-id":4234966,"id":"Q4234966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f132f8970a42d6808b3b6a8686b3f1df39192f74","datavalue":{"value":{"amount":"+0.9028067","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":"Q2890506$CE697FDF-D969-42CA-9E42-2E53090BE42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b229fdf3be6e29888a59c1cd99bc0786aab224e","datavalue":{"value":{"entity-type":"item","numeric-id":556819,"id":"Q556819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9892acd0e951ed6f92aea3e1b685a74c3ad1e59c","datavalue":{"value":{"amount":"+0.9009295","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":"Q2890506$31F61A94-D05E-4E2A-B7EE-87B7411F1B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250a748e2c5b8856913fb30a63685f780a6afee2","datavalue":{"value":{"entity-type":"item","numeric-id":5261277,"id":"Q5261277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23976898323ca22d135c5729a7ced6146609af1","datavalue":{"value":{"amount":"+0.8944637","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":"Q2890506$FA883B55-AE0A-4784-A6F5-F340014F524D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3774cac021645a742e372a809e398e85536093","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b0489cfa7060d503d8a0de14f705ba7278a850","datavalue":{"value":{"amount":"+0.8931026","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":"Q2890506$B8F0FEE9-C068-4D4A-9900-01B9844386E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf00f5c73a14d206e0dbdd2b0ce7ffafc7926df9","datavalue":{"value":{"entity-type":"item","numeric-id":2817688,"id":"Q2817688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40aeabf01ccac5ce5772b24b47635300323370e3","datavalue":{"value":{"amount":"+0.89203626","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":"Q2890506$699A7872-39A4-41DF-A222-B663984F9983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e001309006a43b2c682ba66be212a39e7be2b26a","datavalue":{"value":{"entity-type":"item","numeric-id":4958656,"id":"Q4958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d380863b2c6c5a3c226435f008e06858e97d1b5","datavalue":{"value":{"amount":"+0.8901659","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":"Q2890506$09EC2865-8184-4DEF-8BE4-A547A88F86D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450502b4ed1edc57a3ccb2a6ec0ff8ee510afe17","datavalue":{"value":{"entity-type":"item","numeric-id":2754033,"id":"Q2754033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb11b507cd4f1171a6a09c0fc3f33d336cac9a0e","datavalue":{"value":{"amount":"+0.88959455","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":"Q2890506$21F7207A-2D46-49F8-A645-E11A99820A6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"602a0fbd57132e20595016fe66fc50f2cf025279","datavalue":{"value":{"text":"Refining inductive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2890506$4AE2D3A6-661E-406C-89EB-D9FF73505B0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refining inductive types","badges":[]}}}}}