{"entities":{"Q6572567":{"pageid":14183722,"ns":120,"title":"Item:Q6572567","lastrevid":95765813,"modified":"2026-06-05T09:43:49Z","type":"item","id":"Q6572567","labels":{"en":{"language":"en","value":"Kalas: a verified, end-to-end compiler for a choreographic language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881140"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572567$475AA4FC-C98A-4E45-B98B-DEE2A5210AC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"123e2169e128399636786f6cb12e0ecd6e22610a","datavalue":{"value":{"text":"Kalas: a verified, end-to-end compiler for a choreographic language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572567$EAA63D46-16BD-4E71-B7AB-2D09D14BC8FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c576e290d89c249adea9f2616a7cfc2d1b21a82","datavalue":{"value":{"entity-type":"item","numeric-id":1687763,"id":"Q1687763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572567$491A4DAC-F96D-4D53-B473-C9C697FFF1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63e930eb28f27c9cddbf35d4fce314ac3732c844","datavalue":{"value":{"entity-type":"item","numeric-id":6572565,"id":"Q6572565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572567$108D5E50-F4B2-46A3-9B22-A8AE9D51E81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9935482520760589a0a56a9c6408e7083424701","datavalue":{"value":{"entity-type":"item","numeric-id":6572566,"id":"Q6572566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572567$887AFA67-0720-49AF-B3F8-4419E1BF4D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572567$778C1C42-6B19-473E-86CE-7F4BC0BA31EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572567$7B6AADE0-DB5B-4D08-A230-6F487EC39D5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572567$0A079506-02D4-496D-839E-2AD39405575E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe2f4797bf427ae46b58a011ac634c55a8baec3a","datavalue":{"value":"7881140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572567$D882EEB5-AEB1-435E-A9EF-4D5317701464","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff57ee588ae4da6917a03fa2588ba6b563bf9ac","datavalue":{"value":"choreographies","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572567$CB1075F1-9A6D-44F8-AF0B-A21F5A5C395C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572567$7DE02BA9-23EF-489F-B736-0B60C434A38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572567$A4B42D5F-EA34-41BF-B0DD-31381FFA842F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572567$0AC342FE-1368-46CE-881E-76D09785A189","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed0c93972acd4fc2fb05b764d74a75975242c185","datavalue":{"value":"10.4230/LIPICS.ITP.2022.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572567$C1F243D5-2C9C-484D-8A36-1DC3D2DF2067","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kalas: a verified, end-to-end compiler for a choreographic language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kalas:_a_verified,_end-to-end_compiler_for_a_choreographic_language"}}}}}