{"entities":{"Q7361446":{"pageid":31519877,"ns":120,"title":"Item:Q7361446","lastrevid":105423608,"modified":"2026-10-08T13:45:26Z","type":"item","id":"Q7361446","labels":{"en":{"language":"en","value":"XML"}},"descriptions":{"en":{"language":"en","value":"AFP entry XML"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a3c80b102061bb7bc1d796a4e896b97d05f3ce0","datavalue":{"value":"https://isa-afp.org/entries/XML.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361446$0D9B4870-A1A9-42FF-9728-C6D7B6F7BC13","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7335db8cbac804a8435e80e80636b4dde04d73bd","datavalue":{"value":"Christian Sternagel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361446$DF81FA1E-B3CA-421C-873A-527781694E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361446$A8B8841B-7817-4080-8A79-2B35271D29D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4e646f16cde9cfa1c19d0771a8f74ba7e8c772f6","datavalue":{"value":"Akihisa Yamada","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361446$6D86FF51-ADF8-40DA-879D-58A9B95E079A","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":"Q7361446$7D155085-C818-468E-9612-E6803C5959B7","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":"Q7361446$74E1C9DE-E13D-4D83-8309-982759F58D14","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":"Q7361446$80B7FE5E-E808-40C8-915F-CF250DADB16A","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":"Q7361446$276501FC-3923-4D45-9BC9-780437426DCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a4969b7a4f345dbcfcfdc3fec1b82087325bfd8","datavalue":{"value":{"text":"XML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361446$363BEA0A-E9E8-4930-AFA4-F704CBCA07E8","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":"Q7361446$9F4EB543-C3F1-469B-BDE3-F05F38F8D167","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":"Q7361446$3DBFAD3D-83BA-435E-9732-9439102F75FC","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":"Q7361446$EC370D0B-0701-4F24-8C6E-FE2AC34C06FE","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"677f1f4b125ea5c9426fab6f44cc455be58ea857","datavalue":{"value":"28833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361446$A557ECBA-7757-4F24-AF68-49F0EF53CB82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361446$97F5A78F-8288-46F9-845D-B32F2CFD1483","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":"Q7361446$180726FE-A461-45FC-836C-2DBEC59F4C51","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":"Q7361446$D3AAC09C-0316-4210-B33C-D2D82017CEE2","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":"Q7361446$664E9924-921B-4D04-A9CA-3F4161C0A8E2","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":"Q7361446$2566D994-B215-4C3D-9F9B-ED92FF6E1614","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":"Q7361446$A19F230A-E6D9-419F-8041-459103C2E98C","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":"Q7361446$4CDE93E4-2BFA-4FBC-89FC-EACFD595EBC3","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":"Q7361446$1F84A010-6119-4577-8DBC-85E0CE19CEE5","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":"Q7361446$89E09D1F-2617-4449-90FA-8F0E800ACA43","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":"Q7361446$A67BC663-C904-4093-B216-6EC6651237BE","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":"Q7361446$7237BBD6-F503-483B-A85F-1C005852A081","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":"Q7361446$51ED4DB1-D945-47B6-8681-CD67DC11D1ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"XML (AFP entry XML)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/XML_(AFP_entry_XML)"}}}}}