{"entities":{"Q19238":{"pageid":19294,"ns":120,"title":"Item:Q19238","lastrevid":56222544,"modified":"2026-03-13T05:32:21Z","type":"item","id":"Q19238","labels":{"en":{"language":"en","value":"Isabelle/PIDE"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a2ebc32f5ad952270f06d900cf290d0107d76d68","datavalue":{"value":"7185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19238$643A415C-AD30-4322-B351-AE02BC077357","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":"Q19238$ECDA4CC2-1EAA-4A49-B35F-85BB2352CCA6","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"8fded3198203e56f42cc51453ebdde969deef6d9","datavalue":{"value":"http://www4.in.tum.de/~wenzelm/papers/pide-edu.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q19238$77BCBF43-95CE-4D42-8AE5-8B006E05F0D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae9c75c1f07ce06d85b9552d2104619090f82402","datavalue":{"value":"00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19238$4425797C-A7F6-4012-9B7A-87970A17DFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19238$3D289758-EC5B-4DEB-8C09-AD3E48A77BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q19238$F80413A4-6638-4670-BB60-DACE8B3DDE23","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$FD0EA65B-B045-4C69-932C-C498F4C52A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$74430397-FF0A-4162-9394-C2C8BF4EDE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"dc75b1f4f41a196c347c039c5eec89b08662123b","datavalue":{"value":{"entity-type":"item","numeric-id":18543,"id":"Q18543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$5D2C05AE-61FD-48E0-B185-B21438948AF0","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":"Q19238$3DE785DD-3A19-47FE-8C1B-7576CCFBE453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a7a8db67cdbad1c61eb28b6dbc688bcdfd970f50","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$35672873-E984-4CFA-9AE4-761EE83838AC","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":"Q19238$37FD385B-5AD0-460F-975D-256F680D3B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$E852CE1D-C6F9-41B7-8B62-9EC26B51AE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"41b2555b2c8c445e3ef6abe54038169a46d2c4bc","datavalue":{"value":{"entity-type":"item","numeric-id":18521,"id":"Q18521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$166CCD8C-6694-478E-8AB0-19134BBF533E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"18e15e946a9b8db60c88d8c0a9a054a3d76ac633","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$833954BA-0DDB-4A54-9CF3-51FA3ADA37EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$59F59AA5-C94F-48BB-9242-2E3019709A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$05E29456-485B-4A34-911F-E137EE297D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$3E818952-1951-468D-8C53-3BAF381DB07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bf1a18ce9caf66819337a110934cb3723b5e15d9","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$78471C8C-1FE2-4688-8702-A9AA3E24902E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a16744f59312901e81a619bf1f64e061a34a724","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$799DD67D-0B7C-4A59-89FB-A00265246BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f01c83a5a54fee889f3ec90409eea63e50d19053","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$2B5F0387-0D74-4CE5-819A-4E9D6D978742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$1E88CB20-3032-408D-A6C2-F24950C24733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bc63b18f29e81036c5e8291dd57d82490deaa954","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$EC68058B-B51A-4317-A1BD-A03D9E237E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2cd157c0ce895ace042c647f41667d99482a6298","datavalue":{"value":{"entity-type":"item","numeric-id":23299,"id":"Q23299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$6DD23CE6-672C-4939-BAFE-9F27D44B8834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2fd4f2f31989858180fba533a04e1a60c8d16377","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$4E1ABC14-2359-4E98-9C19-BDB4C943397D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q19238$A51C4A39-BBE5-4751-A62E-3517E7B8DB6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isabelle/PIDE","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isabelle/PIDE"}}}}}