{"entities":{"Q38406":{"pageid":38462,"ns":120,"title":"Item:Q38406","lastrevid":56353899,"modified":"2026-03-13T06:12:23Z","type":"item","id":"Q38406","labels":{"en":{"language":"en","value":"RDL"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"747c8e4cd59b3571e94cca90858f3581b84f5408","datavalue":{"value":"26677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q38406$264F1C17-F55D-45A7-B49A-A9F7EA2EDDE8","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"7da764677d6d0076ad3ee1972300d87c524af833","datavalue":{"value":{"entity-type":"item","numeric-id":5717459,"id":"Q5717459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$2BCF8AF7-AF3C-42A6-9565-7D187A229D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"ca2ed45319fe90e68adeb3a9d1b62672ec83e1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4539649,"id":"Q4539649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$6F1CB5AE-B70E-47D0-BD4C-35DCF95C0D6A","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":"Q38406$AB0C8E1D-A9F0-4548-80FA-3E18BFB8F849","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"1c10fd41267382b11cadeea98bf503fbf8cfec79","datavalue":{"value":"https://github.com/theoremprover-museum/RDL","type":"string"},"datatype":"url"},"type":"statement","id":"Q38406$D0DE81C0-C615-4768-B093-21C42B1AF0DE","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"b38685a756b7e9182cf95e2a815e8da3b08ca634","datavalue":{"value":"swh:1:snp:a3add609ee4748afc2f6bab1f5c8a16f3f5a65ca","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"1c10fd41267382b11cadeea98bf503fbf8cfec79","datavalue":{"value":"https://github.com/theoremprover-museum/RDL","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"06f3fea51b1617489fa686ba1d5dfa459aea498f","datavalue":{"value":{"time":"+2020-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q38406$376D90F4-3F0F-45F0-B0B9-E68DF8220824","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"f942c7acb9bfb3ee22ac9bda48d96118258283a5","datavalue":{"value":"https://link.springer.com/chapter/10.1007/3-540-45744-5_54","type":"string"},"datatype":"url"},"type":"statement","id":"Q38406$BF1E4CA7-073A-42AA-8854-B126C09DB3C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q38406$B5BDD9F1-6ADF-404E-A6B2-B978CCB17121","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"139c69b2a23f419923a7989e28183ef8179b6836","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$C2FFBE2F-711E-4D11-A1CC-E0C4482970F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4d7f4b76492a75780585d40fb718d00d42a05322","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$7745647C-2728-4578-8A1A-3DEFB255D849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d7c040ce959972b4487e042758ffd0bfc4096e5e","datavalue":{"value":{"entity-type":"item","numeric-id":40619,"id":"Q40619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$B510D93C-584A-4298-AA0B-66B172F73AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e44e7e5d09606d35b7cdf68de0061f7b9ed4e9f4","datavalue":{"value":{"entity-type":"item","numeric-id":29799,"id":"Q29799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$B932F7A5-9698-4225-9791-F28E1B24D713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4cc876171e757df317155c2788c1ce4f0c5e9d11","datavalue":{"value":{"entity-type":"item","numeric-id":15891,"id":"Q15891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$40010148-5A15-4737-BA96-891F70EF3461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4225824ce6a78acadc945f0e0004ed10ff6a0a1f","datavalue":{"value":{"entity-type":"item","numeric-id":43692,"id":"Q43692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$CCA326BE-5A94-4F79-A9CD-2E15BA70D51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"79b8184a76988874fe858edac8e553b461a3c5e2","datavalue":{"value":{"entity-type":"item","numeric-id":22349,"id":"Q22349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$F849AE07-5FC8-4F4E-9D6F-82186B3BC5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0f29c9b1edecb5ae8b8679151a51782e90d9480e","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$2D99EFC1-6A95-4F30-AFAB-321BE72BDE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q38406$C27D2AF7-F43C-4DB2-B6FB-7E1ABBAD3181","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RDL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/RDL"}}}}}