{"entities":{"Q5458833":{"pageid":7488392,"ns":120,"title":"Item:Q5458833","lastrevid":50342582,"modified":"2026-01-13T20:52:02Z","type":"item","id":"Q5458833","labels":{"en":{"language":"en","value":"Probabilistic and Topological Semantics for Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267223"}},"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":"Q5458833$129BF427-0A95-4924-9F5A-3420A897781C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df1642cdb526e18f96003caf9552c5474bd4892d","datavalue":{"value":{"text":"Probabilistic and Topological Semantics for Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458833$F8816C74-C6EE-4CE8-B024-C9826F946D59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9601a688616f1a9b5a892cac1e175f8c8d4f350","datavalue":{"value":"1135.68464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458833$363A9C9B-2B6B-4FEE-934E-7C9590022FB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c68467c85171c0b1e9ee70a78b50a43884db69b","datavalue":{"value":"10.1007/978-3-540-77050-3_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458833$F741E5AF-DB41-4393-AA0E-E7C45A6104F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$5AB2E38C-5ED2-437B-9F62-B095C3694F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$27EF6F1F-175B-4932-AAE0-4F9123E9FD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$0D6E16CF-06D0-4EDD-940F-95FB26E8B5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0917ecc0ee421e6b16ad9bf93dfa95fb6019942","datavalue":{"value":{"entity-type":"item","numeric-id":715045,"id":"Q715045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$80B7C03E-F317-4026-ACEE-6BC588566763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$C7B09EDE-6EA8-4F0A-BEE8-22E9A3A06E5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$543994CE-627E-4904-9C43-0B54BAEA7CA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458833$677F1C8F-BD12-418E-9837-312CA429EC93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458833$321B07F0-BA6B-495C-8C3C-0E14661EE182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458833$C4FC77B4-54D2-4F3B-BEFD-17750C3DE9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458833$C2061232-82DA-4123-B93D-78A5A06CE142","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"492680aeefce766653e08b4a7d9f960f430cd2d4","datavalue":{"value":"5267223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458833$B5809AD7-964B-4006-B0A7-2A18F010F125","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":"Q5458833$C7D6ADA0-FAFB-4BDD-B0B6-B40CC0562C8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"488da3157e513e3b710fe674dc2c0fceb73a1255","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77050-3_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458833$4488F1BD-EB0B-4E9F-AE99-7C865282C5D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e06fb13d41a52ca0b64050fde0c9087e3ca317b","datavalue":{"value":"W1496392897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458833$F345815F-A886-4052-80D8-17DE0A4D840C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$4A1B154B-3C38-4273-B6E8-3C242EB613F3","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":"Q5458833$BAE0FCE7-D66A-4317-82DF-057E461837EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39262a0a04b7504b30d279eabeb2c8c5d8a139b2","datavalue":{"value":{"entity-type":"item","numeric-id":5703961,"id":"Q5703961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$1DF71568-5F9C-47C3-8E9C-85FAA707E813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d270039c25734bb5e63b269353caeaa3594399","datavalue":{"value":{"entity-type":"item","numeric-id":5458833,"id":"Q5458833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$829C3D96-10C0-4786-BCC9-89520220297D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e3145509425d2ebb1056e6c97df76c260a5631","datavalue":{"value":{"entity-type":"item","numeric-id":3525763,"id":"Q3525763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$6E85880A-F4BC-4799-98D2-285FF8A16A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82edb3171051bb39cf814fac27925fca707357d","datavalue":{"value":{"entity-type":"item","numeric-id":5464742,"id":"Q5464742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$BABC0357-5D63-408C-B19C-B6F69429DEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d89d9628506ca9086b69694060909cf9345022f","datavalue":{"value":{"entity-type":"item","numeric-id":5307930,"id":"Q5307930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$9814AE37-1DB2-412F-889D-0A0DB16016E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba42f9317a46939291644744f1171a9880a72213","datavalue":{"value":{"entity-type":"item","numeric-id":5277714,"id":"Q5277714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$357BACE6-B683-4C05-9225-5821424DF2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85065d4aec42fefe8de60c39fd7bfd79c413cf4d","datavalue":{"value":{"entity-type":"item","numeric-id":4953389,"id":"Q4953389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$3F755A2A-94C1-4918-8AB1-47E5945734CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a9d5d87ef023df4f1d55709b29268b24bc809a","datavalue":{"value":{"entity-type":"item","numeric-id":4485837,"id":"Q4485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$3CA4F4FD-CDED-41CB-BB9A-6E888B3A23F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e8c73f89a4ff2f7097eb1c4980584f2e045ac2a","datavalue":{"value":{"entity-type":"item","numeric-id":3245638,"id":"Q3245638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$F69799F3-E202-4453-8665-F51EA3324AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3d96243025d2e93c7d18b9f2c830aee47d6b45","datavalue":{"value":{"entity-type":"item","numeric-id":5325838,"id":"Q5325838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458833$22B3DC81-87FD-4AC0-B26A-EB47B2312B39","rank":"normal"}],"P1643":[{"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":"ea621b951a0cde0bec84902dfde06c98efae653b","datavalue":{"value":{"amount":"+0.8051132559776306","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":"Q5458833$233C355B-2C60-4B5C-BB8E-9990AF80429E","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":"ac0ccf0db2bde6855a8d561d0184353dcd2e5130","datavalue":{"value":{"amount":"+0.801811933517456","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":"Q5458833$412CC0E7-8ED7-48C0-B2E2-80D2708F7B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684ae8713c9dd9a87dfbc129bc87879be0efd8b6","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66fa725523ade831dd36788fdc3f5bd69910159e","datavalue":{"value":{"amount":"+0.7955747842788696","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":"Q5458833$99E6F1F9-79FF-4974-9998-DA9A602FE410","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":"4819cbd68baaf15f9bc61067eb7588edce691ffe","datavalue":{"value":{"amount":"+0.7953001856803894","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":"Q5458833$CC2577B9-03CE-479D-BCE6-9CEF478F3D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f93fca35aff7bd285b30f3bbca171f54402ecc5","datavalue":{"value":{"entity-type":"item","numeric-id":3535619,"id":"Q3535619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21b01fa282431f3f387d74b524c9eb6a988c469","datavalue":{"value":{"amount":"+0.7920543551445007","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":"Q5458833$CB608667-04DD-4E43-94F7-83FE686C8719","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458833"}}}}}