{"entities":{"Q40290":{"pageid":40346,"ns":120,"title":"Item:Q40290","lastrevid":105428177,"modified":"2026-10-09T10:09:14Z","type":"item","id":"Q40290","labels":{"en":{"language":"en","value":"Markov Models"}},"descriptions":{"en":{"language":"en","value":"AFP entry Markov_Models"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"3c60e33f11bdef6535f0919cb62d987d648475c4","datavalue":{"value":"28576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40290$D9418B40-F208-40DA-ABAA-CFD9BA9E9194","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$3592B343-DD81-44FB-9924-0B315CA2D4AF","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"2a4365f4b59835268c41aa7cd3033d20c341517a","datavalue":{"value":"https://www.isa-afp.org/entries/Markov_Models.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40290$CD93DBCF-58AE-48DE-8023-873D0E7EEEE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40290$3E29AF35-AFEB-4BE1-AE3D-41C80228C572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40290$B22B2E51-85F0-4CE1-8878-1E2B673DCB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40290$0AF874F6-DB15-4733-A1DD-EBC4123F4BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"541da1e359051dfcf3c498b9f1f1f8f905fbafe3","datavalue":{"value":"90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40290$24583C8A-4FDD-4855-AC32-DF1BFF13B332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40290$1CA72E8F-4C05-4675-BD67-0206C67B7E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb68336c6ece13b86917b0c80051f1685885b843","datavalue":{"value":"60.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40290$775CE143-D49E-4F6E-8861-F343CDDE67BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40290$24482A64-7901-45AA-A636-A87EFBD99412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a8aa801742e290b2e6820d89349e86d8f23555f","datavalue":{"value":"90.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40290$090B37AA-E980-44FB-8C7D-1006127F78FD","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$C17EA736-2DE6-49BE-A6DA-06D8C73ED2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea8cbb6cabd8331d614ec3d875c6ca9ff867a802","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$4603F5B8-922C-43FD-99DF-E7E42FCCF832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3d0f95988886eaca495735a183ff5e2ca272aae0","datavalue":{"value":{"entity-type":"item","numeric-id":24997,"id":"Q24997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$8819B61B-C5E2-486E-9120-A452B037828C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$0F826730-C764-4C74-8D34-B91800791F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8bf2731143fd82a1f95f40f13b2fce56fbb7345a","datavalue":{"value":{"entity-type":"item","numeric-id":40299,"id":"Q40299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$A998490C-3D80-42D3-A476-F912BFC9B222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6953b82ed35a5241d6fb5d47b5912e5553edbeaf","datavalue":{"value":{"entity-type":"item","numeric-id":40298,"id":"Q40298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$D4634ABD-C123-4CF2-A2E4-FC4AA43F6BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a1013b59e45c9022955c0bcf69c0b6dd3569647","datavalue":{"value":{"entity-type":"item","numeric-id":40300,"id":"Q40300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$6585DE84-0036-495B-B749-A437152BF5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"86103b3556b4d28c3d563e083deb1d8901ceb985","datavalue":{"value":{"entity-type":"item","numeric-id":40252,"id":"Q40252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$81A9B241-0138-4E80-8698-033D17130BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2f0eb5498f624eca19e760cd08d6ae2738f933e4","datavalue":{"value":{"entity-type":"item","numeric-id":40251,"id":"Q40251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$53C20A29-3136-4157-BC9B-5F3696118F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"937a19baf3283c91e89f0a08dd8e59bb640da883","datavalue":{"value":{"entity-type":"item","numeric-id":40624,"id":"Q40624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$1F4BE91A-545A-4C0D-B839-5654BDC65BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$94F5D20A-4701-46EB-9510-2B62E945DAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$4080F872-E4BB-4A71-A334-8D2CE99D9A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cebaec1d4c924093d2802f1f6f7d4f984bb7f11","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$A29616A3-1C33-473F-A381-99AF800D5660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$A5955A75-B916-4EB5-80EE-8FC8AEF42259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$C5414959-C5A9-4447-B94D-9E97864D0A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f70e8f897325b539c702d8d7cb97dfafe554224c","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$8570CE06-E7EB-4057-AB06-5646C31C7E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$47BA1FEA-98A5-40BA-B006-B03488C6D41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a073d1e3162db58b1a890386d8dbe9eebb4637c","datavalue":{"value":{"entity-type":"item","numeric-id":40373,"id":"Q40373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$D83B38CF-7577-4E33-858A-C84225B96B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"da71442535724374fba994798fe2e776a105b283","datavalue":{"value":{"entity-type":"item","numeric-id":40255,"id":"Q40255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$0081E3BA-1015-4E1E-8D6B-53806BB871EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$03E38E6D-E575-46C7-BE33-7A89748EA328","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d718cfd3301586cb6c334523250013ba8df3a0bd","datavalue":{"value":"https://isa-afp.org/entries/Markov_Models.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40290$8B40E06E-8A33-4D96-8C57-5DD08ED698B9","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"01b202f25e5390ba0104cc409e25272c5fbddba4","datavalue":{"value":"Johannes H\u00f6lzl","type":"string"},"datatype":"string"},"type":"statement","id":"Q40290$0ED4B9BE-DDEE-4040-A050-BD2083106716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"78083bbf5b06a4f292e9e00ee445948e4fa51db5","datavalue":{"value":"Tobias Nipkow","type":"string"},"datatype":"string"},"type":"statement","id":"Q40290$6143B3D5-A8B3-4B8C-9EDE-25742404380F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4adac158bd253d5f139d38e12a11ece8d094deff","datavalue":{"value":"This is a formalization of Markov models in Isabelle/HOL. It builds on Isabelle's probability theory. The available models are currently Discrete-Time Markov Chains and a extensions of them with rewards. As application of these models we formalize probabilistic model checking of pCTL formulas, analysis of IPv4 address allocation in ZeroConf and an analysis of the anonymity of the Crowds protocol. See here for the corresponding paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40290$5C9C9330-D32F-439E-AAE3-7FD00C4D64C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29ad255f0f1fc43ea69d59d95eb9a24cc08b4d4","datavalue":{"value":{"entity-type":"item","numeric-id":2894281,"id":"Q2894281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$B9A93CDE-4FF9-40F0-83F6-13BAC9F20F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3710c9b6ddf8dbb24e135f3387ab935865a76ef6","datavalue":{"value":{"entity-type":"item","numeric-id":2829281,"id":"Q2829281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$D4636E2F-3975-40F1-9887-FE86F3E5BE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ce2556dd2c787e12076af0e059323648aa5a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1701041,"id":"Q1701041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$E4E6E66E-B979-4EAD-8455-E2AC14EECD2E","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c9d73c02403c0af647a73b8da7299dbef78ebf0b","datavalue":{"value":{"entity-type":"item","numeric-id":7361764,"id":"Q7361764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$81467ED7-6D9C-4095-B86B-652B75E69B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c284fafd8ee27c174064ad310b42f9dc3309e26e","datavalue":{"value":{"entity-type":"item","numeric-id":7361848,"id":"Q7361848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$9F03FD32-7039-4B76-BBC8-285E70AD623E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"871362ac18f9a189e8200fce4532cbdae8066779","datavalue":{"value":{"time":"+2012-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40290$A47A1A53-996A-48D4-9AC8-C0CB96D65139","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"188414ba2c048d1aaccd1524ef4f06896517d4af","datavalue":{"value":{"text":"Markov Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40290$AF1DD3BF-FB2F-475F-B722-9E69802CF30D","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$51569B63-CA6C-41D6-8729-F260755631E7","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"8efbe8612495bcc999dc22ed8b71d2801a69cc6a","datavalue":{"value":{"entity-type":"item","numeric-id":7360834,"id":"Q7360834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40290$99BF81A5-5BCA-47F9-8B37-00CFC53CFE23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Markov Models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Markov_Models"}}}}}