{"entities":{"Q537908":{"pageid":539675,"ns":120,"title":"Item:Q537908","lastrevid":62645952,"modified":"2026-04-11T07:29:35Z","type":"item","id":"Q537908","labels":{"en":{"language":"en","value":"Model checking weighted integer reset timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5898928"}},"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":"Q537908$6551F7E6-C427-4F3A-9F70-2D633447923B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fb8b8c17ce78d17c6035c4bde8ef6879c1358ba","datavalue":{"value":{"text":"Model checking weighted integer reset timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q537908$F5E3C88A-3A45-4081-8EA9-CE2CCC59108E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e6245a9882b126a782cf7f015419c4a580b3630","datavalue":{"value":"1217.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537908$4E0ADED6-F217-4BBF-B606-548EDB8BE8F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5b97891df93576345681864c9eebdf5a29a270d","datavalue":{"value":{"entity-type":"item","numeric-id":537905,"id":"Q537905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$73315FB2-7D91-45C2-BC1B-B43EA2EF6102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$8A6FB8F0-D40E-45F2-BA28-F01CED95CC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a2491bc306fc8a3262465e2e7bbd29a941d9b6d","datavalue":{"value":{"entity-type":"item","numeric-id":537907,"id":"Q537907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$E2DB3895-17FC-4656-B6EA-E25B27EEAF4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$7E693F63-0562-4E89-B24B-2A85D08B88B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987c10c6ecaaa604cff66f7d8ee6e24b6dd4dc1e","datavalue":{"value":{"time":"+2011-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q537908$F7BCB412-0A60-4EDF-B333-C38BE81618A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537908$848B52AD-C8A7-41D7-AE37-D4C7AE96DBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537908$7E2945B2-F4C3-4AB9-A2C2-B08E1DAC7791","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f8b5dc9528a1157d45f13ac25045c5ac6df75c2","datavalue":{"value":"5898928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537908$F1ABD62F-82AB-48AF-8F80-0BEF614A72A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1830611f60e73ba6d127e5cba1326aed2487f131","datavalue":{"value":"weighted timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q537908$6331A06D-94F3-4F09-BCCE-08D9F15784CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2910dc9f32b0406df96977d50f0f48648ac25811","datavalue":{"value":"weighted CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q537908$D99C1290-C613-4D0F-A7C8-D0D354336017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q537908$23AA8761-AAFD-4515-8307-73F450682B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a41b14f1641b34d18bb761c0fc262f31860e895","datavalue":{"value":"integer resets","type":"string"},"datatype":"string"},"type":"statement","id":"Q537908$1DA86D9F-3BEF-4B0A-A36F-F6C382E44F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d1d66592065da0b52c2082122888abb9c4a3bc2","datavalue":{"value":"clock reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q537908$2AA5383F-0352-402C-92A0-5B3637EA94FF","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":"Q537908$56621DB1-EFC6-4075-862D-2CF08B1BF198","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":"Q537908$98886FC4-1B7A-46BD-9973-7D5177997D9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0b938d3a04219b9233353b8bc07d59188b1fb5b","datavalue":{"value":"https://doi.org/10.1007/s00224-010-9253-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q537908$2734639D-EC92-4058-B4CE-6D2E634BE23C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27f2738d399a23a79650a06161024664ee1d9704","datavalue":{"value":"W2064829087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537908$35FC0B2D-E671-4412-B57B-FD85F73E638C","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":"Q537908$5C8A5568-A7F6-4A12-905C-AE15248248AA","rank":"normal"},{"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":"Q537908$87A3264A-547B-4D7E-AF3F-936C77074BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$29D20D9B-F989-4096-9491-3BC67103D50A","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":"Q537908$5414922C-506B-4A86-A8CE-7AF163960C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39262a0a04b7504b30d279eabeb2c8c5d8a139b2","datavalue":{"value":{"entity-type":"item","numeric-id":5703961,"id":"Q5703961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$0E25A4BC-87E2-4AB5-AC12-60466CAEE6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919b3b9b331b9f238dfcaf9697c18afb0978b607","datavalue":{"value":{"entity-type":"item","numeric-id":3638084,"id":"Q3638084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$2817365C-D0F6-4CBA-ADD7-C4C384F746D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc51cda44edc8ba8956bf0a2f87c09c19220c84","datavalue":{"value":{"entity-type":"item","numeric-id":1583056,"id":"Q1583056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$9EA17C1F-4E59-4868-B262-C9F2D7EC6F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd210815ea7a48bc3048076843f39533a73a4f99","datavalue":{"value":{"entity-type":"item","numeric-id":4593936,"id":"Q4593936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$78069228-979C-4298-86F9-4EB36E218C01","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":"Q537908$7A0B6AC8-57BB-4666-AE8A-91A16F8CFE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dac790e62b172c6d0243b477cf163852ec811c8","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$2AC24C6F-153F-4ACC-ACBC-FC65C2973A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b510edf59a7fcfd0982ca5637cd8b0703312929","datavalue":{"value":{"entity-type":"item","numeric-id":844195,"id":"Q844195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$EC0D3E00-64A2-4648-BA46-310441680D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a6dc5e3285bf389a62bd58850bec0b7d69476c","datavalue":{"value":{"entity-type":"item","numeric-id":3518285,"id":"Q3518285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$7A569185-8215-4D8F-B2EB-389B4433F80A","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":"Q537908$53CE4A59-5CA3-4211-8250-E3B8B1EC2305","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":"Q537908$4541AC3F-E75F-468D-9F71-5121BDC59685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19ee1b0830cbb1342e5ed39edbd2f604a433a49","datavalue":{"value":{"entity-type":"item","numeric-id":4514735,"id":"Q4514735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$6E057D71-7557-479F-BA4F-FD247FCEBFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860204338ff8e232861ca323bddc6cdee8802ea4","datavalue":{"value":{"entity-type":"item","numeric-id":3507456,"id":"Q3507456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$8F77A3CC-4B10-469F-8A36-F80A36A72F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$0270C7EB-B282-4A2F-880C-1617E1B213C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9f0ec80ec6d7cbcb87923302232ebdad5d185d","datavalue":{"value":{"entity-type":"item","numeric-id":3543291,"id":"Q3543291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$A736D024-A315-46C2-8E5A-146D3503B33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cdd9e2da18ea0b16be801a7266349bd3835fc60","datavalue":{"value":{"entity-type":"item","numeric-id":3618627,"id":"Q3618627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q537908$262810BE-42E6-407C-8FFA-74EB30375F04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b8b555872594f8e002e5969115bcdde0a685d05","datavalue":{"value":"10.1007/S00224-010-9253-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q537908$673B07DB-7DBA-48C0-A6CE-755B1C32E22F","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":"598823550dce56198902fdec07690f10f2e966a2","datavalue":{"value":{"amount":"+0.8861228227615356","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":"Q537908$ED176EFD-D64E-43C7-8CCE-134F99C387C4","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":"10f7bed6fecf09fbe686c26b26369e5ef38d74e7","datavalue":{"value":{"amount":"+0.85700923204422","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":"Q537908$854434A7-8167-45FB-BCFA-0C11A50DF1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb81bd3420e15a8479793c82045bbaa4406d8e03","datavalue":{"value":{"entity-type":"item","numeric-id":2492187,"id":"Q2492187"},"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":"Q537908$83615AC0-747D-42A2-AC28-4CE04B1C91AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7b7af96103334e44e507f573bb3b97e88e6361","datavalue":{"value":{"entity-type":"item","numeric-id":5758051,"id":"Q5758051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d2dbd488656459c4d14e19566610fc7bab412c","datavalue":{"value":{"amount":"+0.8405163288116455","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":"Q537908$206B9A38-C75F-42EB-9613-A6370BA3D935","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":"069aa96362ed07ded5acc4b40721cf0cb0abfd1a","datavalue":{"value":{"amount":"+0.8381853699684143","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":"Q537908$8D588D01-785F-4312-BCCA-201D1AA0E974","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking weighted integer reset timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_weighted_integer_reset_timed_automata"}}}}}