{"entities":{"Q2154047":{"pageid":2164790,"ns":120,"title":"Item:Q2154047","lastrevid":57745185,"modified":"2026-04-01T05:59:00Z","type":"item","id":"Q2154047","labels":{"en":{"language":"en","value":"Temporal reasoning through automatic translation of tock-CSP into timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7556530"}},"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":"Q2154047$0B4686A7-0421-42F6-ADD7-A2481BE70BD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37e61531f6ecdf002003c45ac9efedfd9c348661","datavalue":{"value":{"text":"Temporal reasoning through automatic translation of tock-CSP into timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2154047$748E0AFC-2669-4DE1-A43B-8B533D347371","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"690c83c462720d26e58adcabec38c6d8c2aad838","datavalue":{"value":"1498.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154047$B4220F6A-9020-4221-81DB-56251267D53C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01f4186c17d1f2b886e3dbfc9a3069b8e8daa3c7","datavalue":{"value":"10.1007/978-3-030-92137-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154047$C937BEB2-1DAF-401A-8912-65D501AA54CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e79310dba717dc001c688e1a70689cc5cae0f53","datavalue":{"value":{"entity-type":"item","numeric-id":2154046,"id":"Q2154046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$B9E6818B-B1B9-462E-8A24-BEA7302F4CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$6A255791-A4B0-4B91-9AE5-EDF137236D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e55cfcbe772ee5b0da3a002d7758bdf0bb71174c","datavalue":{"value":{"entity-type":"item","numeric-id":736832,"id":"Q736832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$6CAB4819-0496-4DAC-9CA6-CCD6CA23C2D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a10feb846ab08eff879cd9ad8918c74f60818d7","datavalue":{"value":{"time":"+2022-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2154047$DFCA8594-3A4F-4A4A-8308-4D6EE7E0C61E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d138e798cfbe4a3fc918f7f67baf88f1e9b05199","datavalue":{"value":"https://arxiv.org/abs/2104.13434","type":"string"},"datatype":"url"},"type":"statement","id":"Q2154047$CB80BDBD-CDF0-4358-9549-90AEDBDBBB31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154047$A48A559D-87D6-4B05-A099-DE12CF45D1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154047$89A6B9DD-11D3-4C5F-9A9C-6007B5A2729C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154047$A2A5ACB0-0512-4EBD-B456-99B6D217EC5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4382b3f936a6e2589cf071e0c24744ffb849b63b","datavalue":{"value":"7556530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154047$A3DA8EC2-A85D-4362-A1A0-E4FD619DB228","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154047$43FA276F-AD77-42EA-9C8D-7E3D92C8B13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f97d1022fa6566c57e95339f987c32cbf7dc6d6","datavalue":{"value":"tock-CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154047$D0400725-CBAA-4042-8D7B-C21F02F8743C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2154047$88F631D9-ED41-4CC6-AB54-077355189AC2","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":"Q2154047$F3DF6068-AEA6-42E0-85BE-7639EF4E7907","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6f1401c56ebdf077cf856bae7e6fc04206b5641","datavalue":{"value":"W3215983834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2154047$AF144FF1-FE18-4356-ACB1-4EB3D5D69829","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$F7F4D7A8-0989-497E-B5C4-DEEF0E1591F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2976aa90eeca3f6092c5fdf4fa1ff69fee0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1157144,"id":"Q1157144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$8713482F-B23F-4EC9-A2FF-9762F9DB8BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff032a9d76426de9e43307362d62cd3ad90a111","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$36D0BB00-7D5B-4C63-AA7A-BD43EB18C4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$40FA271F-36B9-4188-9348-62A149235D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$1407FBFA-6209-4758-B16D-A3A543D62491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$A1C2CD1A-5C84-4174-B45C-B0579C24DF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb27d673e46ff1461e2e48d5900259b7df676c50","datavalue":{"value":{"entity-type":"item","numeric-id":5890833,"id":"Q5890833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$CF39CE7A-42F0-43F4-AEAF-621C5D6D78C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac401061be2855dd82e617ca880a8f1b7c9b280e","datavalue":{"value":{"entity-type":"item","numeric-id":931435,"id":"Q931435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$1C2AE7D6-6E0A-430D-BEDD-A624774559B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d4b3fa7e45928bcee6b16f759f549d80fde972","datavalue":{"value":{"entity-type":"item","numeric-id":884946,"id":"Q884946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$B7A3F8FC-0CB6-4C5A-9C47-64F8D31D37F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a4c84872e4e75bad42320920b7bb1025013f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5505607,"id":"Q5505607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$B15691ED-14D0-48DD-8391-0FFF34EC94C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5a7ca91a23a18e146ed9a3e8facc0282fbd469","datavalue":{"value":{"entity-type":"item","numeric-id":4457839,"id":"Q4457839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$EDB29D12-BF41-4CA6-BBFD-047951127814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2154047$074CE36F-3462-4B12-9C2C-0E6A11E35BE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f08be17ada265adccb8b39a7676373fdff8d9d7","datavalue":{"value":{"entity-type":"item","numeric-id":2120813,"id":"Q2120813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3531c02cec2c8d772b86e2d1ef1cc8896d473231","datavalue":{"value":{"amount":"+0.7842125296592712","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154047$6D708469-2BC2-4B16-B434-B37307FB195F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d78b589cdf6f467bee18962b7895d45cfc7eb8","datavalue":{"value":{"entity-type":"item","numeric-id":3648831,"id":"Q3648831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be146e61e404362c146e81c598a46b7fbe5a47e6","datavalue":{"value":{"amount":"+0.7608820199966431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154047$BA836E1E-7779-4612-867D-9E040079567A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bffa92a03d4b169ce6eebd87f95b9efa1ef873","datavalue":{"value":{"entity-type":"item","numeric-id":2848419,"id":"Q2848419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624b042e98d2afa857c02336f8067021b03477c4","datavalue":{"value":{"amount":"+0.7581624388694763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154047$837B3396-03D3-48E7-86A2-C08234977FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70300925deee11814ec9a0e319950712d8339922","datavalue":{"value":{"entity-type":"item","numeric-id":1941900,"id":"Q1941900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b1cb6ffbcc5bdf36b799ebb926b805b48bdc3a","datavalue":{"value":{"amount":"+0.7559627890586853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154047$61E3CD93-DDE1-4199-B582-2316829608F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e992dac1bec6dd389398e6ca7adbd355bd13c35","datavalue":{"value":{"entity-type":"item","numeric-id":5897951,"id":"Q5897951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712b5b201370e8a452a89e674bb4c625a98af3c7","datavalue":{"value":{"amount":"+0.7502126693725586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2154047$3080589C-182B-4EF7-BC9D-5122B0C9E9E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2154047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2154047"}}}}}