{"entities":{"Q2986966":{"pageid":2997690,"ns":120,"title":"Item:Q2986966","lastrevid":85304858,"modified":"2026-06-03T06:49:05Z","type":"item","id":"Q2986966","labels":{"en":{"language":"en","value":"On approximation metrics for linear temporal model-checking of stochastic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718281"}},"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":"Q2986966$A27F86FF-4C19-4DC2-B26F-DD49CA008B2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92c70fb220b5675753229af86f9098c4a49fe03b","datavalue":{"value":{"text":"On approximation metrics for linear temporal model-checking of stochastic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986966$B01B8BBD-A33F-4D16-BF0C-9C6284068E3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"651ab266511135fa84eb1059e47170d26a983697","datavalue":{"value":"1362.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986966$D11B35A4-FE2C-4CE8-81C4-9BA4A0D9BB95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"491ee0a1a12ba8bab50d4ca124d5ff2b35f0c07a","datavalue":{"value":"10.1145/2562059.2562118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986966$A83092EA-61DA-4D7B-8C53-65D7BEA7B493","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18ba433aa02039d6f23954f2f089d844ec1ac0a4","datavalue":{"value":{"entity-type":"item","numeric-id":386603,"id":"Q386603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$625C4DD0-3029-4907-844E-CC87F6B1C7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$B1F363F8-65F6-490B-99AE-E97F7E3B6C27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a66987d483cf498cbb54fa8b0939eb16d8834895","datavalue":{"value":{"entity-type":"item","numeric-id":2986942,"id":"Q2986942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$87BC2E29-616F-4ABC-AEC4-576D7D5B58D7","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":"Q2986966$F2759781-F8A0-4A70-BB05-CD9C13078234","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986966$C1647FD2-441B-4553-88DF-DC1505CFDF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"314e54fbb18d33f780194e79b8f7d977d400cb90","datavalue":{"value":"60J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986966$4A9FB87D-E472-459A-B25A-D98609E25819","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbabadd4e75f02bd3ab01ae9359f175a8dfe8659","datavalue":{"value":"6718281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986966$3041531D-F8D4-42EA-8EBE-F1ED5B4F466E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2080f9471c539ae7bc58b4d8c09422581c9e0f89","datavalue":{"value":"approximate bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986966$D8CA23CE-DCDC-452A-983C-B71D15C2251C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5cc8d05852a11a4939ceb17acfb4fef8f8b6dfb","datavalue":{"value":"finite abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986966$7087AE7D-EDDB-42D3-BCD0-DC5924BE5848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255abf574cd911ce0441a5a04032698806b52fe","datavalue":{"value":"stochastic hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986966$C10D5A38-B630-439E-AB0E-310C6726DAA4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce3ea894551f7d46aed8be9d5b93bf780882eb1a","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$E8522386-81CB-49CA-8919-8BF6EFECE7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$9E69F685-9E1D-4A53-8AAE-D2A62BC6B1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$2ABF300A-35EC-4456-A452-094C091BBE84","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":"Q2986966$4A26FD0D-DB49-4E32-B259-17EF001A4642","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6bef20869335eee8312f3547173006090833548","datavalue":{"value":"https://doi.org/10.1145/2562059.2562118","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986966$2DB909BC-5AAB-45E2-BA32-2E5A9836E3AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0efc5d9e7603808628324b0349a81162e371f52","datavalue":{"value":"W2014228259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986966$395BA89A-9187-42E4-82B1-A0704E52CEF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb149bf6a73725ed17a5badf81338005e187aa15","datavalue":{"value":{"entity-type":"item","numeric-id":5898329,"id":"Q5898329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$3937D5BF-236D-4D28-9C3B-910EDBFE8DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a6d9d4c005892aa7b849b3d059eda0ed03aaab","datavalue":{"value":{"entity-type":"item","numeric-id":1298283,"id":"Q1298283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$3E835830-3239-40D4-9E34-FB0E5ADB9C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad50836f62c74ebfef5aac7467da42e2b2b5283","datavalue":{"value":{"entity-type":"item","numeric-id":5267136,"id":"Q5267136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$8AB4AFE0-A8B3-41E7-903F-A06D7039B484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eba0eb74965bba287b4a3647588ff9b1b59f02","datavalue":{"value":{"entity-type":"item","numeric-id":3987118,"id":"Q3987118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$922BAC8D-4608-4759-94CA-B6A3E26AAF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753bf8ca5f255dfc9ef274c7c13564bd8b6dea87","datavalue":{"value":{"entity-type":"item","numeric-id":4393080,"id":"Q4393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$B7A1284B-462A-4A52-9944-F035F47DAD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84654fe3761ac46000e58db2921e5e9255c79eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4974774,"id":"Q4974774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$609E722B-7ADA-4FCD-86B5-C13178CB3F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647d4a06338875ce2a23e3113be67b69b3915696","datavalue":{"value":{"entity-type":"item","numeric-id":2985874,"id":"Q2985874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$1E309C79-E28A-476C-BEF9-19D35820DF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b420ec1bc0791541a1b349455776f7181d468697","datavalue":{"value":{"entity-type":"item","numeric-id":1977035,"id":"Q1977035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$FF0DFE53-C4C6-4AB2-BCC2-D058E25132D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c4803d00b49ce453c60909b7af6e4e230ddd52","datavalue":{"value":{"entity-type":"item","numeric-id":361070,"id":"Q361070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$7F599646-79F3-4A6B-ACDC-BA1B95DCD6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986966$E122243E-8975-4A15-94B7-BEB7653BA655","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2dd124f2bac4be5f14138b3cf3d60a726ef0abc","datavalue":{"value":{"entity-type":"item","numeric-id":271706,"id":"Q271706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b8c78178502ec6a06c87fd0cdc79ea15fb8759","datavalue":{"value":{"amount":"+0.7591896653175354","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":"Q2986966$2CF63B46-78F2-4CBB-8984-55EB2B81A507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59aaa10400c8c490c65c0916ae6cb39e8fa4669","datavalue":{"value":{"entity-type":"item","numeric-id":4559599,"id":"Q4559599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b318b81a360dd837fc17f6ad44c13dbdb826284c","datavalue":{"value":{"amount":"+0.758945643901825","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":"Q2986966$CD76FF25-7369-4AFC-BF53-47012BA32C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23847a2e2316078da2302ff84b4d8ef0c7ff88ef","datavalue":{"value":{"entity-type":"item","numeric-id":2993083,"id":"Q2993083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89c38f1ed499b53a23ef9a7d7ce07957c446178","datavalue":{"value":{"amount":"+0.7370506525039673","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":"Q2986966$76DFB146-6767-47E5-850C-908EA8359CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b115667c16c427ecc0887c759a2656b6c2bc3c45","datavalue":{"value":{"entity-type":"item","numeric-id":2787435,"id":"Q2787435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ab2dcecebe8c1453c9b0172c5762bc1ef8c422","datavalue":{"value":{"amount":"+0.735433042049408","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":"Q2986966$10A86A5F-369D-46E9-B0F9-686E37F1090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b113dc4ddf850472c0f50ee0bfcbf3b86c2f2bc","datavalue":{"value":{"entity-type":"item","numeric-id":3225169,"id":"Q3225169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ab7db6008281ea6f99871cddeb65da048165bec","datavalue":{"value":{"amount":"+0.7345213890075684","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":"Q2986966$C4DAEF89-5ACC-428F-8D2C-6CAB6975FED9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On approximation metrics for linear temporal model-checking of stochastic systems","badges":[]}}}}}