{"entities":{"Q5047045":{"pageid":7076622,"ns":120,"title":"Item:Q5047045","lastrevid":54438653,"modified":"2026-01-26T19:56:23Z","type":"item","id":"Q5047045","labels":{"en":{"language":"en","value":"\\textsf{FlyFast}: a scalable approach to probabilistic model-checking based on mean-field approximation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614268"}},"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":"Q5047045$2D5FCA30-6A78-46C2-82C9-0D35653495F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d7013a67574b640eb5fe0ce4b688393430d1e2b","datavalue":{"value":{"text":"FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5047045$5B37AD23-CD9A-4388-BE5F-1C7AB827B352","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce56473a925353dff9441cdb6c16c53df7eb1b93","datavalue":{"value":"1498.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047045$8853F3FD-E691-4A7D-9284-C624977FEAE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e727fd96d0ac7224aed512e975fecb4b8dfec4a","datavalue":{"value":"10.1007/978-3-319-68270-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047045$223A0E83-D9A7-4184-9993-9B9D8E537D19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047045$F326A88E-90C2-459F-9E2C-1163F2D212E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047045$80E40F33-0142-4667-9CEB-0D04977B5597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047045$045C5816-1485-48D1-84AC-F95DE78C04FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69abca91fa9697d288623cbbe896c32871b6e667","datavalue":{"value":{"entity-type":"item","numeric-id":5047036,"id":"Q5047036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5047045$5CE44773-C9BC-4F84-BFC6-04F1707E154D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5047045$346FEE8B-A052-4870-955A-0A1B5BB17C81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047045$F81B5683-2BE0-4BB1-B6DC-3D070CABEC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047045$25B8CB2C-5735-40F5-BC21-50B999ECF8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047045$B2E53B0E-20B2-4BC0-9CD5-DD0F0412B020","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0356b377cb489ccaa4917523c5ef7f01c52ddd2","datavalue":{"value":"7614268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047045$AD2CE9CF-897A-43DA-9C0D-E1D8806F1DF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03e9418aa7b53f52c166254f591cbfce3d702e0e","datavalue":{"value":"probabilistic on-the-fly model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047045$F9730EDB-5D7D-473F-85D6-8E4823FFB266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b19fd098f6ed7fbe3a80c198a85c37de73704287","datavalue":{"value":"mean-field approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047045$2567F20D-EF6D-4A50-9009-9708128236EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1e7d6f7fd62e880de4d979985683a98d91c8bf","datavalue":{"value":"discrete-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047045$221D797B-4381-4DAA-ADCA-76F95AA6AA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f3d4e052c311874ca3263884c70f7e0babd4094","datavalue":{"value":"time-bounded probabilistic computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047045$C145839E-FFC4-48A3-9176-6E65A38514E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c9cd29823583c11867ebfd6171439d969c53b2","datavalue":{"value":"collective adaptive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5047045$84C040F9-8FFC-4DC6-A2D7-6910AE868A7B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0c67adbf22aea1f7e436b46041f2b3c80b30a9df","datavalue":{"value":"Q124438966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047045$DF167C86-9E76-4C8E-A059-319C705C671D","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":"Q5047045$438AC004-61B3-4885-A585-D68B78083476","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"495604d88f81470f859057a5ce9291c10177f8f4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-68270-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5047045$2C0D3839-E06F-4931-B28A-FC7B6DC46A46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02fcd392d73b8c69c46472c8572a31f5a0341c54","datavalue":{"value":"W2759442141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5047045$33A9D030-2928-445D-88B7-A563FCB94755","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c61d8166bce02b44852c13511e936db0f3a16d","datavalue":{"value":{"entity-type":"item","numeric-id":2830041,"id":"Q2830041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27cb75bf6ea1d15b071edda8f9718e7ae4417c06","datavalue":{"value":{"amount":"+0.9044433236122132","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":"Q5047045$D33751D8-9026-41D6-B5D6-1FEB17235C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccdea1419eefd66c370ca242f3417911eb59625e","datavalue":{"value":{"entity-type":"item","numeric-id":1784959,"id":"Q1784959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6445fd81f78f2d27ba1e08dc882d5d44b7aa61b3","datavalue":{"value":{"amount":"+0.786390483379364","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":"Q5047045$A3C9836E-4452-4E33-AAA6-FD64D51B6D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a79fda1b04fadbda3344d4cc0dfa1c60f532e9b","datavalue":{"value":{"entity-type":"item","numeric-id":2912688,"id":"Q2912688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb896a0bae166de076f64edf54aa3764a2682bd3","datavalue":{"value":{"amount":"+0.7799999117851257","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":"Q5047045$D6C0D663-4089-4B96-95F9-7ACB925F1859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd7bcf4160e4874a87eefd8c489da494216f6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2346412,"id":"Q2346412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02735d5d4ce4648d52fb3709ac40ef7c6d313775","datavalue":{"value":{"amount":"+0.7764964699745178","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":"Q5047045$11DEF579-48F9-4125-9DB3-B9C91468F2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5dd5f54675e8a1ae8f183feeea9baaf49f2c37","datavalue":{"value":{"entity-type":"item","numeric-id":5300886,"id":"Q5300886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d14ee1c9fb854794009fecd688453a4f896af28","datavalue":{"value":{"amount":"+0.7672538757324219","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":"Q5047045$13E00F0F-1963-423B-AC0E-56B6A39A358E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5047045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5047045"}}}}}