{"entities":{"Q5239221":{"pageid":7268789,"ns":120,"title":"Item:Q5239221","lastrevid":55373650,"modified":"2026-02-17T14:43:46Z","type":"item","id":"Q5239221","labels":{"en":{"language":"en","value":"Revisiting timed logics with automata modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120142"}},"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":"Q5239221$EA21A36D-F9E6-49B8-B1BB-857E1A40B20F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99741234a09a2361d8f751d8ea840129254cc8b6","datavalue":{"value":{"text":"Revisiting timed logics with automata modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239221$FC74AF5E-AB70-4E87-A0E9-8F7ACDA8B877","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6548645b6313a7b7649835b256ab870595edf2f6","datavalue":{"value":"10.1145/3302504.3311818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239221$0D1025DA-B868-40DB-B663-4A7C33664E89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd828aca0dabfd34704a2b11565d6ac5829b7271","datavalue":{"value":{"entity-type":"item","numeric-id":821557,"id":"Q821557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239221$F08C2C46-705C-4769-9494-ACF475E0F2AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239221$F9DCFD16-8240-4165-9F43-2FC4D4D5FA2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5239221$65239136-AA4B-4A8B-8D34-EADEEBBCE6C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"329ee5156fef3a0a7b47afb8cbcadc2c32670f53","datavalue":{"value":"https://arxiv.org/abs/1812.10146","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239221$06ECDD7A-0184-4FEF-911C-D48593FB9FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"94cfcf0509f3c30f0da0f0feb24291a53c6029eb","datavalue":{"value":"http://shura.shu.ac.uk/25238/1/Ho%20Revisiting%20Timed%20Logics%20with%20Automata%20Modalities.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239221$FDDA1D2E-DEFC-4BF8-9644-DD2557185E97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239221$F12C65D9-A1DA-40E5-83F8-9A65CE02F365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239221$73E33A6C-31A6-4C3F-8BEF-B912C86243D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239221$339A3970-2EC3-4712-B776-73E532C86C45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c64ef12da1a2258a73589cdb416e017985460fa","datavalue":{"value":"7120142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239221$AABB3BA3-BF24-4717-A9A1-9B69CD1E2A25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d809ff8d37cf1cbf1d0c8dff41fdbfc5089594d8","datavalue":{"value":"metric interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239221$90AFB994-9E0D-49F1-B686-51C856343D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239221$9B102493-C394-4958-A7A9-307A6A962800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239221$199FE230-2D0D-4550-9C0B-8D8E1881D708","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":"Q5239221$4F09CD7E-3CF8-4717-8A90-0B4CFBC21111","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92296cccbb31727f5fec8471fb62c0498968f9de","datavalue":{"value":"W2906142081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239221$F5D3A193-45D5-4269-A2E9-BAB5B0C953FE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"558a2d163d13d645f509ac908f947e6f49555e63","datavalue":{"value":"Q130869999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239221$B87E3267-8CF2-4648-8C11-7E0F8E3CD431","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8c2be7b6babaabf92253e818800461c4c266fb","datavalue":{"value":{"entity-type":"item","numeric-id":5897478,"id":"Q5897478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6b639385c4f5974cc8c442f0e3f88551719be4","datavalue":{"value":{"amount":"+0.7937638759613037","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":"Q5239221$57A986D8-E519-41B6-81C4-D7C6D46ADC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b06f0a5825ccf8d2bb609e990d4a2da1868e261","datavalue":{"value":{"entity-type":"item","numeric-id":2922004,"id":"Q2922004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd0f665df0926c0eefb28f92491f07a713da352e","datavalue":{"value":{"amount":"+0.7922230958938599","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":"Q5239221$C129AA8D-7556-4A1D-8152-9A86C6475C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff00db02fcd91b066a93fbd341e89f47da79997","datavalue":{"value":{"entity-type":"item","numeric-id":728264,"id":"Q728264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7005c0dbaa1248a4562c51b3682fb34fac5fa7d","datavalue":{"value":{"amount":"+0.792092502117157","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":"Q5239221$5685E03A-DC3C-4133-B2B8-49F33E27C3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5de592e6f455f32c2ae0957595a9c3e38aa524","datavalue":{"value":{"entity-type":"item","numeric-id":5111294,"id":"Q5111294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc559024b29e537864f6f67e25a2c9d945b1bec8","datavalue":{"value":{"amount":"+0.7894681692123413","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":"Q5239221$D6CE126A-E4C2-42D8-8F31-9C2EC5E26814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7ead5727c5fd6d7326da705083f0c9b5e83204","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9f1dc1e53ffbd0a5ef7849377795e93c6495e6","datavalue":{"value":{"amount":"+0.7832067012786865","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":"Q5239221$EF97EDDE-1631-4412-9504-57F237D2C0D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239221"}}}}}