{"entities":{"Q5717493":{"pageid":7747047,"ns":120,"title":"Item:Q5717493","lastrevid":48625795,"modified":"2026-01-05T10:34:34Z","type":"item","id":"Q5717493","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244877"}},"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":"Q5717493$E86F1B19-BA51-4AF5-8D62-5EFD0DEEC8E9","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":"Q5717493$718350DC-6044-4644-AAFA-576587865346","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cb6dcaf33a14866d58c4d023db6c8b83a2f1695","datavalue":{"value":"1099.68648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717493$792B7F15-7885-464F-BDB3-AA48E795CD24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf4ee0b9bc858ae7a0b4fa5b4ccb84cb74f589d","datavalue":{"value":{"entity-type":"item","numeric-id":169910,"id":"Q169910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717493$D64A5540-4F5C-43A7-9B91-3C600DFDD465","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":"Q5717493$6550D273-EC71-4489-B738-3F2811E8FC6C","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":"Q5717493$AA9FF9AB-A10E-4303-8B12-CD377860E6D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717493$1ECCD027-6C1D-451C-AEE9-9509E4F02F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717493$7EC2073D-7DA2-4B50-95FF-78AEC032E8E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59362fbbc8eb7192d477dfcbcb663a129178bf8c","datavalue":{"value":"2244877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717493$654B230E-4B78-405E-828E-B21C0816D075","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":"Q5717493$F4D0217B-04CD-4595-9E7F-80240098AD15","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":"Q5717493$FC121FCA-8BFA-43AA-857E-CD82B58581B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5252ca7d83b67c06407c702ebad3350648603083","datavalue":{"value":"W2610516344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717493$5284FF58-11E2-4804-B6AD-F801439973ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b64cd13497cb390de59982d643a0f25dc3c7c3e","datavalue":{"value":"10.1007/B12025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717493$CAE17407-51BD-4465-B23F-2C83642AF4C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cea9c7d453a66bcf9d1b0f113f7393b25f5d3e4","datavalue":{"value":{"entity-type":"item","numeric-id":845728,"id":"Q845728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc98a543615f3433c80e7da2779cd5a4163cc0d","datavalue":{"value":{"amount":"+0.9888750910758972","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":"Q5717493$E2371A59-1C36-4E37-A177-A5DD494EEFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcaa2951bbed1ab2ff5f4c4fd406bdb663b8a25","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78644c6b55c73113e7fcc7420981de15eb194c04","datavalue":{"value":{"amount":"+0.8686941862106323","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":"Q5717493$636F8516-9ECF-4996-AC81-CDB0492E6E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fcc1e1c01f52a4968541b3c468b2c173f12958","datavalue":{"value":{"entity-type":"item","numeric-id":3635988,"id":"Q3635988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0216311635dccdc582a2f921c07273f26077602","datavalue":{"value":{"amount":"+0.8187564611434937","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":"Q5717493$819A7392-AE2E-4C7D-8EFF-E981AC180D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03379044b5eae50f2888ec692ad1236b3ad5d19","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1307c26aba1ac62acdd0603e6b921d09d4ea8c","datavalue":{"value":{"amount":"+0.8120813369750977","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":"Q5717493$748C8C6C-B299-4878-8CE3-2526383D7469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1395b95b89e73242afefcd1dc09c6087f98f1e08","datavalue":{"value":{"entity-type":"item","numeric-id":3510831,"id":"Q3510831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2dc2cc77a73732e786309c677581865ea3140b8","datavalue":{"value":{"amount":"+0.7957801222801208","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":"Q5717493$E417CC58-86A9-4D65-AE14-EAD26495D6F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717493","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717493"}}}}}