{"entities":{"Q4637909":{"pageid":6667490,"ns":120,"title":"Item:Q4637909","lastrevid":90593735,"modified":"2026-06-04T20:47:17Z","type":"item","id":"Q4637909","labels":{"en":{"language":"en","value":"Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6866121"}},"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":"Q4637909$9A73668A-8F4E-4A28-89A5-789D91ED1D12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8267ccde62f1caf02f5fbf4f559da32bc05490f","datavalue":{"value":{"text":"Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4637909$0FCF47B4-F7B3-4D90-A139-43437D9BCCC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c4699e26bdd9d49d5878060e2a189c6af057574","datavalue":{"value":"1386.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637909$E5DD85F4-AFAE-4A38-871F-872C110CBA16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8e4d66f57b590d92d10ef1e5503cf8c7ad1d2a0","datavalue":{"value":"10.3233/FI-2018-1637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637909$4C6C4374-96BD-4F83-868B-8E757C1DD020","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d5700353670776a34d56f917a168c0e7911f39","datavalue":{"value":{"entity-type":"item","numeric-id":4637908,"id":"Q4637908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637909$E497A49C-0B6F-42B3-9E5A-8AD391001FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70320fcc24032cc2326ada00967df5fb708d7b3d","datavalue":{"value":{"entity-type":"item","numeric-id":310080,"id":"Q310080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637909$2424E13C-6E48-4763-900E-D7DEDD6CEFA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637909$9D385F20-0F54-4D44-A8EF-D8F80A268254","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551df2524c439adc42740e41cce382bed9f8f3d1","datavalue":{"value":{"time":"+2018-05-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":"Q4637909$27607644-65C2-4922-AA21-8AEC7407C116","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637909$01932F8E-1D96-4A6C-948B-32F12F18E045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b71e7cb7453ff582776bb75bb523d9d0bc68896f","datavalue":{"value":"6866121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637909$C7A111EF-5076-48ED-99D7-33E350E539B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637909$FB9A1ADC-46E5-4AAE-B3A0-528D7BAA7C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637909$F489BA10-AA8D-4F0E-BE32-FF01D79B6D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637909$B3C85F0E-4A99-4A4C-94B1-BEB4380795FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b80fdb21f871b86e4c5e937a248ad17e0d9d91","datavalue":{"value":"optimal policy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637909$8AAACE25-A57E-49F2-9AC4-BF30D4BFA222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90abb85c957bcff1b42f722b878ef5e6faff0eb0","datavalue":{"value":"extrapolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637909$CAD56B6C-78AC-49A1-B37F-8511DC11AD14","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":"Q4637909$926CFDA4-7041-444D-9970-3ECCCEFDE721","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158134dbd9ac1c6bb87df4b941037b7f5e95705d","datavalue":{"value":{"entity-type":"item","numeric-id":6487329,"id":"Q6487329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ebb5fc4dacd326a8e439e7c35053a49c8a0ecd","datavalue":{"value":{"amount":"+0.8849563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637909$9B75721E-21AB-47D0-B74D-4B80F194A31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e698fcdda9eed3ea9f2d3d9bae93b1ae6a8d34ee","datavalue":{"value":{"entity-type":"item","numeric-id":1849140,"id":"Q1849140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68816832d1befe913eb051c5971766d8fbbe564c","datavalue":{"value":{"amount":"+0.86595184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637909$BD04BDBF-025B-466C-A03A-05A6390A90FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8020e498fb41a24164cc6dbf6fc3ad7f6a94a0","datavalue":{"value":{"entity-type":"item","numeric-id":2401881,"id":"Q2401881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99aa24310e3436917df84f966a969ae1c5dfe43a","datavalue":{"value":{"amount":"+0.86177385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637909$798D97CA-2AE3-4C2C-997D-BFF1CA3C466A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647f1f2d91450003d62a8788ba5944abf220e003","datavalue":{"value":{"entity-type":"item","numeric-id":2097639,"id":"Q2097639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdcfd00296f2642ce1274980a79cfcdb847b262","datavalue":{"value":{"amount":"+0.8594775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637909$E97214CA-4EB9-4CF9-B6DF-A7D14275BA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b519332e8a5043e3502478288561f04e1f521185","datavalue":{"value":{"entity-type":"item","numeric-id":2808287,"id":"Q2808287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b729a1322aa6cc6ad3127449d2bcb8c158f001fb","datavalue":{"value":{"amount":"+0.8565646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637909$3AC05082-B8B5-4939-A45E-8B688323B318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba384fd3f96e06c9824e71a026517f4640b2454","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9018539d5dcdc3669dc0229a18245d2f3ae7584","datavalue":{"value":{"amount":"+0.8564685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637909$F529D2DF-36F8-4592-ABE2-C84CEA9D7B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bed418d4914408653011beb0354bdb69e2fd0f3","datavalue":{"value":{"amount":"+0.8560388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4637909$4072EA3C-4833-4FA6-BB6F-D375BA197DAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extrapolation_of_an_Optimal_Policy_using_Statistical_Probabilistic_Model_Checking"}}}}}