{"entities":{"Q2492187":{"pageid":2502930,"ns":120,"title":"Item:Q2492187","lastrevid":72740994,"modified":"2026-04-14T07:20:55Z","type":"item","id":"Q2492187","labels":{"en":{"language":"en","value":"On model-checking timed automata with stopwatch observers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5030478"}},"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":"Q2492187$8C81EB44-0DC2-43F4-93F5-9D642FDA23E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7c5e1b813b1ff8baba36e594ac6f898fb05d594","datavalue":{"value":{"text":"On model-checking timed automata with stopwatch observers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2492187$1337EEB5-53C5-469C-B4BC-0F4154B399EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44d473308b9794d9bee85af51301032c16f7530b","datavalue":{"value":"1094.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492187$B311508E-5A6D-4F08-A89D-C3C8D21D2575","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$2F0B7E1D-5C85-4F76-ACC0-6FDA4A1BB173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$767F59F1-E0BC-4894-824C-FD0E4D1160CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$11270DFA-2316-4CA0-8241-235C7065C88F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$EE50389B-89F5-459C-BF22-69FB04B9F070","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21437c544db1978eeec04a4cbdd682f98ee3c97e","datavalue":{"value":{"time":"+2006-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2492187$B396E4E9-57C3-421C-BB86-6B280361C55F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492187$AB49663F-1AC6-4295-BA62-A07E505E711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492187$BA5CCEEC-2500-40D9-909D-A4D1F1660A59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57669f037f97637bf7ac7179efabb998f7d15bb1","datavalue":{"value":"5030478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492187$BD8768FF-3D85-489E-B148-0D8AE56F5420","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1830611f60e73ba6d127e5cba1326aed2487f131","datavalue":{"value":"weighted timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492187$B1051FA0-99CC-4226-AA0F-E29947052721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492187$FD67E2AA-030F-4501-95DC-9A661E93DFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492187$D8DB4E47-FCAD-445E-B976-F117771B6E78","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":"Q2492187$B63DA413-7869-4D0A-9A3D-F0E87A979041","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6fc0aed4f9ce4031e633311de776834e40378ed","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2492187$C96D0B5D-882B-4ECD-8637-09BB33017BC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f36c3e1cb322ee41cfd852c63a8c5889d8c1eb1","datavalue":{"value":"W1963565725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492187$F56F6CCE-CF28-4AE8-9A9A-60F368C87513","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":"Q2492187$65353CF8-B7EA-4073-BDF8-F1F235D66D33","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":"Q2492187$9C595256-F1B9-4C42-A6A1-0483D7CD6C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44dd6b3604cfcbcc0c67787f1982f818ecf2cd8","datavalue":{"value":{"entity-type":"item","numeric-id":4552456,"id":"Q4552456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$9B39542E-EACC-4213-AD31-3E33B45D7630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae2976fe8586980be2180eb4b5b53d09c84d57b","datavalue":{"value":{"entity-type":"item","numeric-id":4552463,"id":"Q4552463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$E1F7DD0B-7A39-4276-9C0E-D777B3760DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea1cca5805b0cd78664cf35a1eb9a2408c930a5","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$30C137E6-BF32-4214-A414-AA7AD168400C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8893272790e5a9fb218bfdc18525e63f375c582","datavalue":{"value":{"entity-type":"item","numeric-id":4645189,"id":"Q4645189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$5E141514-9C64-4386-A9BD-6096FC3F3E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"915c83c7f3b25a1a05df7224f3d616215533b86d","datavalue":{"value":{"entity-type":"item","numeric-id":4571988,"id":"Q4571988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$FF8193D9-C545-4649-A8BB-10AB2038573A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c61b8df768da1a4e1cc2a85425f3f7b271a5888","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$E88DE3E9-841A-4870-837D-A65A34104AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be4a8100f6c1d999f8610e55b712c8ecf757568","datavalue":{"value":{"entity-type":"item","numeric-id":1854273,"id":"Q1854273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$CCB2C41A-0DF0-4A40-9379-4BA2D443ACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c71ce73b214624ee6fbfe1323f4eadc379e630","datavalue":{"value":{"entity-type":"item","numeric-id":5705878,"id":"Q5705878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$3D25AFBC-95BF-4034-B9F0-8AFDAAC1256F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492187$AC9718F6-B9AB-4B8E-858F-0A6DA02F53EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcc06c8b76882894dfcdc142c89f9f15ef692a60","datavalue":{"value":"10.1016/J.IC.2005.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492187$6DE99852-07A2-4FD8-9DE8-0AFEE42D556E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa90602de353a772a5d244c5485d5cea145d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb0050f3dcc1b1d34ad1d5ae6c4f4928d08b154","datavalue":{"value":{"amount":"+0.9651092886924744","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":"Q2492187$4E0396D3-5CD6-4E7D-A5AE-38C080B64AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bb819c8f68f641587161e5264bf1042a256e9a","datavalue":{"value":{"entity-type":"item","numeric-id":537908,"id":"Q537908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3eb044bc82439bdd04b9f75057479624514e36","datavalue":{"value":{"amount":"+0.8517829179763794","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":"Q2492187$990AA54E-4593-4D71-A4D6-0B7331E6220C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9be0ef2173b9a697c39e55dc7f230c8c1c9912a","datavalue":{"value":{"entity-type":"item","numeric-id":3510834,"id":"Q3510834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9579f2990e87c47de5c1d47ced78f74e0e9e18f","datavalue":{"value":{"amount":"+0.8329241871833801","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":"Q2492187$69925E2C-AD1F-449A-909F-5224DA9551E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2039bdede58f371353ca0d0c2d9041729a53521b","datavalue":{"value":{"entity-type":"item","numeric-id":3518285,"id":"Q3518285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e9b37048a162a50d9b58eb49ecdaa1b4190b8a","datavalue":{"value":{"amount":"+0.8073951005935669","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":"Q2492187$1CF0EFEA-5BDA-414F-8CD9-F006D9D30560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80cda88b1aabc41ce95eacb6cfbe59057e18941c","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9d3a6fdd6e97652fc03f850a4b9018688337aa","datavalue":{"value":{"amount":"+0.8045534491539001","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":"Q2492187$8BC87D29-52BA-4CB3-8EF9-1646D049AFA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On model-checking timed automata with stopwatch observers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_model-checking_timed_automata_with_stopwatch_observers"}}}}}