{"entities":{"Q3543299":{"pageid":5573203,"ns":120,"title":"Item:Q3543299","lastrevid":49504978,"modified":"2026-01-07T09:10:24Z","type":"item","id":"Q3543299","labels":{"en":{"language":"en","value":"Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5376778"}},"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":"Q3543299$0B7C20AE-B641-46CC-AF35-D1B1173686F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f7234bd55b88d502b536f7d67b997801a8c3a78","datavalue":{"value":{"text":"Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543299$55352FD1-6C28-47A3-8AA2-E22FE781DB62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"979fde5da45528aee094ae32192ecf2b06683a67","datavalue":{"value":"1171.68550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543299$22ECC011-E182-4057-A61F-A9F959F21D87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c770bcc45f7e9f099d5f62e49c79030092be574a","datavalue":{"value":"10.1007/978-3-540-85778-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543299$1E05BDC1-1534-4758-8CB8-93609D7A1AE2","rank":"normal"}],"P16":[{"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":"Q3543299$281D7895-DE83-498C-981D-537883764842","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":"Q3543299$A81CB3C8-12A7-4553-BC3B-41DE04C54F02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$26D84E60-5575-4218-BB92-B5189089540D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7e93f8d3c28f11b076aa7adf47edebc135f21d9","datavalue":{"value":{"time":"+2008-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543299$B466F3D2-0B46-411B-AE28-FB31B532FCB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543299$01029379-8C18-436B-AA8B-A433D47A0D5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9bab1189141454919212db4f4c6bb25d049fde1","datavalue":{"value":"5376778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543299$212D7879-0D96-4318-A76C-5BBCDE42F2EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"89c5284bf4ba354936de4235cba006e85710b52f","datavalue":{"value":"Q57801664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543299$C5A09C97-68AB-4026-85F9-7E2CC98A4F0B","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":"Q3543299$0E9AE23F-7D5A-4AA5-BA6B-C78F2F842959","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":"Q3543299$9A34096B-583B-4493-A7ED-797953D71061","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dad517b641ffa0a9b994cc5620483042daeec645","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85778-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543299$35988579-D678-4EC1-A4F3-9BFB79104DB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09c3d9eb941ad6d885f6d0c05d1692e633137366","datavalue":{"value":"W128642691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543299$04E9B5DE-CC08-4F0E-9DAD-AFBEBCF16942","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$CD6C8177-B00B-45F1-B60C-33FACA17E4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$8AAEF2F6-27BC-43E7-9072-D4BF158BFE66","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":"Q3543299$DCBA4F53-BF43-4C9F-A655-A6764EF69565","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":"Q3543299$48E7BF1C-82B4-4E0D-898D-6B04936478E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc59bae63b743ea9cdfc1df5e724d22cf1709df7","datavalue":{"value":{"entity-type":"item","numeric-id":4296371,"id":"Q4296371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$927353F3-5E50-4BAA-8D3C-DC6EB68722E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda1a267caa0edf658bbc413517c1eccbaf92db6","datavalue":{"value":{"entity-type":"item","numeric-id":4518928,"id":"Q4518928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$7C1FAC66-4574-435A-8AF5-7D0E2D6DC1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8862b43cfd7dda3400a88a9cff2ab2712adae3","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$0A4F6134-A75C-4109-97DF-7F1B06FC1BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d214c2ad7e42298008832e30648c37c79da79cb","datavalue":{"value":{"entity-type":"item","numeric-id":5678345,"id":"Q5678345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$B72C452C-17A6-4CDB-BD97-94F5050993E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aef7462973eef57f516e957958a32b02f7706db","datavalue":{"value":{"entity-type":"item","numeric-id":3523111,"id":"Q3523111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$EE1B319E-6841-4306-A280-4076B31491BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$CD04A54D-D649-4ED1-AE76-D99D08462BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0934b5a5fbbee6540a96342864688602c12023","datavalue":{"value":{"entity-type":"item","numeric-id":4039888,"id":"Q4039888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$181BA916-CD1C-41B5-B516-EB9F3E089C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$FCC357C7-6659-462E-A676-CF88F950C04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$3236CE74-A638-4E52-9C1D-F37348FE05E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543299$D8393DBD-7D74-4EE8-8AB3-CF4001A1C322","rank":"normal"}],"P1643":[{"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":"af7488c4d5dd5e3ec71bf1ca689c92c06e858450","datavalue":{"value":{"amount":"+0.9072555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543299$34C118B4-B3EF-4C14-8EC4-310B49E8434F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54e583d9dc19b7fcafa7a6a4dd36cb4ca4b37e9","datavalue":{"value":{"entity-type":"item","numeric-id":832295,"id":"Q832295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0702494a6ed2251f5cf175dd1fa610c36990866c","datavalue":{"value":{"amount":"+0.9007268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543299$525F2B37-A06C-45E4-82CD-3BCFEBA4B9ED","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":"135ff463cd9b13eae1b29642fe01906ef48862f4","datavalue":{"value":{"amount":"+0.8994537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543299$5296268C-70E9-43A1-B006-4CF8A2AB747D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bdbcdfe633ebb23b95081a32038cdf315befa6","datavalue":{"value":{"entity-type":"item","numeric-id":5066756,"id":"Q5066756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a7c63c67c2c0ede2e3e454ef67947c026a6a87","datavalue":{"value":{"amount":"+0.8977999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543299$8C2CACAE-8516-4BD8-B80F-98E1EACAB6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cdb19450e290e9632985dc3e940d1b4eb0d2638","datavalue":{"value":{"entity-type":"item","numeric-id":6060096,"id":"Q6060096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3ccfb55a80059234b03b6f90ea644a62acb7c5","datavalue":{"value":{"amount":"+0.89726436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543299$F0B44476-4C70-4AA6-9955-9C19EA0A1D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e89f5e91ee838cd0de6f61223649f137eb4fae6","datavalue":{"value":{"entity-type":"item","numeric-id":5899070,"id":"Q5899070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68a75b1995eee413e1a53212116130c3dc6ba33","datavalue":{"value":{"amount":"+0.8960221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543299$93AFE8DD-DBD2-4400-B36F-98CE7D13A6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578f0f34d9d0e5af826e80ae641ebb43633c6762","datavalue":{"value":{"entity-type":"item","numeric-id":6109594,"id":"Q6109594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54d910331a7d301394a2d0325a55c759d67ce02","datavalue":{"value":{"amount":"+0.8896653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543299$1463BDEB-9B9B-48AC-81E9-7D94829FC4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6fb8ca039c1b362e5afeaddd4959b12e2dd4790","datavalue":{"value":{"entity-type":"item","numeric-id":3648693,"id":"Q3648693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d30fc31f8458f19d2cf0c04eebb6395bf66d51","datavalue":{"value":{"amount":"+0.88956237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543299$8CE41684-60D3-4FE0-B753-15F07EA4EDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4bb982b95039c485937c53b440168936467a99","datavalue":{"value":{"entity-type":"item","numeric-id":1649575,"id":"Q1649575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77372b2ebd3b6b1d33d692ad5c3fd9250f1e02c","datavalue":{"value":{"amount":"+0.88772887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3543299$659643F5-5D10-4E5D-B8AA-3E6B02079F70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543299"}}}}}