{"entities":{"Q6151624":{"pageid":13285931,"ns":120,"title":"Item:Q6151624","lastrevid":102558575,"modified":"2026-06-06T04:45:58Z","type":"item","id":"Q6151624","labels":{"en":{"language":"en","value":"Formally verified animation for RoboChart using interaction trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803185"}},"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":"Q6151624$391E0084-EEA0-4DD5-80E6-AC55C6F091A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e1641d281f09c17c2357d4dd6525f1bd45d523f","datavalue":{"value":{"text":"Formally verified animation for RoboChart using interaction trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151624$794B6526-5D48-4662-A3E0-0D8F3E8EF386","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f28c6f17189715ed832177cbcbb505f96e8d7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1617823,"id":"Q1617823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$6258C1A9-90DA-4A65-BF02-7B182A67820D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$5AE00D66-8A65-41E4-8ED0-2BD5F9B9503E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$3AD72C9C-578E-4DF2-B831-01BCC79645C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$F55068B9-3755-4D7A-975E-C2188C6B7A55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2690d5dc291ad0ded12f2eb8597187f840576ab","datavalue":{"value":{"time":"+2024-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151624$861D2E61-6BFF-4791-B957-ECC1A96AFDF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ac567b033b18cfef01b7dd87315ccd3ba89493d","datavalue":{"value":"https://arxiv.org/abs/2303.09106","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151624$E0768398-7A7F-4909-B4F7-8F2BCB9355AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151624$59B5E223-CC34-4794-94B6-D8FEE7BFC080","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4685a91e09a19ddd9f734b725a119469543262bd","datavalue":{"value":"7803185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151624$671D4AD9-BC07-4578-B760-53EA97FB84F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685e8168d6732ac4339ea8cb44fa865407b14bb7","datavalue":{"value":"interaction trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151624$3777D8B1-6152-4D78-9653-2CE9362A3601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151624$5F883AB9-D7BF-4C6C-8ED6-663E9D32D51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151624$190F22E6-0F96-40E5-B2D6-88836A35DA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2836fa0d7c843241f54e59fe2e6fba0638ec88a","datavalue":{"value":"animation of robot software","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151624$6DF49039-92F8-4C21-9125-798BCE22A2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151624$E7D5D146-0CA4-44BF-8B40-AB98EAB911F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151624$835D641F-4697-468A-A89D-2006E892FB51","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":"Q6151624$DAE6A85E-3891-427C-BBED-CBA75291E772","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab236aa23c38b0cc2b66ad3a0e5535813466543","datavalue":{"value":{"entity-type":"item","numeric-id":2296286,"id":"Q2296286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$266AB9DE-8966-4428-996E-AC8C2AE9CDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d9a08ef6dc140dcaab0298ba120310f9347198","datavalue":{"value":{"entity-type":"item","numeric-id":2695373,"id":"Q2695373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$C44CC963-6C2B-4E4E-ADF8-4857CB682D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d5526333ecce1996660037c310a447acb45cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5098720,"id":"Q5098720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$8C7222A0-74C0-4199-8BCA-877CD577D2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$07E0C818-DEFC-4564-BD0B-3D052A7BF6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d527d6fed602b2c183f15fe9fbdc76f45659a2","datavalue":{"value":{"entity-type":"item","numeric-id":6134265,"id":"Q6134265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$C5B35DBD-6F94-4BCE-A2BB-4DF2DFA277D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$78FC5157-3849-434E-B8F6-E6EAE1818933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$7E95C8AE-40FA-4D78-8F34-AF13AAACA6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$819584A9-6202-4647-B88B-0DFDDA1688C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$EF55520B-6BD6-4322-A512-592EC9674152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$D11D87FF-DD5C-4303-B69D-8D34F3784B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402a6b288a9007533d8ca32334659b6027ea5ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4118602,"id":"Q4118602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$E6231CA4-1400-4046-806C-4A7C5710D577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6a71dba194b785f56a46133e3f797603b5dc96","datavalue":{"value":{"entity-type":"item","numeric-id":3322961,"id":"Q3322961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$38AA0F62-6CBC-4E4D-AAE8-915EE42E160E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f47282701e7e4596021e2578d3c735333991152","datavalue":{"value":"10.1016/J.JLAMP.2023.100940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151624$2F93CBE8-EE8E-47C5-819D-6D3BF7AF73FD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151624$802FC68F-DEA4-4D66-8E6A-2168E06D47D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formally verified animation for RoboChart using interaction trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formally_verified_animation_for_RoboChart_using_interaction_trees"}}}}}