{"entities":{"Q5875377":{"pageid":7904928,"ns":120,"title":"Item:Q5875377","lastrevid":55434607,"modified":"2026-02-17T16:19:07Z","type":"item","id":"Q5875377","labels":{"en":{"language":"en","value":"Revisiting local time semantics for networks of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649924"}},"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":"Q5875377$C5FD28BB-E4DD-41E4-AC15-A5A5FC1B68CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-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":"Q5875377$14F05DD5-0B35-475B-A77C-FEEBF0033B88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e18ac5a27cb13f893213e2837048b66f77a3d1b","datavalue":{"value":"https://arxiv.org/abs/1907.02296","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875377$E77B2050-81B8-4DEE-B514-132F38CB6215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875377$BC7009AF-6230-4406-8BC1-C7892AAC97B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b343d66f7bf2889c52aea6becf4295d67cd9ef1f","datavalue":{"value":"7649924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875377$C2D6B61F-94AA-4BD6-BDFC-F5ACABFF0D93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875377$EC23BAF5-060A-4941-9355-F2EEA4391BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875377$7F99CAC2-E63E-44FE-84A3-D65DEFFB63B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420c392d399b7c5997f5842763e0548d1b49dac2","datavalue":{"value":"local-time semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875377$54B83102-CD21-4079-9B81-F766933AB7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875377$D6B5C1FD-D471-40DA-986C-19EF089ECAB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$22F3186A-F9C1-4C99-9DE6-0C9B4C92FFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$E724BBB1-BA64-45A0-B2EF-0C5C01FB8BD6","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":"Q5875377$8F3D5A4A-00A9-4CAA-A1EE-93C41BD2DD44","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":"Q5875377$384B8D03-0524-4479-9704-F5C83AD064CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$F1763C03-834C-4821-8C28-BEE935CAE3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$70CB35CF-6DC3-4BBD-9B76-1EF0C9B2FD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87fc9a7df3280f3f9b0fea2a810058f4edbdaad","datavalue":{"value":{"entity-type":"item","numeric-id":6041133,"id":"Q6041133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$5972DF0B-DD94-44D4-9BEA-7C0DCCE4F7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598e5c45bd555eb3e64d7d6775d5a1517a017bd","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$5F9F8B00-0BBA-47C6-9959-E031F826446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$9279AD6C-E543-4076-9D47-92B0129398C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ddee778f5c2a434c651cc54036449dbe5a3a69","datavalue":{"value":{"entity-type":"item","numeric-id":2575733,"id":"Q2575733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$C456B7FB-66E4-4E26-BA2D-D35C08C18B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8106f36a563a9b5130f50bbc27e481115556adc6","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$98B3DD72-C367-42A7-B05B-7EAD656DA9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002a0253b4a56d46d40c70e8bdcbfad6b261846","datavalue":{"value":{"entity-type":"item","numeric-id":5756592,"id":"Q5756592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$DE2C9A86-A3AB-4AE3-BAF8-BEDAE865F20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e5e1b99e3dc0e6740279df3e2f5b610885e6d1","datavalue":{"value":{"entity-type":"item","numeric-id":2164221,"id":"Q2164221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875377$696AF2D9-B028-4E2F-81BC-E34E18BA09BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7c5f4e40e1a808bef62873fbcbbbec00e22f1a4","datavalue":{"value":"10.4230/LIPICS.CONCUR.2019.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875377$7C8E38D4-53B6-4D2A-B5D8-993002339B14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6990e44b7e41a09fe288adacfcca18c6c2f68f46","datavalue":{"value":{"entity-type":"item","numeric-id":5756592,"id":"Q5756592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6ee66679fd304ff4b3839086a8c644a8253ad3","datavalue":{"value":{"amount":"+0.7894077897071838","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":"Q5875377$B0EFDCF7-81D2-4BAA-8B54-67F6EAD2FFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6948e93f69b608be9b9b40188f27feba5198ca20","datavalue":{"value":{"entity-type":"item","numeric-id":2986813,"id":"Q2986813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c45c078be0db6e83171d02aef46275b8d1aa9f9","datavalue":{"value":{"amount":"+0.758251428604126","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":"Q5875377$4219C139-6CF7-400E-BF85-1F9F91B62359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274488422d1b7207ff867c50e2a000d964e41bfd","datavalue":{"value":{"entity-type":"item","numeric-id":342707,"id":"Q342707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8288be495113b0cd9dcb302b978681ad8edba53c","datavalue":{"value":{"amount":"+0.7580327391624451","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":"Q5875377$2091C286-B6BC-4180-BE1F-1A11A878602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a9cc0f5848b89315951cdd123636cb029aa286","datavalue":{"value":{"entity-type":"item","numeric-id":3511243,"id":"Q3511243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83de4f1fc9e0a10210d12892d116798e62ce1bd6","datavalue":{"value":{"amount":"+0.7566571235656738","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":"Q5875377$B506F60B-7CEE-4C8F-B8BA-6342BA9D0878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7229bff87447c2b4955dd697a0cd30b065d1b05f","datavalue":{"value":{"entity-type":"item","numeric-id":5496927,"id":"Q5496927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4e61a3c5e31f7283d347528e4f9a6366ca7079","datavalue":{"value":{"amount":"+0.7481881976127625","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":"Q5875377$1829031F-47C2-4587-9870-38C3A71CCCE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875377"}}}}}