{"entities":{"Q5892433":{"pageid":7930295,"ns":120,"title":"Item:Q5892433","lastrevid":93305399,"modified":"2026-06-05T04:10:35Z","type":"item","id":"Q5892433","labels":{"en":{"language":"en","value":"Verification of linear duration properties over continuous-time markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718046"}},"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":"Q5892433$9F7D6A5E-594F-4965-B8D0-7CEDA7EC04B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad8bc5f966841c1836ad89a95153e068ebdb33b8","datavalue":{"value":{"text":"Verification of linear duration properties over continuous-time markov chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892433$10EF8B3C-909D-4FA1-8EA8-D12C399AD089","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4de637c1150e431df82ac11d781640e68e4e3c50","datavalue":{"value":"1361.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892433$748F5E50-7650-4546-B854-FA3369273C0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5a9bc28f68ef9dd9c0a15c40b78a4459ae859b7","datavalue":{"value":"10.1145/2185632.2185672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892433$673FB8FC-56F4-437B-BF8E-1570A334CA7D","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":"Q5892433$8196F7CB-613B-4EA0-8FF1-8DC685A4ADF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12dd9e49ab63b3d93a9c6689e1370093c5254f21","datavalue":{"value":{"entity-type":"item","numeric-id":2453218,"id":"Q2453218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892433$706854B0-963F-436E-9BB1-21FA396157EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892433$5024D725-FC58-460D-903B-D6DA45F474C6","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":"Q5892433$F527E2C7-1F6B-4776-A8B3-C36207077E4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac4eb98cd212461f5ff58ad0e77202dc879157f","datavalue":{"value":{"entity-type":"item","numeric-id":2986746,"id":"Q2986746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892433$C21A4387-3F7B-4832-8893-BF8210549C19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892433$52682B8E-714A-4525-A691-5960F810C437","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892433$D68EB148-3773-4F04-90CA-6BDD57AAA078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5324c54a5b1cbe1a80cf6fd5ed624d38a1676138","datavalue":{"value":"60J27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892433$979FEE3F-1A11-4BF1-BA60-1F77FFE22859","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48db9bc4ec8b281f90b5ef7e617d48a75bbf4451","datavalue":{"value":"6718046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892433$9C4784BC-547E-4F70-8423-4C0F470DD161","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67b1e0024e7e32a8458eb21e73fec9565aa0dc32","datavalue":{"value":"continuous-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892433$156C1E1C-AF3C-42ED-BA9E-33D2F857A4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d02b5bd9ce6b3c78328801c4e2e834d733bd1b5","datavalue":{"value":"linear duration logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892433$1F95D389-EDBF-45EF-B48B-A546D2EE77F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892433$09F68361-78DC-4BDD-A8B4-EE3E91F856E2","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":"Q5892433$8AC50639-1873-4E50-AF02-63F74C84927F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"922dd88bde471d81f1db31e201c94a3b003c097f","datavalue":{"value":"https://doi.org/10.1145/2185632.2185672","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892433$62C19363-65A0-47A7-957A-7EFC78D70ACD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b783c64eabc5ee7271de752970ff49f1b223accc","datavalue":{"value":"W2120944178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892433$CEE719B1-4A92-4274-B5D7-73E09BB240D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f3b8bc9ec45b153ad80c15e171efb70763ecd80","datavalue":{"value":{"entity-type":"item","numeric-id":5892173,"id":"Q5892173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892433$B17EA0B8-A67F-427E-9700-E1F7DC20894D","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":"09e26f58009fe0b9a1744a1f07c5cdbcdb9b6097","datavalue":{"value":{"amount":"+0.88082206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892433$7ECDE6C5-85CB-4BF6-B2DB-5FC015865F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5d70c3dd5b07d6768092398f8ee8543ed13aec","datavalue":{"value":{"entity-type":"item","numeric-id":3190120,"id":"Q3190120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161858fe7d2b919d36ae90721a084291a0fbca7d","datavalue":{"value":{"amount":"+0.8784992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892433$C890E432-0DFE-4E76-8288-C6A9DEEE036B","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":"98829d3a66e90046b361f258a1906c2e2bf3b452","datavalue":{"value":{"amount":"+0.86202896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892433$28DCB8DC-F678-434D-B15C-B30D9B5C0E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e16a81f15e3ef6f68546c5317f2484bfc1d4877","datavalue":{"value":{"entity-type":"item","numeric-id":5312899,"id":"Q5312899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31ad1209feedcdac4cb9e7e0195706ebfa624488","datavalue":{"value":{"amount":"+0.8597864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892433$0471439B-C64D-4488-AB48-7115A4006EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1ae260b648180bf5c763e28a485f6c677c51f7","datavalue":{"value":{"entity-type":"item","numeric-id":4107720,"id":"Q4107720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6a2db1ce825e97fdf1c95992995b5a6d4c2bab","datavalue":{"value":{"amount":"+0.859129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892433$60A01561-AEF6-428B-BC39-A2938CAD0762","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":"c79bf6408a2a26ba487f2c2b732938c49c77d67d","datavalue":{"value":{"amount":"+0.8587472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892433$6D45D7BE-F0B1-4143-B412-8A2B34136F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5e0be2fb5c39a764010e19b3411eedcb49c23a","datavalue":{"value":{"entity-type":"item","numeric-id":2957522,"id":"Q2957522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc47f8d13aa0f537b1e29d2f23741d864f9697d3","datavalue":{"value":{"amount":"+0.8580415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892433$2B94529D-DB98-4794-BAE9-58700D4F4BC0","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":"9308414d76d33a8cc6b3a394dbad49448ed95a5e","datavalue":{"value":{"amount":"+0.8528919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5892433$37DC7E9F-AC1B-4329-98E3-18D47A50EC89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of linear duration properties over continuous-time markov chains","badges":[]}}}}}