{"entities":{"Q40510":{"pageid":40566,"ns":120,"title":"Item:Q40510","lastrevid":105427961,"modified":"2026-10-09T10:08:46Z","type":"item","id":"Q40510","labels":{"en":{"language":"en","value":"Dictionary Construction"}},"descriptions":{"en":{"language":"en","value":"AFP entry Dict_Construction"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"1c1a091b310ec54805a6b5bf88970ed902333901","datavalue":{"value":"28796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40510$A4B69289-2783-4CA3-8B46-649846AAF863","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$85DED464-A9B3-4E8D-A050-83A6FEC3D173","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"2ea7ce8c048230a9edd2ccd647a10432aa378f2e","datavalue":{"value":"https://www.isa-afp.org/entries/Dict_Construction.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40510$B9967CE9-E91F-405C-9722-F527FB9106E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3caa64e9b44e0e6a95be04e9d18f7428dc349506","datavalue":{"value":"34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40510$33E265A8-4240-477A-B891-870E3679722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01c8c566de1600f59b5f8122a428964fb913122a","datavalue":{"value":"37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40510$586BADF5-9EDE-49E4-8FCF-5D8638129EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a104733b1e30d91f56342777dc887a3edbb9e05f","datavalue":{"value":"65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40510$3E24E8D9-EF77-4DEC-B664-5806C8EE8A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40510$A0D01D6C-CDA2-4076-AB9A-7756906B57BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87a555a1b2e01f4326be258f32691549082cf63e","datavalue":{"value":"37.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40510$D89B4178-75F0-43D6-8419-27371D479137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"467910eb92f3fefb5ab991704afbc9c141aad063","datavalue":{"value":"65.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40510$0A17518F-2FA5-4467-9796-D5BB32F8942C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40510$9305F789-7CD3-4356-9661-262735F6DFC4","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$21ECF58D-BF29-4918-AF17-68AE463EAE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a936602860246203ac9d0343c5125a4feac54c76","datavalue":{"value":{"entity-type":"item","numeric-id":41908,"id":"Q41908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$5EE2A7F7-8F1A-4F72-8E07-2EEBC8D101EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2b7cef605ce896a9d799a114bdf14d51ed8e722d","datavalue":{"value":{"entity-type":"item","numeric-id":40511,"id":"Q40511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$D70683C6-31CD-4C0B-ABE1-86071E43082B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$4D5002AE-ADBB-4AA1-ADC5-A4817DE8970D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"587eb1ff352d74d75ec39594cac10abdfc1440c2","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$DE996536-BA88-4706-9323-5E244DFC8AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9ad8338290e864661fc95f2a66261cf7e07a407c","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$E41900E6-5A61-424D-992C-0969F5C2B227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"181a8497f7a319d54026dcfccf5a714e5c58403f","datavalue":{"value":{"entity-type":"item","numeric-id":40512,"id":"Q40512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$A99848CB-F89A-4D90-8D11-EED6E6E4D1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4eea1e5549472c93f3282a38917960fdec6b61a1","datavalue":{"value":{"entity-type":"item","numeric-id":24733,"id":"Q24733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$C34CADE9-8532-4922-945F-1523E41972CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7343f563fd02ee3f7d39ccb038f5c1c6c726769a","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$6FAF804B-9D69-4A3D-BF89-F02F0FD1DCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$C141A12B-AF31-4660-9AD7-9505AB463C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"62c8694bdadc2a63bebb430c3f9776f5f866ae0d","datavalue":{"value":{"entity-type":"item","numeric-id":13123,"id":"Q13123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$8D318874-A65B-4750-8288-89949C21FB48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7215445a21a49677e7a0e6917d2cbc1e0e8d4b92","datavalue":{"value":"https://isa-afp.org/entries/Dict_Construction.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40510$C848A923-848C-4F86-93E4-D33787FA3606","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"bf5d485796582ea615cfd5e7c0148e1add1641d3","datavalue":{"value":"Lars Hupel","type":"string"},"datatype":"string"},"type":"statement","id":"Q40510$9D8AA700-630A-4989-BEAF-756F5DD50600","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f24589faa5ab0ba6cb9dbe55600ff7a3e21face","datavalue":{"value":"Isabelle's code generator natively supports type classes. For targets that do not have language support for classes and instances, it performs the well-known dictionary translation, as described by Haftmann and Nipkow. This translation happens outside the logic, i.e., there is no guarantee that it is correct, besides the pen-and-paper proof. This work implements a certified dictionary translation that produces new class-free constants and derives equality theorems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40510$9FD3C577-B971-4E36-8BC0-AB66605E4CBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$682B467F-1184-45D6-92FB-3E3FF8A60F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$595B0C7E-D2B7-4D89-ACF9-26D5C86B77E3","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"27e971e25f48a406ca09caf18a9e463d40cb63ef","datavalue":{"value":{"entity-type":"item","numeric-id":7361166,"id":"Q7361166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$D8E593CE-14FF-4C65-AAC8-4A56ED91F175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"fe831ba54f2ce413cdc81454989524ac1bf63b6a","datavalue":{"value":{"entity-type":"item","numeric-id":7361149,"id":"Q7361149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$0091D4D2-54BF-4591-B124-7C6D0CAAC50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$7717BADB-DEF7-48EC-81E1-10A41515C3ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb39e4a0c00eacb8782641ee71ab305789d63b9c","datavalue":{"value":{"time":"+2017-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40510$5F750C37-3A1E-4B96-A0EB-B96230096371","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"055bb828dab60e528fe9f4711035f3397cc1e626","datavalue":{"value":{"text":"Dictionary Construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40510$540443FC-E294-49F6-AAF6-A8A3B8A7360F","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$253C8FC0-F07D-44BE-970C-2BACC7936613","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"7a918ca57cbef7417c708001c9499e7e295238c0","datavalue":{"value":{"entity-type":"item","numeric-id":7360836,"id":"Q7360836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40510$107C8E60-F220-420C-BC2C-C5E7C64BE657","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dictionary Construction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dictionary_Construction"}}}}}