{"entities":{"Q832203":{"pageid":834051,"ns":120,"title":"Item:Q832203","lastrevid":57687024,"modified":"2026-03-31T22:10:21Z","type":"item","id":"Q832203","labels":{"en":{"language":"en","value":"\\textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498155"}},"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":"Q832203$587BCA6F-DE66-48B7-97C9-C585618586C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dddd2fbc3a4681316952de4ec7204acd14e595c","datavalue":{"value":{"text":"\\textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832203$392C53D8-771F-4607-A704-8B55AEC37329","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6518169235ba0001271fd5e633dbcd648c050364","datavalue":{"value":"1493.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832203$97E268AE-0F49-4D2A-A7BA-FBF7FAE8088A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40bb5258e1d2606661207c75fa4acb8b60a41288","datavalue":{"value":"10.1007/978-3-030-81685-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832203$3BBCA779-5F48-4267-A1B3-CED0D8F7217D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$D20600F7-311E-4324-AE3A-A96048CD23E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832203$2DB05241-C891-4464-8423-C2F07095DA06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832203$847157BF-FEED-4B94-9C4F-5DA1A5D2FCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832203$CD69AC77-2521-4A65-A522-BDA6DB866135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832203$0D2B38A7-85F1-4D46-8B75-624801B6B600","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5329fdac5f7d81990b208d6c125735fa3c2c27a6","datavalue":{"value":"7498155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832203$2F3E6E02-B7DF-4254-81E0-ECF8A6E8B11E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q832203$E392B6D5-46DE-4416-B8B4-511A340A8B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q832203$130CE895-DD53-440B-ACF7-4B63255C5E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q832203$B185B8FA-00CB-4200-B615-937873F1E98E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$6511473E-6AAF-4D16-95CA-9D713E153377","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":"Q832203$E57EBA2D-DFB7-4846-8EA0-F7DF3AD23DFF","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":"Q832203$4057FD4E-ABB6-4E2C-BD5A-42C0BB1480C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$501AE832-6B1B-4A3A-BAF0-ADE499EC72C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$912348F7-82EF-40B2-851B-2388DE2D01F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$D2EF0796-AD15-4359-AFD7-C1CC24382775","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":"Q832203$4FF0BFAF-EE3B-4C3A-B738-66F9D537DFBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ab55271144a15b51b27bb401450e12f70963004","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81685-8_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q832203$C4183E16-A1C7-4A4E-A803-DB68ABFE9AF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56b417e1e8cd31a90a96905962110edc8f73f77d","datavalue":{"value":"W3183267604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832203$D438DA06-5945-42FB-A11F-F8CA72FD2832","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b470165b882e9f40d331f35f6193295ed50bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$17FCDDCF-685A-4313-844D-AC3A9802355E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$244406F7-2523-4581-A0BA-4103D0D96580","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":"Q832203$0C559031-30C5-47EF-8B96-2F20B0F0175E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$E707F9F2-8152-4B17-8E5D-33E1E56C0007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$4F583733-635F-4F9A-90A9-6F364045BADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2355330b719b3dc83adb285b6574d6d18a75db8","datavalue":{"value":{"entity-type":"item","numeric-id":3179417,"id":"Q3179417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$EDDA5927-331D-44E8-86D1-D161C8AF9718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2520dd9bb033fee1c14ef0c511584e299bd8a05","datavalue":{"value":{"entity-type":"item","numeric-id":2044207,"id":"Q2044207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$985A777E-DE93-48FC-BE35-1E7EA4A53E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0091c774a542c836717c7356397901502a7fd2da","datavalue":{"value":{"entity-type":"item","numeric-id":5025034,"id":"Q5025034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$039F112D-B94B-4301-B6C3-486545FE79BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d05f20a63588f003fd4b0ef100302836a6a1df","datavalue":{"value":{"entity-type":"item","numeric-id":3584962,"id":"Q3584962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$2F8827B6-CB22-4CE2-9746-6F205A8720D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34de22b1b32bbb07d7895315a4fb83066cfdca6f","datavalue":{"value":{"entity-type":"item","numeric-id":2287101,"id":"Q2287101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$7D4480A0-F07D-4E3E-B6F3-0180966D7E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e3912a75fe3a37785e554d6288693c6806ac62","datavalue":{"value":{"entity-type":"item","numeric-id":5166701,"id":"Q5166701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$B28E73D3-44D8-4FF8-B31F-F729F6F9F540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d0a7287171571baf18f73474b0ba23bf95666b","datavalue":{"value":{"entity-type":"item","numeric-id":5208876,"id":"Q5208876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$4D411944-5654-441A-B5C4-DFCB6EFAE7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6179dd608cb8668c49c9d866509ab94a930f905","datavalue":{"value":{"entity-type":"item","numeric-id":6149675,"id":"Q6149675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$87257A21-3942-4A4B-9285-F29D04FC0C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eb3860fc96422b0aee191fa989fba445b5283b","datavalue":{"value":{"entity-type":"item","numeric-id":5025035,"id":"Q5025035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$D284E60F-D1B2-4C23-9D47-CD8C2502AFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2020a9ce51c93f5152b1a41de40d8b45f22ff72","datavalue":{"value":{"entity-type":"item","numeric-id":5082188,"id":"Q5082188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$77D6A9F5-0297-4501-91F4-63C2E020C2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf401994ae29fc31b6d4346903027e41352171b","datavalue":{"value":{"entity-type":"item","numeric-id":3297588,"id":"Q3297588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$62A5B759-8AD0-4445-973B-F5B3095F0973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45bda76ea05ef6ca1ac25b4ac24d9a34eda2b59a","datavalue":{"value":{"entity-type":"item","numeric-id":2216124,"id":"Q2216124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$521F9FCF-7190-49E1-A4C8-63B9F7D5D3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d475563753b2def66f50645b71310fdb957e1ca","datavalue":{"value":{"entity-type":"item","numeric-id":3449466,"id":"Q3449466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$D7014B27-648D-49C9-82D4-31960419FDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$0F241E27-B6D4-4DF0-A3C9-52A885BBDF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d814eb51c145cd1775fd8beceba2511519ed4","datavalue":{"value":{"entity-type":"item","numeric-id":1028737,"id":"Q1028737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$309FC4B3-EC08-49A0-B93C-1366CA6474E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$1DB987A7-C9A8-460F-88B1-CF9405AF9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$5980E466-AD39-41E6-AD87-CC730BF2AC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2eca8222b6ee4cf2f834e22b9f57835fb1bb56","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832203$DAEC6E18-9317-44F1-A95C-7156FA33C3FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28aeb70fe9076304df4ac04cdb7612c284156b58","datavalue":{"value":{"entity-type":"item","numeric-id":3172862,"id":"Q3172862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d9bb971eea50f67392c9639914b6dad0046bc0","datavalue":{"value":{"amount":"+0.7929486632347107","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":"Q832203$0675EF69-F3E9-4778-AC5B-29D8896926A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53af428ba3bd405091df7e80ba5f36dfbc289298","datavalue":{"value":{"entity-type":"item","numeric-id":5310683,"id":"Q5310683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b750865f6bed65a12932b677cad0862d9cbd877","datavalue":{"value":{"amount":"+0.7891163229942322","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":"Q832203$73351D64-75D2-4152-B033-5891482F87B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1870cbd709b027ebcc12a44563b943a1a2e59ab7","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00148c1d04b1cd791f90a977fed5a8a8fc6c082","datavalue":{"value":{"amount":"+0.7837397456169128","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":"Q832203$E4FD9B13-C812-4E6C-B807-B0B444D1DC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777b659034765ba97ec7584f13d2d6fd89b23b91","datavalue":{"value":{"entity-type":"item","numeric-id":5191509,"id":"Q5191509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cab7df3e06635ad6f866faafbfa4c9c2df11244","datavalue":{"value":{"amount":"+0.782084047794342","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":"Q832203$50E0051D-1818-4E97-A173-B097A2CE1E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10207ce20a05ea73d472eac1ffa83e7e89ff1e9e","datavalue":{"value":{"amount":"+0.779563844203949","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":"Q832203$F880F520-D05B-417C-AC6A-595EB23D919C","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":"Q832203$E8A5164B-65D2-445E-8386-6E60D23A9FE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:832203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:832203"}}}}}