{"entities":{"Q4989408":{"pageid":7018985,"ns":120,"title":"Item:Q4989408","lastrevid":55385689,"modified":"2026-02-17T15:15:57Z","type":"item","id":"Q4989408","labels":{"en":{"language":"en","value":"Parametric updates in parametric timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350779"}},"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":"Q4989408$B31A4F6E-1D66-4AA8-BE70-861D99E3543F","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":"Q4989408$73769DE9-CA8A-4F29-AC89-FA6661532EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$E7710AB5-4625-44FD-ABC4-D94E3A47E9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e4690b01e3bc6fa4df6b40232e792f5b10073b2","datavalue":{"value":{"entity-type":"item","numeric-id":1631214,"id":"Q1631214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$D58E35F5-A211-4B4F-8D31-5A48787B1F29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ffa60ea309af725dad80fc9f6348e56a9ea74b","datavalue":{"value":{"time":"+2021-05-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":"Q4989408$C9256BED-D4E7-445F-B6A5-5145CE6F6ACB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d87afdfd88cd838f68aabab2280e41398c03b0b0","datavalue":{"value":"https://arxiv.org/abs/1904.08824","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989408$2E7F53C5-3E4F-43C2-BEC3-D311C4D6D0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"bba1fefe8fa8e19bf972bdbd24ca6abc5889cc72","datavalue":{"value":"https://lmcs.episciences.org/7470","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989408$04993F52-EDF1-4E6C-9915-9030BC31FD9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989408$4C75ED61-5FCA-412B-A877-4BE008335143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989408$55064915-9AA7-48B3-B9A9-5C6A264818AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ef43b189e5ccd39f5f9171df3ba4d9839fc4849","datavalue":{"value":"7350779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989408$CAB2A914-F2E4-4CDB-986C-92AB7945904A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989408$492FAB86-0DCE-4E87-A2DA-63525C098F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea46623d0b0915ffb18a2ee326e7f482fa3dc99","datavalue":{"value":"parametric updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989408$2C570720-951B-4820-A3FD-491EF7FFF631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989408$6D2CA5EF-D2B5-4A4E-8122-842568D2E8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989408$9F41CE0A-242B-484A-AF09-EFBD64349C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a25ffdd237ebe346213a2ff08aedd81b56e03bd","datavalue":{"value":"clock regions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989408$54B86D80-81F2-4C55-BCD4-27FBCA7632EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"843cde33c49c581abf4421c868825f6db37ae0b2","datavalue":{"value":"parametric difference bound matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989408$A231F3A6-79F0-4F3F-AF6F-FD8D5F9C58C0","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":"Q4989408$416CBEC9-9E28-4C2F-8F4C-8847C8B31721","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":"Q4989408$84FBDDFF-BE6F-408A-8006-CA89D0A1116C","rank":"normal"}],"P223":[{"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":"Q4989408$0982B9DA-E754-42DD-AF05-3DE4CFF2C506","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":"Q4989408$849A853F-6D0F-4BAB-A06D-254B0879F37D","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":"Q4989408$8B62FA6F-6A35-45EE-9DC5-EB0063080F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81aeaea6545bf843808c5f621be5f3dd69fdbed5","datavalue":{"value":{"entity-type":"item","numeric-id":1631215,"id":"Q1631215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$3FE0A75E-6D08-4CB5-8E8C-5A27F9AEADE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7086d42a3026d8c0b740b2a1629e424efd42f0","datavalue":{"value":{"entity-type":"item","numeric-id":2492187,"id":"Q2492187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$49429BFA-7588-4281-86E6-8896FADF0775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37a48c8d3919297f8fb6663795a2e39b5f04735","datavalue":{"value":{"entity-type":"item","numeric-id":1885906,"id":"Q1885906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$AEBC4457-3F98-4B9E-B5E2-D389EDA67CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b76cd63c5178ec2dcd1f08b328bd5ef3f072c74b","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$95603A45-5512-47B4-B398-4A8006F6971E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd948479fa2b047317266be3204831494fb3e8e","datavalue":{"value":{"entity-type":"item","numeric-id":2988366,"id":"Q2988366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$9E3C7670-9CCE-4600-8707-DD6D094E19F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d70113cd5b654bf0a9dc73bcf0093af4ab44d9b2","datavalue":{"value":{"entity-type":"item","numeric-id":2922008,"id":"Q2922008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$847B72B3-ABC5-4D80-AC6D-312A2F569A70","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":"Q4989408$7343AC58-053E-453D-B589-C39BA9CCF3EA","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":"Q4989408$798285CF-BC21-465A-87F5-9D958E7823C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb26fb1846b6f18c02035a5f88554afa02bb81bb","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$A3FA54D3-8567-4582-A33D-928621E6D1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$6D48020A-A21B-482D-B4F5-0314F7E51A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$4F5AFF79-6025-4F8A-B80C-A42449CFA0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$77153672-78EA-446A-A22F-A86D18D12290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e499ca4910168e9fcc3cd0ad40566cb27f72097","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$93A7A22E-4793-47D5-8095-4D9950B16B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9743b55cd54e93380b244a334e4a643dc49b45a","datavalue":{"value":{"entity-type":"item","numeric-id":5144644,"id":"Q5144644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$D5F30DFF-A84F-4FB0-9844-59AC476718B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02c4243a265cc03a73a3605e5d794b781620cf3","datavalue":{"value":{"entity-type":"item","numeric-id":4994958,"id":"Q4994958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$173A0EC2-804D-4D0F-9FB4-9ED0105E9BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4f299aa7f0ff1c1bd7e0b1b9c60f417cf6ec1d","datavalue":{"value":{"entity-type":"item","numeric-id":2272910,"id":"Q2272910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$D3E99593-8284-41C7-838C-2770B651B477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$3AA247A2-F910-4358-9F08-EA8AE54FAF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7126dd50b0a8b463a7923c49d85c598a29a7d92f","datavalue":{"value":{"entity-type":"item","numeric-id":2637311,"id":"Q2637311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989408$E45DB0F4-F00D-466F-BA6B-6878B47A9224","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"248507840d92124213f216cbee875c4d64718c59","datavalue":{"value":{"entity-type":"item","numeric-id":6149675,"id":"Q6149675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30237086b1b708ff3c9c746a0ac8fa63af923330","datavalue":{"value":{"amount":"+0.9446547031402588","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":"Q4989408$E609E4CA-B1D7-4115-A603-4C17AFC1C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e189a35dbf61f9c265c084d4ed7f7d08b0f1320","datavalue":{"value":{"entity-type":"item","numeric-id":5326340,"id":"Q5326340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be1dd23125d68e4c5a802e37fe6cbd5aef251aa","datavalue":{"value":{"amount":"+0.8311475515365601","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":"Q4989408$54AA2A95-1D92-498A-A0F8-0AB3A76D0001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb7a190db72c074afb5a691181916be1181b3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4603554,"id":"Q4603554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24a6e74561a206f806651b425205132d7522ad9","datavalue":{"value":{"amount":"+0.829750657081604","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":"Q4989408$7EAC7F2E-1470-4AD5-B0DA-72756520FA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1ea2d9e13bc0481c7671b5c818c084ac5c6423","datavalue":{"value":{"entity-type":"item","numeric-id":5094115,"id":"Q5094115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b5f6da12cb4894952522c3cc44c86daf1819d1","datavalue":{"value":{"amount":"+0.8150203824043274","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":"Q4989408$1BA89D16-CBC3-4967-939F-D8544F3619E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9326e5b0cbc990f169282df3d776b073e67d1ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4686606,"id":"Q4686606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b42edb157c34e3dc639e426ae926d56c9923f84","datavalue":{"value":{"amount":"+0.8111651539802551","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":"Q4989408$F5F13D78-63FD-469D-9B44-7A47FDBD0D93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989408"}}}}}