{"entities":{"Q2434565":{"pageid":2445308,"ns":120,"title":"Item:Q2434565","lastrevid":44077332,"modified":"2025-11-19T17:54:33Z","type":"item","id":"Q2434565","labels":{"en":{"language":"en","value":"Formal reasoning about finite-state discrete-time Markov chains in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6255899"}},"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":"Q2434565$264CFC42-EFC8-4AD4-BE8B-D62B1D7E7D41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"232d28b13370dac5be2469b20f9183abf7290b21","datavalue":{"value":{"text":"Formal reasoning about finite-state discrete-time Markov chains in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2434565$EA7C22F0-2A6B-45C2-B445-9B25B8A40BD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"657c108afc670b5b00910f5323f24bd748c5ee19","datavalue":{"value":"1280.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434565$B8555702-6AD6-4005-A317-EC4883676EDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed15c66390282762ea1e086adc41c2256eb6fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2069092,"id":"Q2069092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$CF97E045-3C08-4A9B-A20E-B1484438A96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$F9391575-5615-4B72-A185-0F1CA69F1FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$E66A8F0F-EF3E-4126-B730-B3B8C7668D75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$9F7A0B29-8D98-404A-99FA-9F3E5B633A0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a08f71e961d8178ae039809ebf372ac6dfc2419","datavalue":{"value":{"time":"+2014-02-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":"Q2434565$AF5701FA-F43C-462B-AAF4-A71900E879BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f02108e57d259d634ac99571b42252d125abae14","datavalue":{"value":"https://spectrum.library.concordia.ca/977339/1/JCST-2013.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2434565$9D91A4FA-5F34-43AA-A014-6E6FCD227271","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434565$57F4478B-72BE-49AD-B4A9-7BCE44519548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434565$87BB1792-1FE9-4C28-8F0B-082779EB4CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434565$30D3CAF2-C278-4F52-9B8A-EE57193619C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434565$A6B514F0-20F1-41A8-AE3B-A79CBB798467","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a1649e4dff93032d5d7b4fee6331000cb0cdb28","datavalue":{"value":"6255899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434565$4172E96E-3A7A-4684-B28C-5346FB1BA7EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0639895ad52aea358b20107748fece99894fcd10","datavalue":{"value":"discrete-time Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434565$57017B33-F231-44DB-9B30-BE799A45E458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434565$509D46D4-8A69-481D-AB90-6D45C720E04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4d7ef2a1474c7a8bf3865cb84b00ed5b658d23","datavalue":{"value":"probability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434565$AB80296C-7967-4752-AC44-41E4223DAFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434565$27642672-55AF-444C-9BD5-B5A2F9A62EF2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$920CBE54-2ABA-4980-9A7C-A0E88D234F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f9d8b6007d436b6efb28c3a3d53e437bb316547","datavalue":{"value":{"entity-type":"item","numeric-id":19948,"id":"Q19948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$1EFECA3E-DE59-4E67-B7AE-6EA5F62D2EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$3BECB00F-32B0-4ADC-89F8-D979D85F0D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$F0614D95-0218-4F61-A917-5C784EA352F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d9e3398f9a03c25d17ec7e1e092f704c058607e","datavalue":{"value":{"entity-type":"item","numeric-id":20434,"id":"Q20434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$4BDBD43A-9D55-40F1-8E24-BC08F91AA3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3c1091fb510b5047cdaa636a60a3c339c434280","datavalue":{"value":{"entity-type":"item","numeric-id":19949,"id":"Q19949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$3DE3F636-5A89-4B6F-8E2E-162A0467D2BF","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":"Q2434565$DA082522-9F26-4DDF-9C8C-1A666691DA6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a11fc4a3f75a34312e909a8ffd440b27f8c1258","datavalue":{"value":"W2016818970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434565$89A4C053-5CF2-44A0-B222-230954F425B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13df58b8c772199395f7ca4c0e34f1cdb5b03d8b","datavalue":{"value":{"entity-type":"item","numeric-id":3998410,"id":"Q3998410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$1C230890-4531-4563-B8FA-46220BEFD41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816033567eb7d0df67b35249fb59ad6de2e183dc","datavalue":{"value":{"entity-type":"item","numeric-id":4217794,"id":"Q4217794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$EE720380-F152-4B3E-A42D-D70B551ED2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca135c543de34aaface21366afbd9e936f70d877","datavalue":{"value":{"entity-type":"item","numeric-id":4553270,"id":"Q4553270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$386F146F-D6F2-48FE-9A21-8460CB399DFD","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":"Q2434565$66A0AB2A-B549-478B-8B1D-97F043060CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1792bc3b56430e208777a935169cbf8e6d887f47","datavalue":{"value":{"entity-type":"item","numeric-id":3172906,"id":"Q3172906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$3B781548-07AF-4013-B028-CB41EDC6A9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a56ff31e12d13be9abbbec8c780fc7a1ba4c67d3","datavalue":{"value":{"entity-type":"item","numeric-id":4712216,"id":"Q4712216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$D117A3CF-B793-4921-BC6D-FAF4BEC2101B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59763b3fb25129051745803dae70f5cf79103f8","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$3AF2D3AF-1017-466D-8605-FA413E53B17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108488f019decb093dace28f9529e8473ce8ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":3088009,"id":"Q3088009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$7A892450-1F75-4B98-9EBE-09A5E016A8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dd873a66486e9e38fc156a4b8aa6ba19960bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3088003,"id":"Q3088003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$5A0B4B45-E019-485B-A936-F66AE373F161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$3C1F1A57-B929-452A-A2D7-FEEB219FDF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$38781EB0-1074-4EB6-9765-986DBD54CD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6496304f13783e82d12a275120aa4626825ea47b","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$5AEF974E-DC73-4941-B29C-11A570B41BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acf1b200efdebe622efd8f8270f191d22221a7c","datavalue":{"value":{"entity-type":"item","numeric-id":545151,"id":"Q545151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$90E3B09B-D5B3-4FF9-A1E6-8E6D4D9CAAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4afa15e4fbc290b70272b640e82c8c97f3a9ab5","datavalue":{"value":{"entity-type":"item","numeric-id":5901343,"id":"Q5901343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434565$BE4EE487-C2AB-44EB-B509-7DD7FE6048C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86457b0602d8de430952a268aae191c6f1b20670","datavalue":{"value":"10.1007/S11390-013-1324-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434565$6A22B761-BF11-41F5-8550-A8932EB6627D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36771dc220ddf60909b37230830c74f27aa673cb","datavalue":{"value":{"entity-type":"item","numeric-id":3172906,"id":"Q3172906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e30bd9dc65994747a12ff02a2727d9cccdd29f","datavalue":{"value":{"amount":"+0.9839189","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":"Q2434565$82071A26-22EC-49A0-A665-4D959AA2FB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312b4c6001ad00eb7f145f069abe7b68afcac201","datavalue":{"value":{"entity-type":"item","numeric-id":5327351,"id":"Q5327351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21062ab62598ea6905bf1c5e9dcd2961019432c1","datavalue":{"value":{"amount":"+0.95082617","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":"Q2434565$1CBC266A-C61E-4745-8CBF-22A33A674513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f692ca3643d2f6ed22ab0f66b4efdfb2355d155c","datavalue":{"value":{"entity-type":"item","numeric-id":1701041,"id":"Q1701041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626a405d6d293685564370df6298aa4cb6763c9f","datavalue":{"value":{"amount":"+0.91688496","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":"Q2434565$3517700F-BE64-449C-876F-4F96ABC17439","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":"423cf31f24d2884c176da5efc890663a8888edce","datavalue":{"value":{"amount":"+0.8811395","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":"Q2434565$6D1E65C0-001C-407E-A460-78EFC4C1AC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54e583d9dc19b7fcafa7a6a4dd36cb4ca4b37e9","datavalue":{"value":{"entity-type":"item","numeric-id":832295,"id":"Q832295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8481cf742ef133bac86998112e32e235e88a1f22","datavalue":{"value":{"amount":"+0.8756783","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":"Q2434565$5C51040A-64C7-4A4A-B602-3E5D18AA3273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2320e64fabee3c48092b517dbfe8e9909f1bb45","datavalue":{"value":{"entity-type":"item","numeric-id":5479151,"id":"Q5479151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a67cb527a475fc4abe51d0e3262f1321d8e8a28","datavalue":{"value":{"amount":"+0.86721915","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":"Q2434565$84BD9503-1CB2-4F14-8D7A-364A74B80574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956cee4819a0a4ba105abb08cf477c7ed805c30c","datavalue":{"value":{"entity-type":"item","numeric-id":2938063,"id":"Q2938063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4132790c3ec3225510a3a0047bb6a3906f78d0f3","datavalue":{"value":{"amount":"+0.8641324","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":"Q2434565$FBBED9EF-BFED-43BE-86FB-12D8B3E5ADD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510459a73e2c157360c99bc3b48ddb335c4cd488","datavalue":{"value":{"entity-type":"item","numeric-id":2323974,"id":"Q2323974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd38cf4573bd26ed5e1a3d74100c82ef72c1147d","datavalue":{"value":{"amount":"+0.8594434","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":"Q2434565$97A3C52A-3514-46A0-BAC3-14E0B35E6394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1fcd48c493965ab2e407530b2e2e203db0266b","datavalue":{"value":{"entity-type":"item","numeric-id":5703762,"id":"Q5703762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddbaa74b032379b8a23489fda2e9b9b0db0d2899","datavalue":{"value":{"amount":"+0.85867286","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":"Q2434565$76FDE935-2BAB-47D1-9E4E-97F7DB697DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6592fe64c578df98ebc9a32850ef70e2972f9f7","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e33cc52fee9d0c4c175e2bfe71c0fed0b7f267","datavalue":{"value":{"amount":"+0.85806966","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":"Q2434565$B84DBDE3-E843-4B41-8D84-BE739954FFD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2434565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2434565"}}}}}