{"entities":{"Q386604":{"pageid":388371,"ns":120,"title":"Item:Q386604","lastrevid":56890551,"modified":"2026-03-24T12:12:41Z","type":"item","id":"Q386604","labels":{"en":{"language":"en","value":"Characterization and computation of infinite-horizon specifications over Markov processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236849"}},"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":"Q386604$0958C218-225A-452D-9B9B-E317585017CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86c0eda7f54693c25337af4afb5ba8b2113f4c6e","datavalue":{"value":{"text":"Characterization and computation of infinite-horizon specifications over Markov processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q386604$CF4914C8-551A-4A87-BBCD-3A12E14B9D1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c9ced2021e6bfcaf4c2899db5edd02d75903d0a","datavalue":{"value":"1293.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386604$48E3C85A-A7E9-42A7-9EF9-804A5819302F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18ba433aa02039d6f23954f2f089d844ec1ac0a4","datavalue":{"value":{"entity-type":"item","numeric-id":386603,"id":"Q386603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$CDF6F592-57A2-4B9A-98FD-93C5CB771EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$A7CFDF26-F695-41E0-8FC9-023506F248BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$13BA009C-8416-41A9-A32F-9E55BAF8AE6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e990124985cbc9928eee57b5fc6b3c854c8f2494","datavalue":{"value":{"time":"+2013-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q386604$39C9C727-6892-4A31-8191-9404F7DADE43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cf0a61ad200316a940dc3373e50715c36073a79","datavalue":{"value":"https://arxiv.org/abs/1211.4346","type":"string"},"datatype":"url"},"type":"statement","id":"Q386604$0802BBEA-C91F-4F9C-8034-B3C608E60052","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b6bd8678c2ffa369cec2496fcfc8bc3e7b1d93ca","datavalue":{"value":"This paper considers the verification of probabilistic CTL (PCTL, for short) formulas on discrete-time Markov processes that have uncountable state spaces. Two relevant questions are considered: how to verify nested PCTL formulas, and how to verify infinite-horizon PCTL formulas. The first question is addressed by considering sub- and super-satisfaction sets for PCTL formulas (i.e., subsets and supersets of the set of states satisfying a given PCTL formula) and proving that these sets for nested sub-formulas propagate to such sets for the overall PCTL formula. These results rely on monotonicity properties of corresponding value functions. For the latter question, the authors show that existing sufficient conditions for the existence of a unique solution of a Bellman equation are only satisfied if the solution is ``trivial''. For Markov processes exhibiting some continuity property, a necessary and sufficient condition is provided. In particular, the paper discussed the relationship between the existence of absorbing sets over the state space and the existence of a unique solution.","type":"string"},"datatype":"string"},"type":"statement","id":"Q386604$FB9A08F9-DC44-4D7D-B7EE-D4F62EABEB14","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"40003acc9015bc414f0d315cd0e6cdf71202d88a","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$584E8F45-56A5-4482-970E-8B0D6727FF66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386604$7FFCBAE9-D75E-464A-95EC-DBC4C0516463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386604$AB3B64CE-59EB-41C3-8974-D9A30C9CC5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386604$BD1AA9BE-C1ED-4C3E-8326-B2A1DF4BE1CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b71e8a7dfc26eca6aeb2e9491ea4f18f54704cf","datavalue":{"value":"6236849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386604$F009AF95-74A6-424E-9862-0E8B3EBC1709","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89d6c688af70c915eee9e4100b9b35211efc994e","datavalue":{"value":"discrete-time Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q386604$0C525817-BE66-4996-B8F0-82BFDF0C1C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e89310c3dafdbec01bb32debbbcfb7af8fad20","datavalue":{"value":"PCTL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q386604$15DA3491-57BA-4507-9EA9-A50F6C34020E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855d2c5a20cbbebea48174c57b7ce3ba84b388b2","datavalue":{"value":"infinite-horizon properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q386604$8C8DCFCB-E06A-457A-B47B-925BA51B70CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59df34912481a345272df2f4c5f41b82af34a1a6","datavalue":{"value":"Bellman equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q386604$6934F640-E385-4E9D-B2CF-6702EEE84EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"344adcd07c1f3a496c1738ba5d813d67dba8859a","datavalue":{"value":"absorbing sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q386604$9740E36E-CFB3-4208-A772-27453DBFF1B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$39C40379-F426-49A5-A4E8-4CB17D17A892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$5253DA2E-84BF-4AAA-8E84-BBCB3C63EB5C","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":"Q386604$3B9B6483-2A28-4649-A21C-301020610D2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70dfa6a373220b1870804a303627c1ecf3f53f8e","datavalue":{"value":"W1980146067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386604$EF762355-19BA-4A67-A27B-EAE787E6E203","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4909f9c57bf236ef39d69086f7cd14a22e9b31dc","datavalue":{"value":{"entity-type":"item","numeric-id":629650,"id":"Q629650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$E0809C3F-C93B-402B-9B37-C5BC5A046283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d0d2c10245b4f0e952ac1ef991224e36fe19be","datavalue":{"value":{"entity-type":"item","numeric-id":2986716,"id":"Q2986716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$3D4572AF-C88A-4900-AE25-A5C785D8BFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$586DFF22-CC85-4F00-93EE-4C0420EE0945","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":"Q386604$44BDA730-B498-40B0-95D9-388B291B311E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8829cb252cde6a855b1ce3f090a7c599659e27","datavalue":{"value":{"entity-type":"item","numeric-id":1158123,"id":"Q1158123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$B4AC864F-44F0-4C6B-BB17-11C2A6626D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$2D065C25-CAC6-479C-AA64-145D25C95609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eeec6f235d21a7744312a54a3904016dbe38db","datavalue":{"value":{"entity-type":"item","numeric-id":5899037,"id":"Q5899037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$D478F108-BF1C-4E24-B394-CA415E8175E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58210f4265fa11ed7229ce85db4870539016f14","datavalue":{"value":{"entity-type":"item","numeric-id":1801301,"id":"Q1801301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$A8D8E9AC-8F73-4F7B-B1EA-798923847947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af09224966a99ae581526708cd3cbca0ba5de8ea","datavalue":{"value":{"entity-type":"item","numeric-id":5202616,"id":"Q5202616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$A65050BE-2602-47A4-B27A-24248BBDA369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a3367a22ae5c4f47dec3e05bb0254a2cdd04ba","datavalue":{"value":{"entity-type":"item","numeric-id":2576951,"id":"Q2576951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$50856608-49B8-4DFB-B01C-97A77F4A2DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22112b23598c1d2a71804daefba9ee9ac436d2bc","datavalue":{"value":{"entity-type":"item","numeric-id":3183611,"id":"Q3183611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$B78B4280-9921-42EC-8E57-C5BA97DA2922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d6d7ea1c2593dc2afe17c267994ae12165390","datavalue":{"value":{"entity-type":"item","numeric-id":4357240,"id":"Q4357240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$9217BE49-E202-47A3-93C4-5EA5B626B3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f50035fa0aa862d7cdcca82b6f68e0a318f4277","datavalue":{"value":{"entity-type":"item","numeric-id":2555027,"id":"Q2555027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$CB75EF4B-CA0D-465A-88E7-C18F790A782B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0554f3dccbfc464e5a97829a436da1550d935054","datavalue":{"value":{"entity-type":"item","numeric-id":689061,"id":"Q689061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$177E4DEF-4940-4D5C-BD5A-D7E1C8ADA0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535729d224c17e1c827f0e088a5eabda0edc865e","datavalue":{"value":{"entity-type":"item","numeric-id":5444721,"id":"Q5444721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$698ED812-F0C3-4C97-9AA8-4FB1B8D82809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4f7e9a4d0c7030c2cdaa38b9013b65bb63ad31","datavalue":{"value":{"entity-type":"item","numeric-id":3344930,"id":"Q3344930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$BD1828DB-C855-464A-BC30-7F81CC04F259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0933b30c8bcff1e56293de1ea7f2c6292aabce58","datavalue":{"value":{"entity-type":"item","numeric-id":3378055,"id":"Q3378055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$3BDB3317-706E-4CF9-AD46-DE8A1387E0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807701b11cfca17d83d854b0a0d8f4d0ca5bacdd","datavalue":{"value":{"entity-type":"item","numeric-id":2985889,"id":"Q2985889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$855DE530-5935-4C74-8088-7655F5180BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf41b74a627d98dac713bfaf390443583c65859","datavalue":{"value":{"entity-type":"item","numeric-id":3326564,"id":"Q3326564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$B0829AF9-A2C4-4660-90A9-87068533AB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc1eae19d26dedf39074ff685f832a12a5993ec","datavalue":{"value":{"entity-type":"item","numeric-id":4115333,"id":"Q4115333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$ADDF3A1C-9CE4-43D9-99C4-4690E517041F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1787d2c081da04d535b4c5accca825bb6c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":4340161,"id":"Q4340161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$DA96863C-E4E7-43A2-8C17-E40447C8910D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db93349199195e492cdd6311f447f3ebef17ca42","datavalue":{"value":{"entity-type":"item","numeric-id":2871352,"id":"Q2871352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$1107ED63-50C9-4F70-BDA4-D2E6C514E538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b667e53d08053bfe2d5d60effdeeabbed17409ae","datavalue":{"value":{"entity-type":"item","numeric-id":624936,"id":"Q624936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$D510325B-03E3-419E-9AA5-6A5430CEB8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$9AAFFCAE-C4A9-49B4-949B-755466B34FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd605a99ba952fbd4289d314812f98755473df95","datavalue":{"value":{"entity-type":"item","numeric-id":2986770,"id":"Q2986770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$2EBF846C-B0B2-4A7F-829B-EF9CC6140AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550fc7cf5ce76e04ae3aa15ed4bea636124809f","datavalue":{"value":{"entity-type":"item","numeric-id":4179621,"id":"Q4179621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q386604$670C6465-DD79-4FFE-A9B5-8143A0FB69CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37a78946b578288081abfbc99f635b38c25533d6","datavalue":{"value":"10.1016/J.TCS.2013.09.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q386604$AD24D00A-81F7-4699-BDA4-B2B9485CEA91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a995785fa08a8d1d286089a5f478f6806fcefb0","datavalue":{"value":{"entity-type":"item","numeric-id":2986770,"id":"Q2986770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1c13c03ae6e9fd88e01364ad054570aa96002a","datavalue":{"value":{"amount":"+0.7529973387718201","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":"Q386604$396EC552-6C50-427A-AA95-70629F1DAF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c152880aada0b28174f53e3cfcbaa55c23c39c1","datavalue":{"value":{"entity-type":"item","numeric-id":515573,"id":"Q515573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a188f5ae708acc1582ac43aed8666e865b762b15","datavalue":{"value":{"amount":"+0.728000819683075","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":"Q386604$890E2331-AB5E-44C5-B455-7A2EDEC2AE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a19e6f174761724f8839f43fc4c60871a2678df","datavalue":{"value":{"entity-type":"item","numeric-id":2434565,"id":"Q2434565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216f452c5cf6f1f07d5b44b7ffe985541b55ba8a","datavalue":{"value":{"amount":"+0.706476628780365","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":"Q386604$80DB6AB7-A7E6-4156-B5EA-0811E1E57C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db726316e741e2ef524a04d9261218d8cb3c9aaa","datavalue":{"value":{"amount":"+0.6991146802902222","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":"Q386604$3843F7C4-1282-40A1-A21E-F4F89D616DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78aea85f9de0327caa6a7bf5d5d225395efc5176","datavalue":{"value":{"entity-type":"item","numeric-id":5418954,"id":"Q5418954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b467111d35f0923e20e5d722a837fbed7c5697","datavalue":{"value":{"amount":"+0.6986631751060486","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":"Q386604$904278B5-625F-48E7-B063-BDD4DEF22B72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:386604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:386604"}}}}}