{"entities":{"Q5717501":{"pageid":7747055,"ns":120,"title":"Item:Q5717501","lastrevid":48625861,"modified":"2026-01-05T10:34:36Z","type":"item","id":"Q5717501","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244888"}},"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":"Q5717501$17730189-5B4D-465B-B825-6AC11EEBA538","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":"Q5717501$AF77F2E8-5EAC-46FC-9452-C767EAF5A61F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c34ff56fac0773b6d2aabeb9b6a0ca249aa22156","datavalue":{"value":"1099.68657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717501$4C0F8639-204A-40BF-A79A-D7ED05C4C251","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b3fc31f716f60f8c72a8a510999b6fc80bc19b7","datavalue":{"value":{"entity-type":"item","numeric-id":2842577,"id":"Q2842577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717501$36545490-18E8-4201-A795-9D6A6CF791BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88e5bc3b7d845235ddc147465f5a930a5a657b3c","datavalue":{"value":{"entity-type":"item","numeric-id":169905,"id":"Q169905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717501$BC1B687A-2428-49B8-B053-2C525BE87557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0049ff44b47a319fae6a88359fada1008a0d4e6e","datavalue":{"value":{"entity-type":"item","numeric-id":732004,"id":"Q732004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717501$990179BD-5A7C-4CA7-92DF-C47D6E28B853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717501$EE980C74-3B39-450E-B926-13DBAD711B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717501$319BCFE0-0D3F-4B2C-9D4C-8C27673D6777","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":"Q5717501$8D5BC905-49AC-471F-ACF0-41AC69699434","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":"Q5717501$1317A308-8BA7-443E-81D2-A1667B4E98B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717501$DFB54B24-F8AB-4825-AD1D-93404B8B4CEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1305dc32e60cd6eb825795a4a2f1665ae3a052df","datavalue":{"value":"2244888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717501$7732BD06-676F-46D8-A2EC-044A536BF04D","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":"Q5717501$6DD190E0-1055-41AB-97B2-D1F06EEB59A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717501$2B1711DE-400D-49F8-AB22-3E22C4975351","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":"Q5717501$D65FA555-F46B-4334-8304-77CEDC17CB97","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":"Q5717501$8EA2E703-A3CC-449C-B18A-F5FD8DCBE9E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5252ca7d83b67c06407c702ebad3350648603083","datavalue":{"value":"W2610516344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717501$0EAFEDB9-963E-477D-B0C7-02313BF9D12D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b64cd13497cb390de59982d643a0f25dc3c7c3e","datavalue":{"value":"10.1007/B12025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717501$F67221A5-B2CD-411B-8A70-23003BEEE615","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a309d0f4e867ead9bc2a1ab4474fe77e993b3198","datavalue":{"value":{"entity-type":"item","numeric-id":4551137,"id":"Q4551137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909f83257d91ebfb063d79281641ecbb2f233331","datavalue":{"value":{"amount":"+0.8098148703575134","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":"Q5717501$AEAC7013-B404-424F-B8FB-5AF2AD18E5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9da326237c00c5b582076865fd23ff70cccf3a1","datavalue":{"value":{"entity-type":"item","numeric-id":5178970,"id":"Q5178970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfbf13494d817e3a0d9450edd855f6cb57e324f","datavalue":{"value":{"amount":"+0.8027927875518799","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":"Q5717501$6C9478DB-DDB6-4C41-8B9E-6510D1AA2C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a780136676f2f4abac533f4c4d0397cc6ec411","datavalue":{"value":{"entity-type":"item","numeric-id":4738464,"id":"Q4738464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8bbfac78c761df83be2d35be97f132e823e3c8","datavalue":{"value":{"amount":"+0.7941385507583618","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":"Q5717501$3678BF85-9359-497E-9463-0F16A572CF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a156de26d8e8dc1dd4bd95719ab5e7bd665d02e2","datavalue":{"value":{"entity-type":"item","numeric-id":5178995,"id":"Q5178995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629089b3299d54c188fc9c04a6074922ca92b016","datavalue":{"value":{"amount":"+0.7903379797935486","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":"Q5717501$A8E7E5ED-C599-4A20-BA0A-0ABC683D7F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d363b663792e7f338fa28214e3a05cd3c77fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5703773,"id":"Q5703773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e983db92dfa34c0de4fb764c9b4bdc9a3fcfab40","datavalue":{"value":{"amount":"+0.7894407510757446","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":"Q5717501$FF235152-FF4A-4E79-AD84-7B209D3042A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717501"}}}}}