{"entities":{"Q3648693":{"pageid":5678599,"ns":120,"title":"Item:Q3648693","lastrevid":50838452,"modified":"2026-01-15T08:56:37Z","type":"item","id":"Q3648693","labels":{"en":{"language":"en","value":"LTL model checking of time-inhomogeneous Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640932"}},"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":"Q3648693$EB577177-88B9-4FA8-BAA6-C369050B289E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c488f2743b2a70ef23e31f9dc8a34bee4e7b9ea","datavalue":{"value":{"text":"LTL Model Checking of Time-Inhomogeneous Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648693$145722A0-43F8-4042-BD2B-73930613D695","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"952c7c8d761c54c8d8d04ca0ca5dc89a04932c58","datavalue":{"value":"1262.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648693$D7D4318E-93D3-4553-82F2-FD17ADFFB146","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7361288551b3407d564521bf04908980fa74b55c","datavalue":{"value":"10.1007/978-3-642-04761-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648693$B08A8A72-CFAF-432D-8EB5-DCA745448D20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$831A709A-6DAB-4F8C-8A52-2A05E60541A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7212e30b632f2e93de3964c7abeeef134479d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":458373,"id":"Q458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$982C02EE-3831-4122-9E10-A349ECCD5735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4439e65a9803a6e1ec53eae8fa5fce4484aafb9c","datavalue":{"value":{"entity-type":"item","numeric-id":515572,"id":"Q515572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$CE806241-6310-4624-A3C2-52C4CE9FBE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$D4074E72-86F4-443F-90B9-0C7972923C89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$A8930FE5-7F67-42FC-B8CE-51786CF08A7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648693$FE3BA512-45E9-49B8-91BB-F67E1D53F209","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648693$0B73E890-2CA3-4136-AAE3-3F96A39F5C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648693$D6A8ADE9-9FE2-4F29-897C-D25E3F539833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74f6f935dcd3ecc9a3db1f596aaae7317d448565","datavalue":{"value":"5640932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648693$E3FCD0C2-16BD-44A2-A9A0-CE19FFB7E114","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"389bdd6ad40bafd0b35c1d6ffff2aee93df22141","datavalue":{"value":"Q57801547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648693$6E816838-10D0-4CC2-AF01-00FCC2D81470","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$586ADC6D-FADB-431D-996B-C89824858D26","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":"Q3648693$BF2A8A2C-4389-4D89-B500-E50E511638A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22bb414a800187c4d605a9bbabfa9a7a0c406d63","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04761-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648693$55284497-5836-4F1B-A5EF-8D868A4F0CB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"398c03b700f5e72b626e327c5acde4e79598e32e","datavalue":{"value":"W2125571758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648693$B89275D3-744E-4E57-916D-C982D016F779","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5dc5de059245f854355989fa9ec6aaf669bbdc0","datavalue":{"value":{"entity-type":"item","numeric-id":1056553,"id":"Q1056553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$81E28A52-D805-42C2-AD29-026ADC20AED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58d8d8c115929f1bebe5ab67166db3c1ed09d44","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$DD3EA813-7E1A-4CCF-963E-641FBDAEC14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$96110954-0862-4970-8CB0-2BA9EEEA5338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e88580796b91d6f4f3cf3d4f3e2798396e09b0c","datavalue":{"value":{"entity-type":"item","numeric-id":1401292,"id":"Q1401292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$76713254-3D92-4576-A6E3-BEE5DB0763B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$CFDFCD3A-10C1-432D-B0A2-8B92418EE8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6930e49ca203e4c5be273ceae28c8fea75c5054","datavalue":{"value":{"entity-type":"item","numeric-id":3408150,"id":"Q3408150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$E5C7C49D-0A30-45C6-8BD9-D52A3ADC8443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$E449EF31-52B3-4450-9375-3EFF6E44CB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b388c0771db5db3897588379bd4b417551adfb47","datavalue":{"value":{"entity-type":"item","numeric-id":3521961,"id":"Q3521961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$E6CBE7FB-44FB-45D7-BB2B-822BE8DDF585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a16366ed8825efe96c954d3573450ebfd99ca3a5","datavalue":{"value":{"entity-type":"item","numeric-id":3543299,"id":"Q3543299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$BA38EE1B-F757-4C91-B3B3-7238E3A8BEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebd6d1eb8a2811cf16d4b69c969a0402b0924eb","datavalue":{"value":{"entity-type":"item","numeric-id":4002473,"id":"Q4002473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$303212F4-D971-40C9-B60A-6EAE9F54BD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdbd6273db981f5099cc87806682dfa0bdfdd95","datavalue":{"value":{"entity-type":"item","numeric-id":5687209,"id":"Q5687209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648693$E90A8F70-0FB7-4B6A-BE7D-5BF6A1E27EA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75816170b43bcdb9b7a28a5406174e258d102ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3543299,"id":"Q3543299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37e183d933d563a3213e5bb065cbccdb0bbfde80","datavalue":{"value":{"amount":"+0.8579894304275513","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":"Q3648693$FF95404C-5DFF-40B9-80FE-D5B1926C9360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fccd46ab9f17c784653baf14caa5c13745fdcfb","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46af23697fca34834b9fc02375335e2b6cb4d534","datavalue":{"value":{"amount":"+0.8123399019241333","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":"Q3648693$BFACCF60-8224-41D4-BB40-9BB3A5C61CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be1d652f8f625a1f430a8a580977f1e9471d771","datavalue":{"value":{"amount":"+0.8118657469749451","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":"Q3648693$B3BA618E-6EA5-4F9C-B4E6-0F718EFF2DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"649c6a2777986bb091004ec09cd96a579d55c089","datavalue":{"value":{"entity-type":"item","numeric-id":3003315,"id":"Q3003315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b5ee25db60953591f66ea200b435cc5135201b","datavalue":{"value":{"amount":"+0.8084306120872498","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":"Q3648693$86E7D942-F67A-4976-AB78-7235D5460CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1fcd48c493965ab2e407530b2e2e203db0266b","datavalue":{"value":{"entity-type":"item","numeric-id":5703762,"id":"Q5703762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ffe2ea7784c6bdffe80406bb1c3e54f5253d92","datavalue":{"value":{"amount":"+0.7932636737823486","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":"Q3648693$DDA34759-7E24-481F-9ED2-7FC3292EE427","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3648693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3648693"}}}}}