{"entities":{"Q6104804":{"pageid":13239111,"ns":120,"title":"Item:Q6104804","lastrevid":58684218,"modified":"2026-04-06T07:49:27Z","type":"item","id":"Q6104804","labels":{"en":{"language":"en","value":"Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703952"}},"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":"Q6104804$4EE4B98A-B646-4913-9302-9D6C36D01D32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52b341430df044f35a931f8c0b0d4e9ad7437797","datavalue":{"value":{"text":"Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6104804$F0CFD1AE-11C0-4943-8625-E051D563652F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"804b662a5d2e7c90de627147bfeb4d30943b30c4","datavalue":{"value":"1514.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104804$A186FC7B-CFD0-42B4-8BCF-344DF00B69F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f24b295dec5a5e80d39788cd142d01960666cb40","datavalue":{"value":"10.1007/978-3-319-99154-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104804$A5DADAC4-22FB-4F98-A468-5CAA9DBCB917","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14c790a373839096cbb828adccdd03da8785642b","datavalue":{"value":{"entity-type":"item","numeric-id":5194919,"id":"Q5194919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$3C1469BF-F57F-4C0D-9C4D-062D63AB027D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6104804$EF9A0396-59C0-498F-B8F4-E9990BF4AB9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a35905ce54e57b4acda7455a23bf023541ae0916","datavalue":{"value":"https://arxiv.org/abs/1712.00275","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104804$E77FADEC-F058-4D15-888C-1CBA57B59C88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104804$C131A5EC-C8B1-454C-AAD7-59290864D5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104804$2BE77F7D-898F-4B4D-B3E1-848CEECE5665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104804$170ED2FD-A75E-4E4A-88C7-B0C25D8AADF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40a55e0b12d10cee5fbcff1531d9e4f219189c8a","datavalue":{"value":"7703952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104804$B3046521-F033-4CEC-8308-025A8A7F77C4","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":"Q6104804$99249623-D6B6-4B1B-8503-E43C8558334B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71494506455a5aa28da6d3c8b164dab844a7862d","datavalue":{"value":"W2963868694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104804$93A6F026-3633-41BC-93C9-97DA4D9C1414","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$AE078782-DD52-439A-B250-031B9C1BE149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd52f10d81f6fb7a14375bf3fc493e0c93aea8aa","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$AE18CF4B-9344-4073-B3D2-652E0D611E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaf40d26eeea4001d6c19e8a18a0ab91157a30f","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$90FBF72C-8EE9-4C42-BDA9-A61B16ED04DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$E319C519-AAF9-4D54-8498-8EDBA341CE43","rank":"normal"},{"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":"Q6104804$3BD3D528-0908-4849-BCF0-2334DBECD1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$4B9DD7A5-0542-49B5-8631-51EE6F5D268B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0df6156cb24cdd1f06eef3803b53a38672dde6","datavalue":{"value":{"entity-type":"item","numeric-id":2248053,"id":"Q2248053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$ADA9C3A5-98C5-4E55-8DF5-71DA5B690EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc36368f80a66f5158db4d76bfa148823c47a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$041F582B-27AC-4426-AE4D-E343F900F839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797d73b7b00329be7f930f664b79de6020dcf02a","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$7E0CCE83-3447-4067-9182-2B2C2A867659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"536e24cadf82e8b044bc4edbb940c440644fa165","datavalue":{"value":{"entity-type":"item","numeric-id":2945592,"id":"Q2945592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$D5E022F2-1A11-4E38-A75C-B5A1AA5FE0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05eaffa8aa610a7ff4250e21b99f4b71047e6920","datavalue":{"value":{"entity-type":"item","numeric-id":3184689,"id":"Q3184689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$3212A38C-E5C2-43F2-AF88-5A943B3A079D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d13aebb6e6bc4202ac98997ac8072de74b833c8a","datavalue":{"value":{"entity-type":"item","numeric-id":853731,"id":"Q853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$6ADC33D7-DD5C-4C41-BC6C-6572DCBE73DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a31b57dbb02c7089ba2cc2b956c861b227b262","datavalue":{"value":{"entity-type":"item","numeric-id":3630197,"id":"Q3630197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$9EB9EDC3-89E6-4C76-AFCD-6C3326337598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9c61e40405df27744ce2b9d0fd7c410afbdc83","datavalue":{"value":{"entity-type":"item","numeric-id":846015,"id":"Q846015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$C4C247F4-281E-40E0-8D5E-2418AF6FBCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f214698707f91fa03a8bf11e01d65a42ff8e873","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$868CA4CD-8E3A-4B62-BA84-A1E6F2787CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$A0C83476-581A-479A-9D22-CFDBE8B02EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34e21332fcca10ed77e5ba35a0a29eeef9a6d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3003315,"id":"Q3003315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$B4B2DBD6-B515-4757-84CC-654BB02C499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4998f6c0f582c2c6ea6dbff108c87439760c2a89","datavalue":{"value":{"entity-type":"item","numeric-id":2986937,"id":"Q2986937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$63809199-179D-430D-ACE0-3DB226662318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad54ac8f1ba7e1a3cd14157bbd11d84e9f9f1fb4","datavalue":{"value":{"entity-type":"item","numeric-id":2986711,"id":"Q2986711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$EDCE141E-7305-4A02-95CE-617B2F25963A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e74fc4804afe39b5e6db51f2480d74ffd206e18","datavalue":{"value":{"entity-type":"item","numeric-id":3000642,"id":"Q3000642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$EB5F0817-7ACF-4C69-A3AF-95D543D73026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f5fd65876f186c813159a6a208242c89fbfb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2945594,"id":"Q2945594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104804$72F5AE18-55CC-4C9B-9C82-32A52C198BB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4944ce155b44ba868c8d12c45200ef23ac0da0f6","datavalue":{"value":{"entity-type":"item","numeric-id":4536598,"id":"Q4536598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3513689cb8c937745eb2f8e3c493de1a98f207","datavalue":{"value":{"amount":"+0.9353339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104804$028F9756-7A9F-4806-9AF5-9FCEFD6947EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b41724d0df619054c1dafa49299d6bc19af3eb7","datavalue":{"value":{"amount":"+0.9184583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104804$995F0FA9-A7EF-49D1-B796-8C83DC0A9B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9bbb36d4b120f137a0a4ed9d19f82b22b20394","datavalue":{"value":{"entity-type":"item","numeric-id":5458833,"id":"Q5458833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8447413c0dc296c3e16ee56638c71982f33bded7","datavalue":{"value":{"amount":"+0.90785927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104804$D040A370-66FA-4913-884F-9DAF762B993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b62ab73a8fab0ec39ce07d822fce907ab2648f4","datavalue":{"value":{"entity-type":"item","numeric-id":782571,"id":"Q782571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc71f7da9fbe8964872f748340d52b89cd7e4cb7","datavalue":{"value":{"amount":"+0.9023441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104804$EA159028-97C7-4A06-AC9C-0D66465C5B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c906b7f57285605d1dbd17201c1bb9f207027df8","datavalue":{"value":{"amount":"+0.9022695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104804$1345F6D9-41BA-4557-AC69-36F540F915FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e054767b216b1b268d6dd1d73c8b175da91c78ac","datavalue":{"value":{"entity-type":"item","numeric-id":5464754,"id":"Q5464754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c906b7f57285605d1dbd17201c1bb9f207027df8","datavalue":{"value":{"amount":"+0.9022695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104804$148516E1-1B24-4601-AAE5-4C10ED4DE9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a72c2d1fa96ee9c818ba827fbbc4fd8d2505ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1273079,"id":"Q1273079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0112d96068545c2000110f91fef4ceef088596","datavalue":{"value":{"amount":"+0.9018654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104804$A9C32B60-1A6D-4668-B7F8-912184054450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1729f1cedc372e06da9c34a1aeb54d2c68fe30cb","datavalue":{"value":{"entity-type":"item","numeric-id":3184704,"id":"Q3184704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd648fef2026284ac80cd4092d316bb868b1632","datavalue":{"value":{"amount":"+0.9016895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104804$63285748-4804-4467-9273-2B7B0C4255A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6260efb2dc681e18340dbaf161cd6b9d9c137c","datavalue":{"value":{"entity-type":"item","numeric-id":5325838,"id":"Q5325838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e6492c61092097ebc911b4998fb6bbd094afe9","datavalue":{"value":{"amount":"+0.90010405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6104804$CD09B261-CAC0-4554-AAD4-4AA809830D5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6104804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6104804"}}}}}