{"entities":{"Q1858447":{"pageid":1869189,"ns":120,"title":"Item:Q1858447","lastrevid":69130029,"modified":"2026-04-13T04:58:26Z","type":"item","id":"Q1858447","labels":{"en":{"language":"en","value":"Linear parametric model checking of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1868277"}},"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":"Q1858447$D549BE20-8C21-4548-9D59-9BA66C9C239D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eefca55ac3f5213686a65c94f0984bb812f90710","datavalue":{"value":{"text":"Linear parametric model checking of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1858447$1BFC4887-9EFD-4381-AD9D-17961B19DC0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a41975c132a42ba9cf9bce2ffd1a98ed137272b","datavalue":{"value":"1008.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858447$F07F77DF-565D-4330-935D-133C77C8164C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26f0ddd17359a9894c61b2115574a0450856134d","datavalue":{"value":"10.1016/S1567-8326(02)00037-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858447$7C709F5D-18D5-4909-B7D5-4E7F94CD07DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"733a4ea1b2cbf02d38b47e7c736d41c4ca1e896e","datavalue":{"value":{"entity-type":"item","numeric-id":1858446,"id":"Q1858446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$3F2F09C7-146A-444A-88B7-832997190AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83a48f01417597939c13a04ca97e7f135c41c7f5","datavalue":{"value":{"entity-type":"item","numeric-id":239141,"id":"Q239141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$9CBE9AE5-493F-4C6B-B2EF-8D853E87E780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e81000e95d5baed5e5b30033cfcd1070b84fdc23","datavalue":{"value":{"entity-type":"item","numeric-id":225107,"id":"Q225107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$374F34C0-E76A-4DF8-BBDB-72A25473A8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54eb5023137ee6a46a6a6864bec8731faa3ff206","datavalue":{"value":{"entity-type":"item","numeric-id":975884,"id":"Q975884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$863864E6-91D9-4150-A584-0E4D6AEA731E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$BCB64A8B-E624-4F25-A12F-4E3FED6EE00B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeee03ff93cd4d2bc8e8bd2001afc62b5646464f","datavalue":{"value":{"time":"+2003-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1858447$D78DCFE8-0DF4-49D0-93DC-B4EBE692B0AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858447$2D1CCF7F-998F-44BC-B46A-8B117AEF9C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858447$561D845D-F911-4061-A8A1-0BFA661D790A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"240836d0df09731514369cff25205cfa53d9d6bc","datavalue":{"value":"1868277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858447$D48E6317-8815-4074-9513-277823509938","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858447$A44B587C-46CB-42F8-A4F8-F34C4B710A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858447$AF03DEBD-C911-4387-BFA8-F9E152D3C2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858447$A8EAECC4-0AAC-4797-8485-47286D79A80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858447$55B82A77-CC2A-470F-B338-34335D66BC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858447$193C0E19-68DA-4EAD-BB8B-13A2F8619E97","rank":"normal"}],"P1463":[{"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":"Q1858447$885B03F3-2E17-4B54-8718-5D77D7678710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb600505726038dde1f7205c06067efdfd1bd64e","datavalue":{"value":{"entity-type":"item","numeric-id":14127,"id":"Q14127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$3E3211C3-C408-4D39-A487-67B9F3DC9DF9","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":"Q1858447$9AD3113A-6FC5-4034-BA05-433BA259C8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$450420B9-B370-4237-B5D3-147B597B4EA3","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":"Q1858447$ACFADE76-343D-4062-A4D9-1EA84349609F","rank":"normal"}],"P223":[{"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":"Q1858447$14FAE1FA-FC9B-468B-A96B-F0585D788BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95df9aedbd7e5e563158d002f148b701b2fd0480","datavalue":{"value":{"entity-type":"item","numeric-id":4551165,"id":"Q4551165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$AE11ADD5-CA27-4216-946E-0C5D9F4B2F9A","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":"Q1858447$B83F1711-F454-44D2-893B-26489730F249","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":"Q1858447$E250D0FF-3A5B-41A9-913A-BAC4902181BD","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":"Q1858447$693876EE-932F-47B1-99CC-EA843F83D30C","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":"Q1858447$6E89F49E-5B2A-47E8-B631-8A871CA5C660","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":"Q1858447$2C0D3D00-72EA-46A2-B5FE-8AE68F73C459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$0C919969-4FF4-49B1-83F6-A5C9AE9E1911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20177207872af8a908fe37663b57420eab8935c","datavalue":{"value":{"entity-type":"item","numeric-id":5953461,"id":"Q5953461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$FFA02711-80BB-483B-8779-EB0C82E6D424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2555f3043f48d8ba2b8b0fffb670cc33cdfd1080","datavalue":{"value":{"entity-type":"item","numeric-id":1402480,"id":"Q1402480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858447$E968EADF-5558-42CB-BCE6-FCFC68CC3F40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ad4b00d058b649e8b613059fe7fab6a9d652292","datavalue":{"value":"https://doi.org/10.1016/s1567-8326(02)00037-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1858447$FF4D339B-C79D-480C-9547-5104390A4C22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d12a755e831e0c3926ff9b8496e8f6f981a82bd1","datavalue":{"value":"W2155953212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858447$80F366F6-5499-4B10-A7CE-9181AC4E17FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d3bc1ffa738d36e0aa4671214ad8123b4ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4440f09e759329589f0798b0900aed80ed26fc6","datavalue":{"value":{"amount":"+0.984119474887848","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":"Q1858447$E5CCA07B-6D30-4E5F-A40F-3EB1F21E52EF","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":"fa01421da46ac53a4b0b1238a25faab1ec6cbc0c","datavalue":{"value":{"amount":"+0.8436267375946045","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":"Q1858447$CCB5F239-A3F4-45BC-BE2D-B06B64E4F859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8850055df15e3cc72a93bda40f41a31b64ca8159","datavalue":{"value":{"entity-type":"item","numeric-id":5428870,"id":"Q5428870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c05a8fe49cb70f62dda5675e6eef4c58e0de84","datavalue":{"value":{"amount":"+0.841253936290741","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":"Q1858447$9B4FF4DB-D5C0-4C90-9DC7-A42DF43B41F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56189e46c96f917172b9e9c44beae5f2017d3363","datavalue":{"value":{"entity-type":"item","numeric-id":1631215,"id":"Q1631215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae338ac3c020498cd4243e146dc290ad1f2bd14","datavalue":{"value":{"amount":"+0.8402273058891296","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":"Q1858447$062E754E-0326-4AEE-BAD6-5C55AB296D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41929f724147a2cad9ea17191508e1c9a57bbd7","datavalue":{"value":{"entity-type":"item","numeric-id":1041291,"id":"Q1041291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e326b241fe8cfa7c8cce05dbff645b7759f03e","datavalue":{"value":{"amount":"+0.830742597579956","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":"Q1858447$00D8C669-2E08-4E91-BC8F-95EE24176664","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear parametric model checking of timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_parametric_model_checking_of_timed_automata"}}}}}