{"entities":{"Q703513":{"pageid":705362,"ns":120,"title":"Item:Q703513","lastrevid":63744825,"modified":"2026-04-11T15:15:19Z","type":"item","id":"Q703513","labels":{"en":{"language":"en","value":"Reachability solution characterization of parametric real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126092"}},"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":"Q703513$EA160E21-6249-4F4F-83CA-78E86D6E1A74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce1f719c5036591365bf54461241cfcb57340dc8","datavalue":{"value":{"text":"Reachability solution characterization of parametric real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703513$DCA9668D-7FC6-48AE-AD26-843BA98D1C93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c5f86308fb4543768d6fe8d9494d00380ac2b63","datavalue":{"value":"1071.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703513$60972B4E-A22F-44FB-9A1D-F2199570DB07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"678323d8c357eaf7e7bc2f1d5d96711bb3955f10","datavalue":{"value":{"entity-type":"item","numeric-id":656079,"id":"Q656079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$B2D33727-D8CB-457C-AE80-8043A3E4EAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$5888F278-896E-4871-B6C1-CC4B63CFCF3A","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":"Q703513$34809087-6DDA-4F92-9E4F-0C5D2697E2D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703513$698F4226-6C49-49AA-ACF6-3C469841CF44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703513$EBC51E25-ED64-4FB2-A53B-605FBE874329","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a11df2ee645c16a77631ae567b32bdfd43e56f8","datavalue":{"value":"2126092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703513$606EDEBC-1109-4499-905C-E0694DEE42A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e49008e488d79415f4549cf10d3b60ce2a232d","datavalue":{"value":"Reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q703513$9F7A74C1-96BF-42DF-92B9-7E3C88871A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456fe5d58b91118c29683052adf5d66109ca98fe","datavalue":{"value":"Timing parameter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q703513$D3F673EE-DB5D-4F5B-8F70-18195C869CA1","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":"Q703513$30A786B7-21D6-452D-B0D3-2979B98D8EC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e09d408f3ca9ffb264e08167a875ed55b38dccaa","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.07.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q703513$03E0AC14-A2C9-408B-8F2F-A12D9E8C6F09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4471fe0f2e7085e285455714ee3845996b24fd89","datavalue":{"value":"W2088609633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703513$732202DE-4740-4273-B1FC-E84EF9C693A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$D3776E5D-D8B1-4BA5-A18A-C5F2D0EDED01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$A1479094-4C77-42C4-9AF9-BAC6D1776B51","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":"Q703513$95B67DDF-A363-4FB1-8FBF-C501CA623267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbacf7213fac1ad7134058ae3b370a57245783d9","datavalue":{"value":{"entity-type":"item","numeric-id":2754104,"id":"Q2754104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$F96D1A30-4F54-40F5-9FF4-71AEE1FC5B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2f6d9e95ba73935895f0d9510488752c2578c0","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$01363AB2-0071-44E0-9AA0-73485089C4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$2925FE92-F096-47A7-AE37-67AA77F8F70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d1d8ee2c5a20f4bbb771b0d86edcaf1d78bae7","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$22B60020-7C1C-48F5-9580-10C8328E9C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$2E37ECB9-F8CD-4E92-A66C-206D3A5393BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969b23c15bda365fef0dcb143b85f2f64b2e439b","datavalue":{"value":{"entity-type":"item","numeric-id":1819938,"id":"Q1819938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$24478AC2-8251-4C7F-A8BF-C18DC28682AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0863235db59889cae8e307ac033932805be9713f","datavalue":{"value":{"entity-type":"item","numeric-id":797285,"id":"Q797285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$DF70B9E6-3E12-4E04-B377-D766C015F980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eb33fcfa4dcf8f3cb224015a88a380e338a35f","datavalue":{"value":{"entity-type":"item","numeric-id":675050,"id":"Q675050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$1425D335-F7EE-4028-AC55-5DA75B20D075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f29834650751df29db433467d4149969baf57721","datavalue":{"value":{"entity-type":"item","numeric-id":4778706,"id":"Q4778706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703513$2CE147FD-93DE-4BFD-A517-872F8B66020E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c54b145085486c884efeae53b6017a500cdc86e","datavalue":{"value":"10.1016/J.TCS.2004.07.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703513$D4936F03-EE49-49D0-B1A3-20BFDCB041E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a548d3ffe1432116b19cfbf332ac3b3e1478675b","datavalue":{"value":{"entity-type":"item","numeric-id":3559774,"id":"Q3559774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d493034211a845314fb8203bd29f3a854cd9905","datavalue":{"value":{"amount":"+0.946959912776947","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":"Q703513$BF8BFAF3-E4E6-4266-A388-FE42FADCFCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcebfb23fc7c455d9a3e68111442f34be8c2da60","datavalue":{"value":{"entity-type":"item","numeric-id":2922008,"id":"Q2922008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74586c7f64cf8e315ab03bc548d4875e96fb4122","datavalue":{"value":{"amount":"+0.8103576302528381","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":"Q703513$A321F6E9-F19F-4162-ACB6-A6D56D562816","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":"2c3fefd3ab1f01800d4e52d1594feabf6ba90e93","datavalue":{"value":{"amount":"+0.784292995929718","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":"Q703513$D3960A20-95A5-4B53-B10F-E60E59AB8AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e4c50280b7ca24e7c41a221b387028cf2d75be","datavalue":{"value":{"entity-type":"item","numeric-id":846009,"id":"Q846009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bd07758eab5e49e4463ac3f88d1ac69f997ba5","datavalue":{"value":{"amount":"+0.7653998136520386","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":"Q703513$B89B9455-044F-4A0D-AE16-1F700D35B1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded305ec011f37a054374169bff44564373fcab8","datavalue":{"value":{"entity-type":"item","numeric-id":5144644,"id":"Q5144644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bed47f5615fe58915299d242e467bafdbed9155","datavalue":{"value":{"amount":"+0.7594959735870361","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":"Q703513$FF69EA3F-C8C0-4984-8124-EFF501609F81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability solution characterization of parametric real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reachability_solution_characterization_of_parametric_real-time_systems"}}}}}