{"entities":{"Q809069":{"pageid":810917,"ns":120,"title":"Item:Q809069","lastrevid":42707553,"modified":"2025-07-08T17:11:49Z","type":"item","id":"Q809069","labels":{"en":{"language":"en","value":"Decidability of finite probabilistic propositional dynamic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210116"}},"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":"Q809069$D9046332-5698-4B84-8441-0B7063A7F6DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e680551eecbd32a71c51c237a5663e14bfc1758","datavalue":{"value":{"text":"Decidability of finite probabilistic propositional dynamic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809069$BEA92E99-4D9C-41FB-894F-F86C3D71A6F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"183bf1291719a6fa2130e00bd38d09737926e016","datavalue":{"value":"0732.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809069$FEC7E116-E02F-4A1C-86A9-2C9DD6CB0797","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d28364223847bcc8ed88eb0c2fc0ec8cef0fcf2","datavalue":{"value":"10.1016/0890-5401(91)90037-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809069$41E83BA0-9DCA-4A5C-8373-053ABD242E62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$DED5FF70-4AF1-4F99-AB81-A7FDA542305A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$DF617B7A-92FD-4F50-9853-93312F59B29D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q809069$55EF6736-C7BF-426F-AA76-1F0D00E9E11E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f5dc4a1e31ea95d79d933f89013806aa4c967fa5","datavalue":{"value":"In finite Probabilistic Propositional Dynamic Logic (PPDL) language, the basic dynamic construct is \\(<\\alpha >\\lambda \\phi\\), interpreted as follows: the probability that the program \\(\\alpha\\) will terminate in a state satisfying the formula \\(\\phi\\) is \\(\\lambda\\). The present paper considers three basic versions of PPDL: (1) Deterministic PPDL (DPPDL), where programs \\(\\alpha\\) are only deterministic regular expressions, Boolean combinations of propositional variables \\(\\phi\\) are allowed, and for estimating \\(\\lambda\\), first-order formulas of real closed fields can be used; (2) Rational PPDL \\((PPDL>r)\\), where \\(\\lambda\\) is greater than a rational constant r; (3) Positive PPDL \\((PPDL>0)\\), like \\(PPDL>r\\), for \\(r=0\\). Clearly, probabilistic estimations of (3) are a special case of (2), and those of (2) are a special case of (1). The present paper considers some natural variation and extension properties for them. Section 2 gives the basic formal definitions and the results concerning the (un)decidability of different PPDLs. In Section 3 there is proved that \\(PPDL>0\\) is reducible to standard Propositional Dynamic Logic (PDL), reminding a similar result for the extension \\(PDL+GA\\) (programs with global assignments). Section 4 proves that all PPDLs without nesting of probability estimations have the finite model property. The proof idea is to use the fact that a regular program is a limit of finite programs. Section 5 considers some DPPDL extensions and decidability results for them. In Section 6 undecidability results for \\(PPDL>r\\) are analysed, while the Appendix contains the undecidability proof for D. Kozen's PPDL that allows Boolean combinations of inequalities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809069$F034EA9B-742F-425E-8E9C-C33E333F5DD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809069$8D7CD159-331B-473D-9256-82FCC673895A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809069$01D9421A-C69B-4A9E-993D-F35B75B72E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809069$3096DE72-93E6-4E14-AF13-68F4D03B5C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809069$4AB2FD6F-91A4-4283-ACC2-D8CCB2CB831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809069$36C9FF41-B2F6-4D4A-9847-70E3E6E87FE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"446abc9e3e7d930c8796204b04a614c20016a065","datavalue":{"value":"4210116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809069$DEA5615F-B2E7-4078-B811-4784A6F7D0F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da67f766d04a4c98f3a10b4d5c3c162c340ed5a","datavalue":{"value":"probabilistic choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q809069$DCC33267-3BFD-4623-AA82-1C838D7A9D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7baa644746afc31982857379817b10390d95b088","datavalue":{"value":"finite Probabilistic Propositional Dynamic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q809069$20E75090-7415-4BCB-9196-F4166947D99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q809069$10ACFCFC-BF33-41BE-A110-38B62C9B3DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e72f897ed008b28295f00f9964ce2ac659822e","datavalue":{"value":"global assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q809069$89051DCA-F8E6-45D7-B15A-31C3B3845043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fdb8cbf0357d70af3d85f5c9c475c9d275001bb","datavalue":{"value":"nesting of probability estimations","type":"string"},"datatype":"string"},"type":"statement","id":"Q809069$30EAEB10-643E-49BD-83B5-6BF8B1F44648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q809069$E09D18F3-512A-4F58-9D96-1D540E59C82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q809069$CC1F1F07-43A9-433A-938B-F332AD1C85F1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ddfe26001cac27b44f73ee317c958b41c5d4e225","datavalue":{"value":{"entity-type":"item","numeric-id":585901,"id":"Q585901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$28E71146-E602-408F-B754-D1C88609261C","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":"Q809069$D07AD361-93C3-4A4E-B491-CF11C44B483E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1580dd91ff50e0565dc694fdfd7001d1db5d9174","datavalue":{"value":"https://doi.org/10.1016/0890-5401(91)90037-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q809069$0F12F7DC-4E22-4B38-881D-2595AD85ED60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"849f92f8ce50f1da402ffe4fa992b3846c5c5dee","datavalue":{"value":"W1979586773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809069$FE18FD76-D7E5-4CE9-8E88-387C858EC75D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c89b7fda5390f42e0f304a859cb2cf862b0eab0","datavalue":{"value":{"entity-type":"item","numeric-id":3721807,"id":"Q3721807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$27AF6BCD-E25D-4F66-B252-3D1CD8E67582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75882a9a2b6b3a8cba4f283e497ce540bc19b01b","datavalue":{"value":{"entity-type":"item","numeric-id":792757,"id":"Q792757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$D5AE929C-06ED-412B-B7B1-B7313F03974A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$DA10093C-DB4A-4277-AA6F-4BA6BE6807D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$9B0B0ACC-0196-4BF3-91A0-64D4E64ECD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b117510b4422c184b3dc46595f4fe45ff7a79ad","datavalue":{"value":{"entity-type":"item","numeric-id":3262596,"id":"Q3262596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$7E9606D7-3239-4B16-8F44-1063F145B885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$DE046946-07B9-4573-9A41-1C9EC6CA9644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$1592DAB5-79D4-42E4-B610-4A8DE99C1B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de510ed3fd05142f0bf32ec55ad85ebc17090f2","datavalue":{"value":{"entity-type":"item","numeric-id":1161284,"id":"Q1161284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$120B58D3-F336-449A-A997-D092ECC4AD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5ec6b336f1ccbffcf08776ce1b8995bd6d21c7","datavalue":{"value":{"entity-type":"item","numeric-id":5731197,"id":"Q5731197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$93A4AC79-C3CD-4329-811F-9139F91EDD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$7CC44C14-D55B-4C38-93B0-69CFD0467F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1cb506cc6bcbc878b7e3aad3dfb07de9779542a","datavalue":{"value":{"entity-type":"item","numeric-id":3347262,"id":"Q3347262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$E434287B-5CC0-44FE-94D1-A706F5CE0892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$B618648F-6142-4282-B1EC-1C766B116302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355736aab0d2d42ab9391cea6cea55db3559b261","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$BEC8EC6D-E13F-49DF-8230-B1C281891062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d10355086bf07622c686253a5ff1f05750731fe","datavalue":{"value":{"entity-type":"item","numeric-id":809069,"id":"Q809069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$4340EEC9-2CDD-467A-9BD2-B5D1EB3A607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7103a5405286b870e6ab7a14ae128d2d5cab1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1062972,"id":"Q1062972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809069$9878CE09-975F-4F25-93B4-3F34B8EC3708","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed23dc11c8fa70f487cd288f75892943a3baa877","datavalue":{"value":{"entity-type":"item","numeric-id":3721807,"id":"Q3721807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0497a97dcf0d779300a0bad7afd5403650c9797","datavalue":{"value":{"amount":"+0.9646124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809069$271E0756-3651-4A7D-ACF9-CD1A5E9ED3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d7e2b750c5f9313d94879dc34c48316a186cc8","datavalue":{"value":{"entity-type":"item","numeric-id":2254552,"id":"Q2254552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbf03f5905120ef77279635424ff7c119607bdf","datavalue":{"value":{"amount":"+0.93426555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809069$D903139A-18F2-4AC7-8B2E-EE50EB5C8B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e04830bd7eeb2190b16091b5460ccdc0ad64bdb","datavalue":{"value":{"entity-type":"item","numeric-id":5477458,"id":"Q5477458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca8ea5500dd49dfcd09d2e7ebf2df29dfad387b","datavalue":{"value":{"amount":"+0.928003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809069$9D568EE4-3474-4E85-B95F-7915A7B41FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f13c8d9de74e207d5264761e759f38366e34d09b","datavalue":{"value":{"entity-type":"item","numeric-id":792757,"id":"Q792757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0359621b9add09c16cb1d13e4c03861d20b35f","datavalue":{"value":{"amount":"+0.92268455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809069$59A67BA3-EA65-4948-9408-1A0D0BEDE224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd786a32535c5c75ac65d270642a61d3898d50f","datavalue":{"value":{"entity-type":"item","numeric-id":1327387,"id":"Q1327387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93813ece313ef5e433cbec7eedf4b825b467546d","datavalue":{"value":{"amount":"+0.9208879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809069$AD023007-2718-496C-8BFA-2A62C8657573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d6601fc86f6b43686b1d40f4a27b351705473b","datavalue":{"value":{"entity-type":"item","numeric-id":3897033,"id":"Q3897033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3571a53173e5f8d4e0cfc78cb56f56deb99559a2","datavalue":{"value":{"amount":"+0.9182929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809069$735FFB23-1361-443A-AECF-AFCC4A30A0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b00eb0f6a6e4fefaeacc5130df740812569cd61","datavalue":{"value":{"entity-type":"item","numeric-id":3412000,"id":"Q3412000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6d9f50b0ecc3ec9a31c0adf8b071790e715791","datavalue":{"value":{"amount":"+0.91556644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809069$3980560A-C90A-4069-AC5F-2A63D97F49C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"125f75ad0e505889ab726220f24d58dc92771063","datavalue":{"value":{"entity-type":"item","numeric-id":1961927,"id":"Q1961927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4050080cdd44c22ac3c9769e2fa7ec9fa4f3ef","datavalue":{"value":{"amount":"+0.9137125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809069$926596C7-0FB0-43CC-A9DE-8186908DD37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd96849f712113a17f3f8f4297dc3a93a7690a14","datavalue":{"value":{"entity-type":"item","numeric-id":4411831,"id":"Q4411831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39575d296d0e4d8d202184c78e8fe9879b45c85","datavalue":{"value":{"amount":"+0.91161996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809069$7D55171E-893E-43F3-B915-67E8D703866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d297f6860ba63a4752b42d120a699735fbd08b4","datavalue":{"value":{"entity-type":"item","numeric-id":3063969,"id":"Q3063969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f3c414fd49114bfb42aa5a555277472abda5b3","datavalue":{"value":{"amount":"+0.9114696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q809069$6EA2E473-63C7-469F-BBF6-96E6D1363F4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:809069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:809069"}}}}}