{"entities":{"Q4571131":{"pageid":6600720,"ns":120,"title":"Item:Q4571131","lastrevid":58268901,"modified":"2026-04-04T12:19:29Z","type":"item","id":"Q4571131","labels":{"en":{"language":"en","value":"LTL parameter synthesis of parametric timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6899211"}},"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":"Q4571131$9D0DC6D7-C6C3-429A-A41E-7AA253D494FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb6941432d2b7de9a149a51e6f1f10f33ed983bd","datavalue":{"value":{"text":"LTL Parameter Synthesis of Parametric Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571131$39BE6D81-F5CB-49FA-BBD4-83F0518E1E2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06e1524e6f28ef7c62a38edb96e5bf0ff405d86e","datavalue":{"value":"1390.68422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571131$A82C8633-0714-47C3-9101-694AAB25AD3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c5f934ac501a158a7a130ceff57b60e61e6ff41","datavalue":{"value":"10.1007/978-3-319-41591-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571131$E83A2222-D714-425F-8692-B62326D72138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c6293d7fa65217967b37fb55d73506a8dcfe1a","datavalue":{"value":{"entity-type":"item","numeric-id":1648650,"id":"Q1648650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$5D112E28-2738-4010-8E73-50D083EA8D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$125E7709-D0FD-4C26-B7CE-CAC30F544FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b119b02feec4741f0c136f459ab9afd7603e153c","datavalue":{"value":{"entity-type":"item","numeric-id":282090,"id":"Q282090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$8617C476-6795-4B0B-9880-A57855334801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$EAE96600-080C-4208-BA1B-F6DA8489803D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$177F4A36-06D9-4032-91D8-F87E69D43ECE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae26ae56b498965815874334fe53b327884c287b","datavalue":{"value":{"time":"+2018-07-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":"Q4571131$2F102C27-AA8D-4505-A7D2-AB66C8060A03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da02c9419a05e09123b7483089fbaf78b95b488f","datavalue":{"value":"https://arxiv.org/abs/1409.3696","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571131$C523CAAA-BFF4-49BD-B1B4-876E3E63EB33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571131$AAE71D3E-9F0B-4F38-A8A2-A8F4B138E076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571131$F46054FA-2EFF-41EE-9046-86DB724BBF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571131$EEB056F0-EC8B-4C75-B3D7-25A484AB5B5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08a6ec844f138744fc42ed22ee4705a9ed671793","datavalue":{"value":"6899211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571131$A47A4B9B-7368-473F-8D53-6B67A051419E","rank":"normal"}],"P1463":[{"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":"Q4571131$159F3460-1E5D-45B4-951D-B7529229D137","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":"Q4571131$6DDCC6F3-C591-4DEA-8D71-08D455B3EA95","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":"Q4571131$3AB4EF23-AEA5-476C-84E4-00400B5B5882","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa18319bccab67a7348df3cfe30e9ca683a64a69","datavalue":{"value":"W2295421498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571131$90B1D041-B956-48E2-8325-DE56023942A8","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":"Q4571131$8AF84F5F-3D8C-4BF3-B573-0D86528B8227","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":"Q4571131$F02781BA-D7B5-451D-A8C9-A1E3733B3226","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":"Q4571131$E08710A9-D1E3-4D8E-9E0B-8A444150E8D5","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":"Q4571131$A102107A-7BBD-4A81-B766-37636C16020C","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":"Q4571131$85703A38-CDA8-4CDA-9C8B-36A5DCC5C3CD","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":"Q4571131$64C9058C-5C2F-49D5-A0D7-A9601A911649","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":"Q4571131$847BED0D-CFF9-4EB9-ACC3-AD759CBD6A52","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":"Q4571131$45DE260B-FCAD-42DF-8063-DBA9C7776314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a459d2db3f32657a2d6999b1e05297d4d9fbbded","datavalue":{"value":{"entity-type":"item","numeric-id":5308415,"id":"Q5308415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$69350F02-4A48-489C-B7E9-9B5810A02EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29c51a0e7698d5c431a6acfb9a15f6606a13782","datavalue":{"value":{"entity-type":"item","numeric-id":3648834,"id":"Q3648834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$F6EDEB4B-1CFE-43A8-8D2F-E0B6B78FAE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ed779e29227a81a903aa97a6be4235ec5dba66","datavalue":{"value":{"entity-type":"item","numeric-id":4571131,"id":"Q4571131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$140C31C4-460A-411E-979B-AAA4609E23A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b4581bc83587212b62cb05e1a5626286213a57","datavalue":{"value":{"entity-type":"item","numeric-id":4037388,"id":"Q4037388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$778ABDAF-6E41-4315-9886-B5B429C725DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$7E20AEEB-4140-4366-8517-336B72CDAF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e81ad50ef48a29acdf04a8ccd69b89f42afd19a","datavalue":{"value":{"entity-type":"item","numeric-id":2938150,"id":"Q2938150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571131$7CE07C62-1E2B-4240-9BD4-AB73DEC18C83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043b736c9a0a8be3df6caa76e0b27711366befb5","datavalue":{"value":{"entity-type":"item","numeric-id":1648651,"id":"Q1648651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7811f91670b439e266000ee3791a5e98ed4db9c2","datavalue":{"value":{"amount":"+0.9234474897384644","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":"Q4571131$48C2B1C6-BC79-4DEE-BADF-1C8284F9BA54","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":"e38559c4d5f343da6d61c1c0ceae0285c6425365","datavalue":{"value":{"amount":"+0.8765709400177002","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":"Q4571131$F1CB9F3D-BA3D-4041-B337-02D1045638AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf74bfc70089b0193f8945067a6efd15d74c2305","datavalue":{"value":{"entity-type":"item","numeric-id":2934895,"id":"Q2934895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d1f34e4d1485e3559700bbccac7273a2635c5e","datavalue":{"value":{"amount":"+0.8625808954238892","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":"Q4571131$D334891D-F743-42E1-834B-BBC409AC077A","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":"24e1642115d4a133754d4cc5ea78ddf263b5b276","datavalue":{"value":{"amount":"+0.8327483534812927","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":"Q4571131$411FD79E-ACA2-4789-969F-0C50EDFB73F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4847488d9c765d1d5d5d8e551c3566aaead2334","datavalue":{"value":{"entity-type":"item","numeric-id":5897955,"id":"Q5897955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f462a497c478a573e16cc2d89295a0cd53acef89","datavalue":{"value":{"amount":"+0.8265684247016907","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":"Q4571131$4D32634A-009A-4846-A12D-D602F6571720","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571131","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571131"}}}}}