{"entities":{"Q5014449":{"pageid":7044026,"ns":120,"title":"Item:Q5014449","lastrevid":58404129,"modified":"2026-04-05T01:50:24Z","type":"item","id":"Q5014449","labels":{"en":{"language":"en","value":"Reasoning about modular datatypes with Mendler induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437716"}},"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":"Q5014449$EBE6B307-D6C9-48A2-8EDB-E240B4836B76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"676c609ea93e097c55f49b04fe1da17e3f1f189d","datavalue":{"value":"1476.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014449$25B1F538-CF0E-4894-84DB-64E7FC835F37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"404efaf7aae646907c0e225d54662f8ee37a7f89","datavalue":{"value":{"entity-type":"item","numeric-id":2829275,"id":"Q2829275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$B6D7D037-56E5-4259-A1B4-EDFE358B3AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9310327fb280e8510025a221163e66f379344f4","datavalue":{"value":{"entity-type":"item","numeric-id":487656,"id":"Q487656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$61FCF2DF-4ECF-484F-8DF8-D60FAE1EAD32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014449$49F0A0AB-A3C7-41E4-AD44-160978C31A77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de8a724a4c9c72b2a312712362a297fd96011a20","datavalue":{"value":"https://arxiv.org/abs/1509.03021","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014449$311EBB9F-560C-4D07-A316-7C4B228F2EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd8021b41a5bd496e8e6f0755a263026521bf6a9","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014449$6E788736-935B-4E4C-9138-D879D90DA9BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014449$06D70EC1-41BB-43AD-8DEF-6349786D598B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014449$9EBC20A6-BCF4-40CB-98DA-E49EE663DEC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddab91b9761ded16d6cb7dd280e5704256562801","datavalue":{"value":"7437716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014449$87255D92-838A-442B-9258-D11FF52A4C0E","rank":"normal"}],"P1463":[{"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":"Q5014449$0E942858-CBBD-43B2-A685-60AF3D3CDDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$EBCC40C4-41E6-4FC3-BBD3-CE954379E0AD","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":"Q5014449$C2D5F798-3171-435D-9E61-DDEA24EA98EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"150719399e882b786834d79969b3d0373e1dfbae","datavalue":{"value":{"entity-type":"item","numeric-id":1770412,"id":"Q1770412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$954EE46F-7CF1-4BA8-BC4C-D9349747C15A","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":"Q5014449$C877C35C-DC4C-4C2E-B2A0-0330FD30A8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$E5AB8ADB-D6D7-40DA-88BB-739D6C9466D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2bae8f277b8df73c93e33293d22739e9b6d60f1","datavalue":{"value":{"entity-type":"item","numeric-id":5244814,"id":"Q5244814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$D598095F-C9F2-449E-8B30-A01AF1DDFD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf3dba72f9cb3aa976e9fb209aa77966813aebd","datavalue":{"value":{"entity-type":"item","numeric-id":2931797,"id":"Q2931797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$FC37D36B-F350-41EF-A831-1AAB30EC0CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f92e381d678c6d00e16437fa98752bdd883d06","datavalue":{"value":{"entity-type":"item","numeric-id":5464049,"id":"Q5464049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$21EAC9D0-CB69-40CF-8540-5849F4FCEFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$1C06EE85-AF91-44C5-AD93-18F967C123F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6e5869280da5429c936628f0da2ed487716379","datavalue":{"value":{"entity-type":"item","numeric-id":4943357,"id":"Q4943357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$BD9D04B8-4BF1-41B1-BB07-6920F1834E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f1cf971569108cacdad2f6af4c416617bcf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$E550E86B-A03C-41AB-92D0-A6EC143B1D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f7fce03df140efe1bf6ee86c2e7250270ba00","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$2FF36993-3955-4A2D-B1C9-CA0723AA7515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$E9A9865C-383F-4625-B931-F573A12909AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a37d46eed0861d3cef1d05ad4dceb687abd1a86","datavalue":{"value":{"entity-type":"item","numeric-id":5189646,"id":"Q5189646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$2F877F2D-A9E4-47EB-A6DA-8ACD1796BD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74373b55bec6df4b935c511f0aa61279530718c","datavalue":{"value":{"entity-type":"item","numeric-id":3520165,"id":"Q3520165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$576C837C-D041-41D8-A86C-A0DA54AA7F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0976b9baebcfe9b64ff735439b9a2ee30d9b405","datavalue":{"value":{"entity-type":"item","numeric-id":4939621,"id":"Q4939621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014449$3F24FC0D-1E56-47AA-801C-7683F16B3097","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b6d5d9914f2d37077df71dc6315d295973db81","datavalue":{"value":{"entity-type":"item","numeric-id":2829276,"id":"Q2829276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68c149b3aabbdcc890341b08111449b04b32f0f","datavalue":{"value":{"amount":"+0.885378897190094","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":"Q5014449$BAA90AB2-E753-4748-AFB7-11148EA0FCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512fbd36e27741965404e29ed9ad22c82889f878","datavalue":{"value":{"entity-type":"item","numeric-id":1791163,"id":"Q1791163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7796fe5d46174587381619fee73adcf14e1fed7d","datavalue":{"value":{"amount":"+0.7492930889129639","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":"Q5014449$4B2626E8-FC9A-47DE-B59D-B3FC2E07568F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9060d6e58f3abe9651a3bef1b7bd0afd802d6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2931797,"id":"Q2931797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e318483b5ea66c3e0702973a457ef0e58802e2","datavalue":{"value":{"amount":"+0.7328773736953735","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":"Q5014449$A425EDF2-D217-4DC8-871C-81FDDFDCE32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2e832f86e76f87121670a8d02c78c5d61afd83","datavalue":{"value":{"entity-type":"item","numeric-id":4939621,"id":"Q4939621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31dea6081d461d21855e0089f24d60abbd673ce","datavalue":{"value":{"amount":"+0.7230516672134399","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":"Q5014449$D37A997F-7A11-494D-B830-4F9C9AB4F540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b155993d74872be8e845d0fa858ff3dec0d658be","datavalue":{"value":{"entity-type":"item","numeric-id":2996167,"id":"Q2996167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369002fdb0b67589677fdcabbff03c4ccd90a81f","datavalue":{"value":{"amount":"+0.717210054397583","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":"Q5014449$A7D5898F-13C3-4B93-9A3C-2EB98B23B0D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014449"}}}}}