{"entities":{"Q6987456":{"pageid":21427746,"ns":120,"title":"Item:Q6987456","lastrevid":84014078,"modified":"2026-05-07T22:52:09Z","type":"item","id":"Q6987456","labels":{"en":{"language":"en","value":"Learning algorithms for verification of Markov decision processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8036757"}},"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":"Q6987456$4E351203-0236-423B-A82D-75972E71B980","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb39ad2ea46be830678c778386d969f97dbfeee3","datavalue":{"value":{"text":"Learning algorithms for verification of Markov decision processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6987456$72D32FB6-EA25-4C79-AC05-F5F8433BC6BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76eac1a39a920450876bec8a13347ac27a104b61","datavalue":{"value":"1565.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987456$7E9B89E1-2973-494B-ACFC-E654550D108F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"608c87139bf5f81f2e296be65b7c5d9c10799577","datavalue":{"value":"10.46298/THEORETICS.25.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987456$E0610B44-F2C3-462C-818B-387CCCEFF973","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90164f212d81b9976368c619f577477b4b6d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":340567,"id":"Q340567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$FED5F9F8-AEB2-4F01-9653-6D6A7EDDB573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cff81c72b46c2d37ebe9a5f2cbcfbb6825cbcc7","datavalue":{"value":{"entity-type":"item","numeric-id":253965,"id":"Q253965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$A8850BD8-3733-4DFC-86A4-F6AE43CDB28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908fdd28c6b1a4c84972d566ee41c4fdd68fc38","datavalue":{"value":{"entity-type":"item","numeric-id":253966,"id":"Q253966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$6B14A204-C277-4AA8-ADDF-B7A07320C094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d285282e4a9951aa1b8c348642148d118ee6e0","datavalue":{"value":{"entity-type":"item","numeric-id":278753,"id":"Q278753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$226F3B9C-C015-4264-9B62-4B5D0783CBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$A4DFA638-3B9A-4616-B980-4040D95BAF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$9F084955-54F0-4DDC-8626-FCE588A46C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5292d458af310b000030cf51a9a263a1b17344bd","datavalue":{"value":{"entity-type":"item","numeric-id":2151246,"id":"Q2151246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$0A6849E7-AA23-44CB-AE02-4CA7F443D0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec9e383b2ff38aa95972177811b3e0eabfbae68","datavalue":{"value":{"entity-type":"item","numeric-id":6535605,"id":"Q6535605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$3B1D566C-92D1-4BAA-AC81-D0941246181F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3ca698536bc3a442475994c5e08f5ce20ea940e","datavalue":{"value":{"entity-type":"item","numeric-id":6987455,"id":"Q6987455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$2030BEF6-4FA6-4C52-B7F6-47F51768AA26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc0341a9a7b057bf6128840e0445bb46b5156da5","datavalue":{"value":{"entity-type":"item","numeric-id":6562698,"id":"Q6562698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$6860E79D-63F5-496D-B1DC-F9B07ACBC79C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c6e7cee756d60a186298d89dd81280bc508703","datavalue":{"value":{"time":"+2025-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6987456$4D51C41B-4293-4E74-998D-3EE54FCD16E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987456$89BD66F2-E5F7-4B96-A9B0-991FF6366C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987456$47457A3B-9524-4F80-89DF-C4FD18F05EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987456$F6EADEC0-AD66-446D-87AD-F03E084D92AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4d4963b1b722e0ac397c7689b05513f4407a917","datavalue":{"value":"8036757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987456$66825D4D-FB20-441A-A27B-ED2B58EE62A3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$56AF3055-112F-4658-833B-64F4CD9F630D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987456$7D747209-1554-49ED-AC20-F628D2CF5ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987456$1569EC4E-EDA0-4229-BB30-F02FBA4E85AF","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":"Q6987456$331F854B-62F7-4C45-82C3-B8738B06BB93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"456f5c1039c673f85abe41043df08ce87efe8a04","datavalue":{"value":{"entity-type":"item","numeric-id":6487329,"id":"Q6487329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$B5AD9425-B6B9-4400-8FC3-76C0282FD17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d73cba42ad1fe75dc59974e5b84162cb7b3b8177","datavalue":{"value":{"entity-type":"item","numeric-id":6583725,"id":"Q6583725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$25D0FD45-971F-4D9F-95E6-E63D48FE679D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53eacf24c01489b03b930c50a9ef178373dcc5d","datavalue":{"value":{"entity-type":"item","numeric-id":6109595,"id":"Q6109595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$F75C3945-B3A4-4445-A401-A0AF5C02356A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cced84ce04bb73fddec7ed53e9680deb6de57ff","datavalue":{"value":{"entity-type":"item","numeric-id":2151247,"id":"Q2151247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$5C32055F-C924-4917-9FC1-DBC1751452B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8afac207ef1e1fc1d3492a7efbcb22484f9d66","datavalue":{"value":{"entity-type":"item","numeric-id":5145624,"id":"Q5145624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$43F9EBBD-EADF-46B0-8493-80B6AA8BB144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e5170e2d5498d27175c0eb144714c61341e0cd","datavalue":{"value":{"entity-type":"item","numeric-id":6194591,"id":"Q6194591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$2E368528-0BE5-4095-BD5B-D222EB5982D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e6d473d1362422a780e7686b267f7761c88b38","datavalue":{"value":{"entity-type":"item","numeric-id":6160920,"id":"Q6160920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$8D0AB120-7C93-4B19-8793-E4DD75565B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a110f645dc01cb1cc377d191f385d2c1b9814220","datavalue":{"value":{"entity-type":"item","numeric-id":5881801,"id":"Q5881801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$4A540093-4690-4B1F-B49F-86409AF412DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73171ff2ff59135287ccc9bdb182046cac388529","datavalue":{"value":{"entity-type":"item","numeric-id":7014293,"id":"Q7014293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$83C881CF-AD4A-46AF-9F32-3D6B4E00502D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52479ce1aed3445cf12b4ee9e791997db4f08cf","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$1D9DC2BB-84E2-4F66-866B-FF58B9854E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$7FFCFC18-0F79-4E44-BE4B-1FFCDA561389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061ceb32f196efab4e3492cc20506efef48ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$5F8EA11D-F675-4F54-A5CC-E17AF64EAB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b57993b759db3263493d9535a7fbb42946774ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2151242,"id":"Q2151242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$D00D2D96-1955-4728-AC6E-83A8F5CC88A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0836bf7b7beff8f2a8306667b85775d82bd30d46","datavalue":{"value":{"entity-type":"item","numeric-id":3190116,"id":"Q3190116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$2133D706-2D67-4FC0-B871-B328CC93E4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4943f4466b49bd467d99530da9732a46d4d2372","datavalue":{"value":{"entity-type":"item","numeric-id":1641028,"id":"Q1641028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$0EEF6CD9-9C8F-46AD-9DAB-B8F29BA10AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403e4e3092bb4cd702a26490a71e1e1427e8bc94","datavalue":{"value":{"entity-type":"item","numeric-id":5830129,"id":"Q5830129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$EC3F62F2-BDA7-4A57-9A66-D18089BDF91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f762a1dc1b822b5b9b96d3f61f60fdbfc534780b","datavalue":{"value":{"entity-type":"item","numeric-id":4597712,"id":"Q4597712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$5CCF9518-A4C6-43CF-91B9-E1B4D7FC5A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$950C5D5E-EE88-4A8F-BB2A-152A1ECABA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5809b32e0bebc46ad001f3cb604d727cd6a6d2","datavalue":{"value":{"entity-type":"item","numeric-id":600979,"id":"Q600979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$1CFD3F61-6B40-4171-A7A7-A0AD613A3512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc15633f2dcdb80012eaa72e0f3a3e4c29197a13","datavalue":{"value":{"entity-type":"item","numeric-id":1604816,"id":"Q1604816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$61C4C739-C636-41BD-9F28-8C2526CB2ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc56aedb29a0849749e60f47fd110df5a49626f","datavalue":{"value":{"entity-type":"item","numeric-id":1604817,"id":"Q1604817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$BB32F81B-C8B5-4D80-85EA-649CE9A53EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5800d93eb4f8caa03263f0b51c3001208ff1e9ad","datavalue":{"value":{"entity-type":"item","numeric-id":3050157,"id":"Q3050157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$C71F148B-7C82-40CA-87E4-3F14986BF005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ffb019554c578e838b5ab8e1d6b2fbe946ab50","datavalue":{"value":{"entity-type":"item","numeric-id":5096097,"id":"Q5096097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$696CB496-9703-4F03-A2A9-B2D03B9AB5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdd898f8b2dc2f9dd5ecf0ce4d7efdc463bd54e","datavalue":{"value":{"entity-type":"item","numeric-id":5129946,"id":"Q5129946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$84ADECA6-9C81-4B49-B180-51135BD144F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f52d14474188c9e36777e19ada4a15a44b68c80","datavalue":{"value":{"entity-type":"item","numeric-id":6851636,"id":"Q6851636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$6E8F3CE2-B1B1-468F-AB35-DB48F7C039E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a0a14d870005f48235ffe3de19556efa14c292","datavalue":{"value":{"entity-type":"item","numeric-id":2105472,"id":"Q2105472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$2375F04E-3EE0-4375-8748-21CF38775797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78226e26118bf16bcfb0a55873ff4d9b266c6180","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$FFB2D0E0-3933-4FD3-AEFE-AE7AFFBF068D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b556d51b5e676c221d0327f63920155af2c236","datavalue":{"value":{"entity-type":"item","numeric-id":1060517,"id":"Q1060517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$84FA6D20-12E5-481F-B30F-E706D9D8FDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da702d2faca968d6930e50044476df933fd24bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1949828,"id":"Q1949828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$D64D09C3-A40B-4F7D-AEB8-6F30DA7DE2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497cceac7d6c6acd7624c65e3bd42c3b938c2d3b","datavalue":{"value":{"entity-type":"item","numeric-id":2075782,"id":"Q2075782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$9FF1BDE3-AD6B-430B-9CD2-3F87AE39D9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e31a47a4c9d3c4fa5e91012e434438bda6422c","datavalue":{"value":{"entity-type":"item","numeric-id":4575405,"id":"Q4575405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$51EB42DE-98C8-4B08-BE75-FB3F0E748450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$970559AC-A551-4BE9-9F25-2A7381F8A7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d033e9f6c2e008bae337aef25622a51fec6636ac","datavalue":{"value":{"entity-type":"item","numeric-id":6041136,"id":"Q6041136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$AE347B8E-8FF7-4665-B929-4D932D4D3FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd6ccc0c0ea6628e8df8934229508b7dee53753","datavalue":{"value":{"entity-type":"item","numeric-id":3648695,"id":"Q3648695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$9A4F9D6A-B1DB-432C-874D-22F874A4F502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$47C42F30-3361-4B68-BECC-B2FB34CDE4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b64edaefc1341a6e2a6192158f59846c43ad037","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$DBF13344-9845-4A55-96D5-BEC63DD2DB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37f2a6f14b1cd4132e1d4fecd64984ee5fa56ec","datavalue":{"value":{"entity-type":"item","numeric-id":2880979,"id":"Q2880979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$876FE5CB-20BE-428F-A1CB-CA0D9E7D7260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d925f45ba263577a505f57bc366cc6008dc2c979","datavalue":{"value":{"entity-type":"item","numeric-id":3588852,"id":"Q3588852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$338578F5-F2E3-4189-B032-8F819F5555A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$0D40C4FA-A2E9-4617-A255-2AEB5E89C98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$5B4A17B5-6014-4C47-8CD6-124FAC1BBEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ff99291fc23db333da452abed8dce9cbb5fdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1812931,"id":"Q1812931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$839F13C2-2719-4175-95C8-E9F9E62698F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a5c753d22b9703dd097a18bcd42cec6dd708b8","datavalue":{"value":{"entity-type":"item","numeric-id":4287645,"id":"Q4287645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987456$DAE8DF08-17F4-4927-B380-5320427CD59B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning algorithms for verification of Markov decision processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_algorithms_for_verification_of_Markov_decision_processes"}}}}}