{"entities":{"Q294873":{"pageid":296640,"ns":120,"title":"Item:Q294873","lastrevid":60717243,"modified":"2026-04-10T18:42:04Z","type":"item","id":"Q294873","labels":{"en":{"language":"en","value":"A note on the verification of automata specifications of probabilistic real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594154"}},"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":"Q294873$45441B1F-0FAA-41E3-8D47-AC6D72062AD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"773619ec105320d86c3401cdd96e233074140fe0","datavalue":{"value":{"text":"A note on the verification of automata specifications of probabilistic real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294873$6A7F5AC6-33A6-4652-B715-49F8B65A894C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48c4b7cc7a449db3c413cef5361b7ea69a196e38","datavalue":{"value":"1338.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294873$F50F9AB9-91E5-420F-8639-29F052E1E97F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6486bccc484da8d148d71e98f923eceb86171fef","datavalue":{"value":"10.1016/S0020-0190(01)00288-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294873$F49DDB18-F3AB-429A-979E-AC80086CA4EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b68a5e136f5db7a04a31010d40933c246905902","datavalue":{"value":{"entity-type":"item","numeric-id":294872,"id":"Q294872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294873$4FC8B4BB-D9BC-4F17-AE72-2D6F5E5EC756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3e5814b970b5f0fb67456a9171b66036917a49b","datavalue":{"value":{"entity-type":"item","numeric-id":891045,"id":"Q891045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294873$54CBE2D2-686A-40E7-BD14-617116EA05BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294873$1647AF34-9810-47D4-962B-6B10F87FDE31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32ada740abbb03089ab30647d244c2741fb6e33","datavalue":{"value":{"time":"+2016-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294873$46F26001-27CD-470A-A6C0-EBEE0BF49F7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99be3aed28b86ae498d2f20a6744dc7dc80c5aa6","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019001002885?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q294873$3073B058-3E8E-4CFA-BA0E-6A24BAD8E6C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294873$6788820F-4057-4349-9BCD-27067E40AFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294873$59496175-C5B9-4020-B0B9-0DFD8575740B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f967f5f25146267e36e22a80ff4636481137584","datavalue":{"value":"6594154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294873$0D694D65-0CBB-4BC0-B10A-1BFF5C6D0F4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q294873$295AB0AC-D222-42F9-9D87-AC9F48E13B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6f7b890de0bb5e9d45d15d280bf18eeaefac20c","datavalue":{"value":"probabilistic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q294873$30F53E96-3A5C-4B09-8532-125B2BBB8576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q294873$689E0604-9A5C-4B7B-A529-722EE7E097D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q294873$9E5BE980-FBDE-4716-94F4-E6137E7AAB97","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":"Q294873$BF132BEC-680E-45CB-A096-708205B93AE4","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":"Q294873$E2E8DD80-CE45-406C-97A8-782A058D629F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf8d5093ff3193c51df2ae941855feb62d3e7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4251920,"id":"Q4251920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294873$7E0D09D3-3D43-48F5-BC2F-715F94BC1490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294873$8F194DF1-35AA-474F-975C-EE3C1BDA7F36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the verification of automata specifications of probabilistic real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_verification_of_automata_specifications_of_probabilistic_real-time_systems"}}}}}