{"entities":{"Q5215449":{"pageid":7245019,"ns":120,"title":"Item:Q5215449","lastrevid":53661161,"modified":"2026-01-25T12:39:02Z","type":"item","id":"Q5215449","labels":{"en":{"language":"en","value":"From real-time logic to timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7165871"}},"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":"Q5215449$1435017E-CCB1-45FD-9599-B0A2A695181C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c67a11d997126ed71ce86927397736dfbd361e8","datavalue":{"value":{"text":"From Real-time Logic to Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5215449$98099E1E-F9E1-4EBF-B2C3-BE0F9F085FC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a58cdd5edfed0451a847a5877ecdbe24f72b95b5","datavalue":{"value":"1473.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215449$BAB17B91-CAEF-408D-83B2-C8FBC00AB585","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16d8d9b0373a179259917fc70653d64e6abc186f","datavalue":{"value":"10.1145/3286976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215449$E2C768DC-D31C-4F93-9E19-D5B77451D746","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"977e174cb8146ad76f44fc78b878c961ace863e8","datavalue":{"value":{"entity-type":"item","numeric-id":832023,"id":"Q832023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215449$80BC22A7-FD07-4BCE-BF8C-59978774CC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797dff732e38d176bf7500ab5c245082b935afd3","datavalue":{"value":{"entity-type":"item","numeric-id":533350,"id":"Q533350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215449$6B9C2E21-97B4-4299-A174-4DFEBE7B5BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be9bad6f26c208a2f156ea79bb5762b69ca2ba4","datavalue":{"value":{"entity-type":"item","numeric-id":243970,"id":"Q243970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215449$67E78F63-0997-429B-AE3A-4E24F4B7F4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0c6d02dc377823c31438ceb27ff334a6242ca05","datavalue":{"value":{"entity-type":"item","numeric-id":5215448,"id":"Q5215448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215449$C57CA42B-8895-439D-BB48-2DA9A455F110","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215449$2F766CC3-D328-4650-89A8-C02B168EFB87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b6e2eeedf8e55f06b00a7b5e5c6475d26222915","datavalue":{"value":{"time":"+2020-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5215449$CA0E7D37-402C-481B-9960-DB966C4C6E6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215449$5BFE3C7D-0CF1-429E-AD69-C762E779D939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215449$9D69508D-A0FD-4913-AB66-0AC48240B1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215449$BF359D6F-553A-4F9F-912A-A409B9F5371B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"059f71b325c03f8824fa0a00ab06693ed979383d","datavalue":{"value":"7165871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215449$0490E338-C790-4D84-A77E-1D058C6D4EBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215449$9DAC7FE6-AD6F-4726-9453-D5E0D5E036FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215449$38F031FF-64D2-4E1A-99E5-4A540038325D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215449$7B04B7CB-874C-4CD6-821D-6675EE5FA684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215449$7184E36E-A7CC-4737-9381-46989D5CEB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215449$41447AF2-4495-4404-A836-81D99A17D27C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f768667d2e2db9fe8b1e8efa6315f606648e843c","datavalue":{"value":"Q124213272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215449$AD09A50F-DF98-45F1-BD48-804378D4E21E","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":"Q5215449$748460BC-E265-491F-AD41-A6385EFEBF04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02f4aa26bbfff82f4dd0476ce452888c3f6a2f46","datavalue":{"value":"https://doi.org/10.1145/3286976","type":"string"},"datatype":"url"},"type":"statement","id":"Q5215449$404C540F-ABA8-4AEF-A3BF-E5C84704FFC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73a57143a4ed756c5288ab731ad0714adc20575f","datavalue":{"value":"W2945959809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215449$0757DFD1-95B4-4BFC-AA7F-0E913A851C55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5351f76613009586d8c261899586b94ca721cf9d","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfbf164ef0219c7c0c738634f717ab0b6afecf1","datavalue":{"value":{"amount":"+0.8830867409706116","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":"Q5215449$2F20A0C2-30D5-4869-9773-F4D039D56A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3856074a9bd496b22da1758dfb57dc9edae9ed","datavalue":{"value":{"entity-type":"item","numeric-id":2151264,"id":"Q2151264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0942fe19ec890a311a34d256f6f2b5381503f46b","datavalue":{"value":{"amount":"+0.8435683846473694","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":"Q5215449$CDBB5D80-1233-46EA-8138-619A0428ABA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508294dca7614f1b0d8d321056f1846834406cc0","datavalue":{"value":{"entity-type":"item","numeric-id":6486425,"id":"Q6486425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe722291818dbf3963582d282114ce9c403803a","datavalue":{"value":{"amount":"+0.8159420490264893","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":"Q5215449$EE3D325D-1B09-446F-8C1E-95BC7FE0D778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602c98fdc392c792df6e998c39650c14c862bba1","datavalue":{"value":{"entity-type":"item","numeric-id":5902367,"id":"Q5902367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619d5e5ff6b182bda0881a55b3ccfbf7aa7af6ab","datavalue":{"value":{"amount":"+0.8056290149688721","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":"Q5215449$92E544ED-878A-4CF9-ADF0-E3B21462E837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525f0d2b3db5740300fc7980fc8138c857d2365b","datavalue":{"value":{"entity-type":"item","numeric-id":3588091,"id":"Q3588091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db99ecdab6683b7036881aaa22edd40f71ce32e","datavalue":{"value":{"amount":"+0.8028125166893005","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":"Q5215449$6600AC51-0ED3-477A-952B-C7DECF6CD9B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5215449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5215449"}}}}}