{"entities":{"Q5326307":{"pageid":7355881,"ns":120,"title":"Item:Q5326307","lastrevid":58520316,"modified":"2026-04-05T14:05:32Z","type":"item","id":"Q5326307","labels":{"en":{"language":"en","value":"GADTs Meet Subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194813"}},"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":"Q5326307$D5F1633D-85F7-4081-8585-492F609456F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e2e19c505660fc89fb187d476fb86c3ce7c23ef","datavalue":{"value":{"text":"GADTs Meet Subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326307$FA39C17F-E3B3-44A7-8D28-8689B51AC266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b25ded9cb0b03ddb14388d4088af2579bb6acb78","datavalue":{"value":"1381.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326307$D4DC690F-1CE8-4C1F-A9AE-D2D604FCF04A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cf4dc690355bad2282d0b852bc857d5e957844d","datavalue":{"value":"10.1007/978-3-642-37036-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326307$F8522951-846A-48A4-8947-4885AD54B328","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22d4f40940ae63e936c21b3ba75f359788c389e1","datavalue":{"value":{"entity-type":"item","numeric-id":1652973,"id":"Q1652973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326307$9EBA6D59-7348-42D0-B798-D4814831F416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b50f2165478ed24dcc2bb28aff286f977f84adf3","datavalue":{"value":{"entity-type":"item","numeric-id":428890,"id":"Q428890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326307$5A460787-86AB-43CC-85BC-B3E08543146C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326307$1024D993-153F-49FE-A835-278D1276EB67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326307$32AD9D79-70A9-410C-BE5E-24990550932E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f380e982edf804ffa2705bc6667bcdfb1198950","datavalue":{"value":"https://arxiv.org/abs/1301.2903","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326307$6D926353-5670-425E-8FD3-71762D1817EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326307$7522EC8D-B71B-4BAF-997E-E2022528548C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326307$C18B7FC0-9909-4B39-958A-A8848FEA1EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326307$29DEC3B7-6452-48EC-BF3C-BE0FE3C3C613","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e27b62c623d4471a022099607a2d77d230e7292e","datavalue":{"value":"6194813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326307$49C55689-BEC1-4383-87D7-B885B9F17C68","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326307$23D0A1CD-EB13-47D2-B014-4375899D8D33","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":"Q5326307$41C95556-EA66-45D7-B20F-F469726EB1C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d30eaa9ad0f84507a9d450d22f836e7bbb143f2d","datavalue":{"value":"W1701826411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326307$E996C1B5-CE5D-437B-9B5D-A300C284BF7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c23dd3d2a3f362ec07e503134639c04b89bd06","datavalue":{"value":{"entity-type":"item","numeric-id":5716788,"id":"Q5716788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e17d06aab13b91ca6c0b4b44a3394b77def2c9d","datavalue":{"value":{"amount":"+0.7355154","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":"Q5326307$76D66F82-A6F7-4BD4-B8CC-4FFBCD219451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274329a374cfb8dc642ee012fa1aa3ca8d5e2747","datavalue":{"value":{"entity-type":"item","numeric-id":2442957,"id":"Q2442957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fdaa54cc779cb1abc9043d2999ddb2be3e709f","datavalue":{"value":{"amount":"+0.73463356","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":"Q5326307$995EFC5E-A00D-4919-AD9C-9A3C95BD2867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d654042debfe05ad206d8c9d05e83e0dead0622b","datavalue":{"value":{"entity-type":"item","numeric-id":2828286,"id":"Q2828286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4124159254c8e673b7e619008a86b08833190e7d","datavalue":{"value":{"amount":"+0.73433894","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":"Q5326307$13CF3FD2-B9D7-4E48-876A-0C93FB5D5596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7301e9199198a673eef4ff7b34422b8fa97e3bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2500487,"id":"Q2500487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727215359a76d8bb5043415fbbe38f731bdedace","datavalue":{"value":{"amount":"+0.7260438","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":"Q5326307$A80D17F1-44EE-4EBC-AC16-CDF1E68B74B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2922175192276575ddf98b1d681f3ce7cc96da11","datavalue":{"value":{"entity-type":"item","numeric-id":4390744,"id":"Q4390744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8630b74198ade4e7ec311a5d52bbec227d2d2ef","datavalue":{"value":{"amount":"+0.72488546","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":"Q5326307$76EFB188-81DF-466E-A212-1EAC56D74229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373473deeb237d4617787bc4e96787651cc8b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":2842838,"id":"Q2842838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2b6d06b670b95463331e47b9fa0c00cb795a4c","datavalue":{"value":{"amount":"+0.72436035","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":"Q5326307$D4AFB071-A79C-40E3-A56B-7A21630EC79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a922f804e6a2c5e02e1578cb1df900c569e0ac9","datavalue":{"value":{"entity-type":"item","numeric-id":5170715,"id":"Q5170715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90223ceb26b6d097a328388279591b08e7e07224","datavalue":{"value":{"amount":"+0.7242507","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":"Q5326307$132C1115-560F-4AF2-B5E0-D723519D7C82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326307"}}}}}