{"entities":{"Q5717490":{"pageid":7747044,"ns":120,"title":"Item:Q5717490","lastrevid":101626925,"modified":"2026-06-06T01:51:53Z","type":"item","id":"Q5717490","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244873"}},"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":"Q5717490$E3777E29-AE7C-4231-A520-8978A8A382B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08b2c85b6980737cd12066f706077286f4fb04bd","datavalue":{"value":{"text":"Formal Modeling and Analysis of Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5717490$551B2BB9-EEF2-49CB-BC56-1DD4169AAB5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"549da6e2aa8693d4aedc2c1bbf3b661f2c5b62bb","datavalue":{"value":"1099.68673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717490$DC3DDFCA-B3F0-4043-AFD5-21E0BD1184C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717490$80C7CF15-FBFD-43E0-9186-4BFA69641124","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5717490$A2645B83-A0EA-42AC-8771-84502237A04F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717490$208AEE2C-FCE5-433B-9BE1-19B3FF1BC7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717490$60693C6F-C26C-4B96-AE72-2479D4AB14F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717490$B93B53A2-D167-446E-B415-00C1F641558B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93785ed29b8bda599562d0e746de58554256c1c8","datavalue":{"value":"2244873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717490$007E112A-D7F5-4918-8DCE-8C76ECDDCF13","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":"Q5717490$A72BBDD9-B6EB-4582-9C32-B44D87578100","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"327ca0400acd898ed9d3e6a95586ac327cb085fd","datavalue":{"value":"https://doi.org/10.1007/b12025","type":"string"},"datatype":"url"},"type":"statement","id":"Q5717490$D6346CE0-11EA-4D42-9633-DBA9BAD3E106","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5252ca7d83b67c06407c702ebad3350648603083","datavalue":{"value":"W2610516344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717490$DC4C0567-F750-48CE-A576-42E913E700CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b64cd13497cb390de59982d643a0f25dc3c7c3e","datavalue":{"value":"10.1007/B12025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717490$229E2B00-C4DF-420A-B76A-6D793EFC2AD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1723fbf4a7ddc3d7a49e9596e13e2e0658fa2139","datavalue":{"value":{"entity-type":"item","numeric-id":3614672,"id":"Q3614672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e674e1d1327b6339fc7b9b018bfbf665c589a86","datavalue":{"value":{"amount":"+0.91200989484787","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":"Q5717490$E9FF731C-7774-4099-B632-BA1E0128AF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f00cab95989b6c94b17836321a6de3079194b6","datavalue":{"value":{"entity-type":"item","numeric-id":1389685,"id":"Q1389685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add83687fade09674db21cf42d19b34ab55f8670","datavalue":{"value":{"amount":"+0.8114132881164551","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":"Q5717490$FF8843E2-C39E-4A68-8A3C-AC3EBB9491A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20f144c586f4c4a78ecfa9cb7a954c0479b69cf","datavalue":{"value":{"entity-type":"item","numeric-id":5262969,"id":"Q5262969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d999711303dfcba41c78e8530dd2db42e94742f8","datavalue":{"value":{"amount":"+0.8108895421028137","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":"Q5717490$8F895937-B531-4A45-B16D-3DFE82D59184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2da942ff89515ef6dd95da10841177e8c59918a","datavalue":{"value":{"entity-type":"item","numeric-id":2373652,"id":"Q2373652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0c2210b30958dad6b59941a7121922fc8ae38b","datavalue":{"value":{"amount":"+0.8075392842292786","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":"Q5717490$A7D98AD7-B28A-4DB9-9CB5-F274A5AEAF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f20942eedfe78b4992333a175b6ee458636832f9","datavalue":{"value":{"entity-type":"item","numeric-id":2842574,"id":"Q2842574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed1acc7e99831240ebba50dede4cad4089dc09d","datavalue":{"value":{"amount":"+0.7728433012962341","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":"Q5717490$5E2AE3AF-AB17-40E3-88A3-3947AD445D45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Modeling and Analysis of Timed Systems (scientific article; zbMATH DE number 2244873)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Modeling_and_Analysis_of_Timed_Systems_(scientific_article;_zbMATH_DE_number_2244873)"}}}}}