{"entities":{"Q2176685":{"pageid":2187428,"ns":120,"title":"Item:Q2176685","lastrevid":73554069,"modified":"2026-04-14T16:26:30Z","type":"item","id":"Q2176685","labels":{"en":{"language":"en","value":"Shallow embedding of type theory is morally correct"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196589"}},"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":"Q2176685$8C018174-B034-43CD-A7A5-35F52440101F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e902d46550d0972f5f757960cd50c88e440b3ea","datavalue":{"value":{"text":"Shallow embedding of type theory is morally correct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176685$7BF3531E-451C-481D-AC9E-04576969782D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0da6bc206e3f6813ad9a9441e31786946c7944b1","datavalue":{"value":"1434.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176685$8BBA03B0-D139-47A6-9CEB-473545C3C56D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2982956fa4ec29f832af1a3578a95f7631cd1959","datavalue":{"value":"10.1007/978-3-030-33636-3_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176685$0CD70B89-89DF-4058-B375-8790F448055E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7cbc48b481a6b830ab14eacad20738b43bab2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2176676,"id":"Q2176676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176685$A7D21E4A-8C9E-4F2F-B0E1-86BC42A8CEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ce0e0cdedd491f2be40b586710d257b049396c","datavalue":{"value":{"entity-type":"item","numeric-id":421064,"id":"Q421064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176685$8C0AAEAC-02EA-4B76-8C75-1E47A31F0687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2accd5eaf3e9e7e00366f515bd2165d3c134f6","datavalue":{"value":{"entity-type":"item","numeric-id":1652994,"id":"Q1652994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176685$F5D6E70D-C3AF-4D63-AC2B-86BDAC305FF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ffa913ad058323c97cdd62b11ad32d016ae0804","datavalue":{"value":{"time":"+2020-05-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":"Q2176685$1AF35249-64B1-46E4-A73E-65C70DF4D82F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e8d8538f16c995770d25397b5f0389ddff81d61","datavalue":{"value":"https://arxiv.org/abs/1907.07562","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176685$37C1F3D4-CAA5-46E9-9190-25F972A9B359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"96f8606a4d49e24e2a24561182a541e0bb53c958","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/84879626/Shallow_Embedding.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176685$90D9E866-C52C-43D1-8A7E-831CCC2E1163","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176685$1D43584D-A196-4DEB-A72E-54A18E87C475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176685$B3CF4AFE-F4CE-4414-B50C-090CCF9B04C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44e66abef6a36eb104e61ca51a3b81628d2ebac4","datavalue":{"value":"7196589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176685$37F2B653-320E-4DD7-8C20-23B1CB7EBBE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176685$338A98CB-0B1C-4203-8C67-7C874D2D9F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ed79f4725dcdad0ab0a3720c5d8bb0d631ff94","datavalue":{"value":"shallow embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176685$D0513406-F54A-49AC-A57B-04F92BF6B18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b56c6fe22f40d3ddce1ddeb57526003447b66e8","datavalue":{"value":"set model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176685$759544EC-04C8-498B-B913-8AED06541D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec3064e1f5c4a76c7cd4c747e77c17fa60ecd84","datavalue":{"value":"standard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176685$F19B63FB-D488-4DBF-A25A-E397E45BA4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176685$7A47C141-207C-4152-AB8C-DD65A8216D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176685$6C560608-2BC3-4783-84AD-5AEBE9381645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176685$3E110267-10DD-4BCC-855C-DB72A819E46D","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":"Q2176685$699591BC-7E1D-43DF-816F-B2A995362A00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"095a3f7fe2afe337f42b2889ec66919ec81a2b54","datavalue":{"value":"W2982682917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176685$5AF4CE1F-0E61-4792-9568-DF0383D80807","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad5a9bf18d00cb2dc53d9fc16612f03e108efa9","datavalue":{"value":{"entity-type":"item","numeric-id":3523188,"id":"Q3523188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9932717895041e6f06845a4c67328d31b5bf996","datavalue":{"value":{"amount":"+0.8510365","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":"Q2176685$8CB59C69-04FC-45D3-9B37-B76B956E4F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c247c13eae3b9344335959c417ccf31ad3d030","datavalue":{"value":{"entity-type":"item","numeric-id":1820157,"id":"Q1820157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbaac14956706a49b443380108dfb721631839e3","datavalue":{"value":{"amount":"+0.83468246","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":"Q2176685$12CC6B55-4717-4E16-A6D1-A4F8F9ECE817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b968dd50fe67e7e91deb0952af8631245b21bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2804938,"id":"Q2804938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127dbb94b9ce8d55687174d6850bbd2c2b84f3f2","datavalue":{"value":{"amount":"+0.83445203","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":"Q2176685$6D865251-0141-4536-8CC5-7BB8293AE7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0374978b71ce4f934a36d4ae8d192493815b5b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3613437,"id":"Q3613437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df659a77fdca717ada54c062fcf32c6d2701db68","datavalue":{"value":{"amount":"+0.83417803","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":"Q2176685$CA0726F1-2829-4CB1-958D-5B372B2686D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4128576115585c6eeba0ae32dedbf5d93cb852","datavalue":{"value":{"entity-type":"item","numeric-id":3535620,"id":"Q3535620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df659a77fdca717ada54c062fcf32c6d2701db68","datavalue":{"value":{"amount":"+0.83417803","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":"Q2176685$D5000A1E-05B4-4478-95AB-7CF0B085D16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b0a0d565da92f52b216f298eba135557980aea","datavalue":{"value":{"entity-type":"item","numeric-id":3499754,"id":"Q3499754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2033c6cc044408b80df850fd3764a1a029cafa6b","datavalue":{"value":{"amount":"+0.83412457","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":"Q2176685$011DA264-5B86-408A-BDB1-7EEDF8F9B310","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":"ffb4d2dc1e5ea387c6239e27edce287b27af0ba7","datavalue":{"value":{"amount":"+0.82265437","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":"Q2176685$C1A11B70-CED8-432B-9C2D-69BB5C3435EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ca340dc8e394900862afcb19597e0057e4a7ec","datavalue":{"value":{"entity-type":"item","numeric-id":2889577,"id":"Q2889577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e31d72410be9dcb3a1f95cc54115a138c0de544f","datavalue":{"value":{"amount":"+0.82052493","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":"Q2176685$42CCCF75-48A7-4CA2-A5AB-93B24B15D23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fc7d2864ba0890504d7315e382f3233f9b00c2","datavalue":{"value":{"amount":"+0.81774","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":"Q2176685$9F19D2B3-FEF7-45B8-9139-B28E6FFFDED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14a30b91634bb54d047e7fccbb8bee462919cde","datavalue":{"value":{"entity-type":"item","numeric-id":946569,"id":"Q946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5a1dd19e84f7302c960a72557f76fbbdc3ce13","datavalue":{"value":{"amount":"+0.8174629","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":"Q2176685$589E3D4E-3069-4A7E-A2AB-C70E066BCBC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Shallow embedding of type theory is morally correct","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Shallow_embedding_of_type_theory_is_morally_correct"}}}}}