{"entities":{"Q5060075":{"pageid":7089651,"ns":120,"title":"Item:Q5060075","lastrevid":100281215,"modified":"2026-06-05T21:45:43Z","type":"item","id":"Q5060075","labels":{"en":{"language":"en","value":"On the Modeling of Sequential Reactive Systems by Means of Real Time Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7643310"}},"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":"Q5060075$EEA230B6-C88A-4959-8BA8-CE1F6377CC00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94ff0e4ca5565fbcaeabfa9f6bd962eb13eeed80","datavalue":{"value":{"text":"On the Modeling of Sequential Reactive Systems by Means of Real Time Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5060075$8D010585-5F78-42AB-82F0-DF982B97C3D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d2e4178ab95ac6207d24ed8325578133a64976a","datavalue":{"value":"10.18255/1818-1015-2020-4-396-411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060075$7E11F52F-B479-4C6B-A5D8-DC1895FD9576","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc41aa11f6b8779be277007b584ade22c4e19343","datavalue":{"value":{"entity-type":"item","numeric-id":2064401,"id":"Q2064401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$D67F300E-F250-4161-8EB6-4A1C8C3A7521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$E6A322FE-616D-4EB5-8E4D-C9FB110D3853","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e4ff69d98581f0e60171b74a0d3744b7741d0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5060051,"id":"Q5060051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$69D9BD36-E9A4-4FF2-8048-919B7F89DAA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"957af406b21c0dd147c281b56551aa32e3ad16a3","datavalue":{"value":{"time":"+2023-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5060075$A56528DF-0EF5-4B3A-83BD-F2BC6428AAB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01e9034250af4e44cacaed6c3b3ef57c8d64c09f","datavalue":{"value":"http://mathnet.ru/eng/mais724","type":"string"},"datatype":"url"},"type":"statement","id":"Q5060075$05696455-2F07-4455-9FE2-D4495CF77105","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060075$471ED5D8-C1D7-4ACE-86BD-412CCB67C0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060075$E0E0C47F-5E31-4569-9D8F-5EA68E9632CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060075$CEB9CF20-CAE0-4D58-B32C-F26A96CD7DD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"413688a7805eefae2d3c20da8d87107173df56d9","datavalue":{"value":"7643310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060075$4991F253-5477-48F1-BE19-13591A670DED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed758d98b3e9847079dbc303878ea040a0bd64b4","datavalue":{"value":"reactive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060075$B2D7884E-6AF1-477C-A668-269E42EE2AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d0eb7b2352b0bb1ae5c8c5ed76f5187d80ef8b","datavalue":{"value":"finite-state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060075$372D9554-4B0F-4ADB-93EA-3DF01DBF2461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060075$A4BBB18E-DEBE-410B-992B-B28FE1B5C1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efaa51a404f3ff2cb4e115dfb50a21ae68dc6ddf","datavalue":{"value":"security property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060075$636E0111-84F5-44C0-A9FC-B9F461317B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060075$9D5AACE5-E08D-425F-9637-BB6D0DAA4F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060075$FBE3B1DD-39E3-45CA-8817-149BCE09DA0B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$F3A80825-5B1D-4101-920B-D3412983AC0B","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":"Q5060075$A88407FA-A539-4EA8-9959-B6A5CE9672B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef02e4e13dcef0fc4a65ff8179b68f76ee03bdde","datavalue":{"value":"W3117836131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060075$8649401C-F2D0-414A-A91E-B524740C5FCE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3c4371d3227c7c5251d2c7dac9cc00b0d0f19d","datavalue":{"value":{"entity-type":"item","numeric-id":5541342,"id":"Q5541342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$33A80CEB-97CD-4BA3-BF04-72647F445BA4","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":"Q5060075$87B33293-F5AC-414B-B3E9-B0067999548F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72c197e3f29ab967906174be198c67b7201d31a","datavalue":{"value":{"entity-type":"item","numeric-id":3196640,"id":"Q3196640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$F7DC4562-FFEF-44A4-B28D-0ABC32443DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$962633DB-CB3B-4B8D-9579-BC9ADA83D921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b15cb6ee5100537ac204806dc2e8a0652d4f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5277799,"id":"Q5277799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$8F92BFEE-BC94-41A9-83DB-8AC154CA3F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41137b9a3110c87e311e4f5973a89b83d5a25026","datavalue":{"value":{"entity-type":"item","numeric-id":2469174,"id":"Q2469174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$ABA7B7C9-5ACC-4322-A74B-31E15A618891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88f88b89766df3175766712490aa011f3e820e5","datavalue":{"value":{"entity-type":"item","numeric-id":4995370,"id":"Q4995370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$E34CD8EF-A648-4509-9729-4773D767FFD8","rank":"normal"},{"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":"Q5060075$E3C0A583-ADE8-4C19-849C-AEA0217DB8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$44981323-8E96-4E22-BEF0-48909A5A055F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970f9c466a6a0712a609287f1ca1933c222fbddc","datavalue":{"value":{"amount":"+0.7445203065872192","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":"Q5060075$4033F698-207A-4069-AA7E-FCA48E70349C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8bacc09002edac0affd452a59ca4ea46b4ea55","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98089b74cd7b3b0193aaa78680063da2623b493f","datavalue":{"value":{"amount":"+0.7435483336448669","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":"Q5060075$210370C2-F12B-4CDD-801E-6DAE845BEA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267fdcd7ee4adf6cb31cbe842bda154466f50c19","datavalue":{"value":{"amount":"+0.7425255179405212","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":"Q5060075$84811797-C2A6-4046-932A-7284E39AAD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd8bafca29a6f81a4114c5098ecede8d0a5c9bd","datavalue":{"value":{"amount":"+0.7410057783126831","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":"Q5060075$6974B88A-950A-41E5-8C1F-2156EC9031E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcbb2ce5ca4dd931d436aed1c3532ea25a991c3","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63d1a83856178d15cc952c699e0c7fd357568fb","datavalue":{"value":{"amount":"+0.7404235005378723","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":"Q5060075$FCF9A177-CDA8-429A-9B26-25AAA5485D99","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060075$B98703B2-B291-4661-A808-FE3A4E2FC874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Modeling of Sequential Reactive Systems by Means of Real Time Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Modeling_of_Sequential_Reactive_Systems_by_Means_of_Real_Time_Automata"}}}}}