{"entities":{"Q40547":{"pageid":40603,"ns":120,"title":"Item:Q40547","lastrevid":105427070,"modified":"2026-10-09T10:06:46Z","type":"item","id":"Q40547","labels":{"en":{"language":"en","value":"Xml"}},"descriptions":{"en":{"language":"en","value":"AFP entry XML"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"677f1f4b125ea5c9426fab6f44cc455be58ea857","datavalue":{"value":"28833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40547$57E61F35-CBEE-4A9A-B49A-056ED80A24B7","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":"Q40547$B81BC79D-637A-42A0-B327-3397ED8BD12C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"4fc40d2eebcc973aee8cd4c00558bf850b43ff27","datavalue":{"value":"https://www.isa-afp.org/entries/XML.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40547$D1ED7DA7-E04B-452E-92E6-EA90D6046042","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40547$E0CAE9D5-4238-4FB9-AC43-08A5436121D6","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"47548059e3416b4b47c737ba6e24ccdeda7d9657","datavalue":{"value":{"entity-type":"item","numeric-id":40548,"id":"Q40548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40547$F83FD328-D650-48C2-9AC4-FD96415C1D45","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":"Q40547$05A5A9F3-DCCF-424D-B7CF-B495D770526B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"243c22083d5dd4306f94079fe846ceb27f90489b","datavalue":{"value":{"entity-type":"item","numeric-id":43946,"id":"Q43946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40547$54693C77-AF23-4133-AB71-02EDD897B01A","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":"Q40547$3E47A9AF-B0D3-4F0E-9FD8-A42B9B23E94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40547$B89EEAF9-0A0C-497E-A374-B6D5549B1B03","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":"Q40547$70A42E7C-AE38-4A94-8AE9-7AD4CCBFDAF2","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":"Q40547$9D275DED-3066-4044-92B7-D008F78BD0EA","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":"Q40547$27DBC8B3-BE14-493F-BFD3-FF60744F0D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e5e8684e8339ba421338afd59297e657343b949d","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40547$4E5F1099-7C40-4354-97BF-8B810ACB8A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40547$A672B87F-ADE2-4EA4-AF1E-238CC54E0E73","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":"Q40547$764ED737-7046-40F6-A812-654213794D58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a3c80b102061bb7bc1d796a4e896b97d05f3ce0","datavalue":{"value":"https://isa-afp.org/entries/XML.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40547$45A8192E-F3D9-492E-BB78-027D6BF9576E","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7335db8cbac804a8435e80e80636b4dde04d73bd","datavalue":{"value":"Christian Sternagel","type":"string"},"datatype":"string"},"type":"statement","id":"Q40547$890C6D80-8A85-46A9-BCBF-B4F3D1424279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q40547$EFD92A26-7CD2-457F-AD4C-0336317C3F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4e646f16cde9cfa1c19d0771a8f74ba7e8c772f6","datavalue":{"value":"Akihisa Yamada","type":"string"},"datatype":"string"},"type":"statement","id":"Q40547$A5F41F55-EBD5-45B9-8E14-54B7FBAEBFEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a162a1f60378613725d1c27eb641822b0b3c228","datavalue":{"value":"This entry provides an XML library for Isabelle/HOL. This includes parsing and pretty printing of XML trees as well as combinators for transforming XML trees into arbitrary user-defined data. The main contribution of this entry is an interface (fit for code generation) that allows for communication between verified programs formalized in Isabelle/HOL and the outside world via XML. This library was developed as part of the IsaFoR/CeTA project to which we refer for examples of its usage.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40547$F1623B8C-8230-4DB7-A7EE-664766BD8809","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"2df63eaed94b8a24c8331bb134612d6bfc9cb1c0","datavalue":{"value":{"entity-type":"item","numeric-id":7361479,"id":"Q7361479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40547$2A31990F-CBF4-4027-A942-D4748F68CBF9","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":"Q40547$D8D2185B-1EA8-443B-BB91-DFBDADF7E218","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fc0586fb6d067887a01c3a487054385370fea97","datavalue":{"value":{"time":"+2014-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40547$2FD39869-1BF9-4514-BAFD-8B001F453F64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a4969b7a4f345dbcfcfdc3fec1b82087325bfd8","datavalue":{"value":{"text":"XML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40547$8839A696-5A12-4258-8F0B-27C9927F5B92","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":"Q40547$F368B3AE-5852-45AF-B3A7-BA01C80787F1","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"eff161b7dcf55a20ec4d840b7f18d4148cc115e3","datavalue":{"value":{"entity-type":"item","numeric-id":7360789,"id":"Q7360789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40547$A958EF26-AD51-4EE7-82AB-64A874AE6722","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Xml","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Xml"}}}}}