{"entities":{"Q2431769":{"pageid":2442512,"ns":120,"title":"Item:Q2431769","lastrevid":74107731,"modified":"2026-04-14T18:23:38Z","type":"item","id":"Q2431769","labels":{"en":{"language":"en","value":"Distributed disk-based algorithms for model checking very large Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066426"}},"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":"Q2431769$CFCC5583-15B4-4D72-92A6-10E46D7E3190","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2daa5ad647524258ee2d665c086ca1a39c57e4b9","datavalue":{"value":{"text":"Distributed disk-based algorithms for model checking very large Markov chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2431769$88C4735A-D9F5-43BD-9C03-78A2073EC076","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1a6d726ae38ac806cba0a9f43589db66f015a6a","datavalue":{"value":"1110.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431769$D622A822-D23A-4439-80D6-7D651DC314C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bf83c1c4781aa71596060e3417fcca25e06b968","datavalue":{"value":{"entity-type":"item","numeric-id":2431768,"id":"Q2431768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$3CA53F5B-00D2-4269-8102-F395182BA670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb2e128d1893afac7ce739c02a6083e5282dc6b0","datavalue":{"value":{"entity-type":"item","numeric-id":686333,"id":"Q686333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$7F860C78-8486-4940-BFB4-7A37208D55AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$189C0A65-2C73-424A-98A1-6BD519F123D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af241f723e3ca74304d263c8a2b02a411a00985e","datavalue":{"value":{"time":"+2006-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2431769$59C05D60-F5BE-4792-A9A4-9D00A2AD3F0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"145c36bfb6448a776d2015efb2cc619199e0cdac","datavalue":{"value":"https://research.utwente.nl/en/publications/distributed-diskbased-solution-of-very-large-markov-chains(2e956f97-5212-4459-9104-78a0cee3d827).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2431769$7DB46006-4F06-490E-A4FB-605A519DC78F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431769$D72ECD90-2BA8-4C9F-B5CA-F0F4F7B91BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431769$311CF5BD-5BFB-495F-9CB8-2AAC32FDD579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431769$5ED5939B-2B4D-4DBF-94C2-7F2FD721D239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431769$01803F6E-1F6A-4840-857E-35C2F6DA1648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cdf15533e26fc0c4c2e22d28e655c364dfe77a6","datavalue":{"value":"60J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431769$3A97A024-C71F-4278-A14A-E9F9EBB447C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f0c4794513111a3ef4cdcde5b9b58303b4eca8c","datavalue":{"value":"5066426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431769$FA03E1A8-BE5F-4184-9BAF-E8BBD060FBA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431769$BB5DD811-691D-4F24-A238-07F9AC222F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"248ca6c91a25b09262c93903b84f1e5df7075e20","datavalue":{"value":"Matrix-vector product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431769$0520F76A-1BF6-456E-9EDE-FEC7B25536B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50afcc55d3de710ec70a06ea6380a56d4e98efa9","datavalue":{"value":"Disk-based algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431769$BA15EA9F-57BB-4EFB-9EED-AF40320ADF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd4d03a042fb46be20114e875599e5fe93a798ae","datavalue":{"value":"State-space generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431769$04E13B4B-5352-47F9-893F-4F6B47F6E560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deeb67da7a859842f5e74ffc504875199516b00a","datavalue":{"value":"CSL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431769$9AEE2AFA-0873-43A1-AC03-81D30FE75598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2684cf906c38d2f3dabb6bd977dd834cc81187a7","datavalue":{"value":"Distributed algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2431769$0868BEA0-E7BD-4F75-9A82-54121FDC3A82","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"799090580f36f14cb3f589f1081f986ae14b2901","datavalue":{"value":{"entity-type":"item","numeric-id":18260,"id":"Q18260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$EACAEAE5-5F6D-4DA6-AEAE-4F05F8C042C9","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":"Q2431769$AE69F427-FDD1-4FFF-942A-1179DA6D234D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c830854a7d02e5945285928f0d4e8c94379b8e6","datavalue":{"value":"W2131837991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431769$A8E539CD-6DDD-43C5-BB29-50D151D87A0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"840d5c28da0e38c899ea1bbb79ad1bea8bed6f34","datavalue":{"value":{"entity-type":"item","numeric-id":4835250,"id":"Q4835250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$CE63D641-72E5-4B69-88B3-5AD7FC6E28B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d81fa34b75538c6fc7490766c0d7105fcbddbad","datavalue":{"value":{"entity-type":"item","numeric-id":2754096,"id":"Q2754096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$B8E9F18E-BF78-417E-A406-3C16C8235098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385005c2f8704988fb9b3be66b53de0ef2f22965","datavalue":{"value":{"entity-type":"item","numeric-id":4272467,"id":"Q4272467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$9D1B1F79-48ED-4869-9DC6-300462BF756E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$FEACB076-79D5-457E-868F-BFDDD90B02E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b32a632ba6e790dcebfa25a2fc0165612832b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4855364,"id":"Q4855364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$8EAE762D-950D-49B0-844C-24C1D4AA08F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf88b863390c55f20b48d9d9cf11f1e3b8797c5","datavalue":{"value":{"entity-type":"item","numeric-id":671443,"id":"Q671443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$5014ED5D-1CDA-4293-82D3-DFEAD019593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e30e49b25e27ce41c05a912022c267c76a5abe","datavalue":{"value":{"entity-type":"item","numeric-id":1400289,"id":"Q1400289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$152E7A39-8A8B-44F5-8DA3-36EBA9709836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f3e250e6f245d796b346cdec372a7ca532af77","datavalue":{"value":{"entity-type":"item","numeric-id":4779370,"id":"Q4779370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$7972678D-D01D-4D19-851F-4C5EA863E037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca210e3b1ec3265eb927d8584bd1d5606e0ea63","datavalue":{"value":{"entity-type":"item","numeric-id":4813202,"id":"Q4813202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$504EFB73-55D0-4CBA-A8EC-F534FA006A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c5eb04c66c76b8ce7efaa3799bd813c9dca674","datavalue":{"value":{"entity-type":"item","numeric-id":2842856,"id":"Q2842856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2431769$6C6CF3A7-1DE6-4910-814F-277E64093A5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c29239bb0e5c8941a7fdf269adf315ac486e9b9","datavalue":{"value":"10.1007/S10703-006-0007-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2431769$68C19843-410C-4D9F-A979-5553DBD287E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b08cbe2ce280e7e3b4563c5dcf1960b830f116","datavalue":{"value":{"entity-type":"item","numeric-id":1400291,"id":"Q1400291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95800ab37c10461d85ef2a3577aa59f3fc010526","datavalue":{"value":{"amount":"+0.88933563","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":"Q2431769$B0A304AD-AB7C-4F4B-8C30-6289F3568084","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":"2b80a40346033141a2929d854f8c53eded7aea6c","datavalue":{"value":{"amount":"+0.87134695","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":"Q2431769$6FCDDBC4-3B0F-4557-91AC-80847CD7B282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8b75fd2eb63dd1577859d25c3bc638eb2f871","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129b06920f9689f58118b2874182d8be4b69d874","datavalue":{"value":{"amount":"+0.8709594","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":"Q2431769$94713550-2A75-4DCE-B4A4-61CD9ED84767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3264c2e57ed48e575894423a57de7c99b0fc5915","datavalue":{"value":{"entity-type":"item","numeric-id":1943636,"id":"Q1943636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b31aeab64724ce983b3a18197bb70c9f16cdb4c","datavalue":{"value":{"amount":"+0.8709588","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":"Q2431769$08A5142B-99B7-4407-B4FA-FCD86BBD0F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5593cb9a8d64b95823f0c5eb329a889086219328","datavalue":{"value":{"entity-type":"item","numeric-id":5415660,"id":"Q5415660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2240d2b04d4620676e7e253eecb08b8a3a415c89","datavalue":{"value":{"amount":"+0.87075543","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":"Q2431769$017A2943-A74E-49C9-AE07-300A14F7AAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30b4ce03e74c87a69931cc4c8348e8d47cad67c","datavalue":{"value":{"entity-type":"item","numeric-id":4436055,"id":"Q4436055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603e42909def9cb4d7afa06bf7a7a0dfe8e7a049","datavalue":{"value":{"amount":"+0.8690275","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":"Q2431769$41A18E0C-DBBD-439C-BAEE-DC309E3382DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed disk-based algorithms for model checking very large Markov chains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributed_disk-based_algorithms_for_model_checking_very_large_Markov_chains"}}}}}