{"entities":{"Q507600":{"pageid":509367,"ns":120,"title":"Item:Q507600","lastrevid":62400030,"modified":"2026-04-11T05:49:34Z","type":"item","id":"Q507600","labels":{"en":{"language":"en","value":"Finding minimum and maximum termination time of timed automata models with cyclic behaviour"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680985"}},"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":"Q507600$D5DA3A13-1701-47F0-A44C-18EA0D086291","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdc6db184de38c99184ab0e4259dbbb231404a5c","datavalue":{"value":{"text":"Finding minimum and maximum termination time of timed automata models with cyclic behaviour","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507600$201C6575-2231-4E9E-A535-627307A39DAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b3a0d5ea1b5e762b499d729ebfd58dbe2bb3693","datavalue":{"value":"1357.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507600$3F24B088-97B0-4433-899B-E379D5D47868","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b3d70bb43c97fb81b975ac6ec81a6f21a097fb","datavalue":{"value":{"entity-type":"item","numeric-id":507599,"id":"Q507599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$E36EDE73-F5E6-4B09-883E-0D6C08643426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$F7815356-F057-41A7-A575-B418D3EFE7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$DF95954B-D96D-48BE-928B-AF2583C59420","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$327B8CB5-135F-4E54-8EBB-3C608DB1E3FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507600$1249587A-9770-49E9-8E90-F2735ACFBA00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a9a358ee819eb3139cebb72157ef48e3309219f","datavalue":{"value":"https://arxiv.org/abs/1610.09795","type":"string"},"datatype":"url"},"type":"statement","id":"Q507600$5B490950-187D-419B-9321-969E2F9113D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ee1b3e3ddc864f4dc2d2209f86d88690768ac1d","datavalue":{"value":"http://api.research-repository.uwa.edu.au/files/41024229/TCS.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q507600$9EF6F72B-4C1E-44A0-B855-90A08297886A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507600$98D9904C-F553-46FF-89A1-5D12A57CAB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507600$D5FBD5A5-D7AF-4D12-8B77-E51808748CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507600$B91F2B8A-27F0-4AD2-B9F0-72558FBE92EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebafd2412400c3878d3cfa1b017363385976d4a9","datavalue":{"value":"6680985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507600$EEAC9748-0A49-4FF8-B4D2-3559D9EE27F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf06c4cf5fa50baee49eb1ac77ea1b82a4829f9f","datavalue":{"value":"worst-case execution time","type":"string"},"datatype":"string"},"type":"statement","id":"Q507600$3D4B9FDC-8ABC-4829-8FBF-6D685E8971AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q507600$8F3E5BFB-773F-4660-B506-33E9C4FB39E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q507600$69EE4BE9-EBFC-4EAE-BA93-E99613AC6D88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1412ceb6c71a23f10e8f7e008bf034264afa1496","datavalue":{"value":{"entity-type":"item","numeric-id":41444,"id":"Q41444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$70DDF832-3045-4AF0-AE5F-3F7CD8F19A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6dadb9f43fba665d186ab2174581ddb0df27b90","datavalue":{"value":{"entity-type":"item","numeric-id":25247,"id":"Q25247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$29659359-8EFE-46E4-BB31-BA047679D0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$39DC1BC4-A869-4BCC-BBAC-A9DD2FC8D8E8","rank":"normal"},{"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":"Q507600$36BEE2E0-1105-48A5-85F5-557226F4B7C5","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":"Q507600$F7ED2425-1B7B-485B-9E10-46E281113775","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4be23efc66932993140107a8d539004b975d427a","datavalue":{"value":"W2548654831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507600$48413220-7C8B-4249-9CB9-8630663AADF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7907f4bb114f62239d83f0d6134317df12e6a49","datavalue":{"value":{"entity-type":"item","numeric-id":5500552,"id":"Q5500552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$177EEEFF-CC37-4C0F-B13B-07D6B28A5EBD","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":"Q507600$F5A97324-6687-4A6B-9564-3C859D0A7903","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":"Q507600$A9773D62-4DFB-4E47-9BEC-D09D01476AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a83cc9aaa4ed6efdda4673399118f84fcef2cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$A5B52680-7004-4E37-B2E1-96DCB68192A3","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":"Q507600$90B15434-E24C-4FD1-A7D6-B30B3A8CD947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f4ac8d00846a561da4f8b810b1d41d858e34a","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$DF8C7E8F-31FD-4769-A64C-CB5BC8B192E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b83ef6ef48951a2ffd166c2f336e62f16a62b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5897955,"id":"Q5897955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$CD303A33-D4D8-45E6-A9EC-38FB348195E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$C05DC131-6A67-4707-8F35-22B195B2EA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$4C0412DD-9164-4E8D-A03B-F875EF0CD5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$6C312A51-1920-453E-9411-0034E5E6EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$D231F21F-5C51-4AF4-A2BA-67A661246BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff295137b07adfff7025f8212d0a3f11a128cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3510844,"id":"Q3510844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$EBD39026-493B-4411-B4CE-D1DD0BC1A22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6748191974cc4152edacc2739f66c80348656bcc","datavalue":{"value":{"entity-type":"item","numeric-id":5312911,"id":"Q5312911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$6950C8F5-E1A8-46BD-A5FD-FC4C51BAFBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5b6176892c604d115f43cc93bff0c50dbe8305","datavalue":{"value":{"entity-type":"item","numeric-id":4649399,"id":"Q4649399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$AD0681D5-B0DE-4655-AD8C-4A0879E9E76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f725e79b52842467d6d333988262c529dff4e35","datavalue":{"value":{"entity-type":"item","numeric-id":816203,"id":"Q816203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$D5EA24C7-341F-426A-A0B0-74DADFABACC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19274c9c8fd29856d0baebec9035291e4b4c4769","datavalue":{"value":{"entity-type":"item","numeric-id":1044715,"id":"Q1044715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507600$10F8A41C-530C-4AB4-B18D-046EAE2F8A28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1668c8449ae7cdfbd50ce4e86bba4a03076957e","datavalue":{"value":"10.1016/J.TCS.2016.12.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507600$7741B529-8F48-4C94-99F6-A6BB92B3619D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b6f42e100369f338847986a1fc7510351aa7d03","datavalue":{"value":{"entity-type":"item","numeric-id":903501,"id":"Q903501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b04fd00326683e4202a52224f892ee47d587a0","datavalue":{"value":{"amount":"+0.855255663394928","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":"Q507600$4C55C1D7-EEE2-4E0B-B04E-370D264F0ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bf953bd1753cb3cd947ec5b49765aa61c22bee","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0394a80953d1a95f1124561896e409d2cc49e2d2","datavalue":{"value":{"amount":"+0.7133850455284119","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":"Q507600$A5E19EDD-1A59-4BCB-A116-E21E92524E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b053d5a93b6c29ff0434b99c778bd05361c093e4","datavalue":{"value":{"entity-type":"item","numeric-id":5500552,"id":"Q5500552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10059e5413b8b62a6dea1ca17604623d6fad5f5","datavalue":{"value":{"amount":"+0.7093878984451294","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":"Q507600$AFD305F8-094F-475B-9907-E8D8523879A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0cdc786630ff544ede06d41a2ef839c31a1045","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f199b18cd4a215b4a38c9bcfe8db040b23b39504","datavalue":{"value":{"amount":"+0.7052884697914124","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":"Q507600$5CE3C0AF-1E6E-4151-B141-E2D32D9E5D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605edb3620346ab47f8975cc251fa033a948d94f","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596ca007d3685c298e6ed17bf59a10a9b66eabcc","datavalue":{"value":{"amount":"+0.7004513144493103","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":"Q507600$BF13E84A-8CE0-4089-9526-3EE1174E05BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding minimum and maximum termination time of timed automata models with cyclic behaviour","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finding_minimum_and_maximum_termination_time_of_timed_automata_models_with_cyclic_behaviour"}}}}}