{"entities":{"Q2566222":{"pageid":2576965,"ns":120,"title":"Item:Q2566222","lastrevid":44366433,"modified":"2025-11-22T09:05:23Z","type":"item","id":"Q2566222","labels":{"en":{"language":"en","value":"An axiomatization of PCTL*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207402"}},"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":"Q2566222$3F1A5B1F-AA65-48EC-AB04-1785B9D711B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"937f7fbee388194a7d864575368bc249d54e9bda","datavalue":{"value":{"text":"An axiomatization of PCTL*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566222$9A02F9AE-27F0-4206-B8A5-5E226633114A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1485d80e300dc06a22061145f20852fdb941ec9c","datavalue":{"value":"1099.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566222$58D56158-C4EF-48BB-A7D3-BFF0292419D8","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":"Q2566222$75494178-9436-4D56-B25C-74D4F101724F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566222$11CFA435-4BC0-4FA3-ABDC-F269C2913E3E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"facfe162fd465906c0cd2df3ed06a702109e0024","datavalue":{"value":"In this paper a sound and complete axiomatization for \\(\\text{PCTL}^*\\) (computation tree logic with past operators) is given. This axiomatization is for the logic presented by \\textit{F. Laroussinie} and \\textit{Ph. Schnoebelen} [``Specification in \\(\\text{CTL}\\) + past for verification in \\(\\text{CTL}\\)'', Inf. Comput. 156, 236--263 (2000; Zbl 1046.68599)], an extension of \\(R\\)-generable \\(\\text{CTL}^*\\) of total Kripke structures with evaluation points being at indexes along full paths with a finite linear past. The temporal operators used are the so-called ``non strict temporal operators'' of standard \\(\\text{PLTL}\\) (propositional linear temporal logic based on the natural numbers model of time) and \\(\\text{CTL}^*\\). The semantics is defined with respect to a fixed set of full paths which may not be limit-closed, that is, closed under putting together a full path from ever increasing prefixes of full paths.  On the other hand, the ``separation theorem'' technique used by \\textit{D. M. Gabbay} [``An irreflexivity lemma with applications to axiomatizations of conditions on tense frames'', in: Aspects of philosophical logic, Synth. Libr. 147, 67--89 (1981; Zbl 0519.03008)] for eliminating past-time operators is also applied to \\(\\text{PCTL}^*\\). Thus for every \\(\\text{PCTL}^*\\) formula there exists an equivalent \\(\\text{CTL}^*\\) formula if evaluated at the start of a full path. As a consequence, decidability of \\(\\text{PCTL}^*\\) follows directly from decidability of \\(\\text{CTL}^*\\).   Finally, it is a remarkable feature of this paper that it shows how the safety-liveness form and past operators can be used without recourse to automata machinery to give a complete axiomatization for \\(\\text{PCTL}^*\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566222$65D573C6-F08A-4ADA-BFD7-F3D8B167F946","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566222$BD9A0516-1480-434B-B994-6CD108FD1258","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"395aa00ef54a43cf9f2b1ad3dc28acb8bc0a91eb","datavalue":{"value":"2207402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566222$1570D418-DF09-4E82-A689-1EDF2445BFC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2705f53c0e9bbe25053fa04eb10e8e0dc4ad41f0","datavalue":{"value":"Temporal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566222$F4CB4FA0-788A-49B1-ABB6-8B252F1F0E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6d42a1fb1bd68d66aed5ff0bee0bb0abed3959","datavalue":{"value":"Axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566222$188A98B1-2E45-43F3-A940-F0A1A0A28553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"400df1f58eed5a982e62ecc9af89ee1e971d6d76","datavalue":{"value":"Branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566222$2D0F61DB-96B1-4995-AD2C-B7852D409C58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$E8E44F9E-7037-4BC4-8348-29AFADA00510","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":"Q2566222$BAD482CD-E8E4-40F1-B6E8-B64FB9A85B48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1fa650d7ef4b3323776e3253d0eb0c027636acc","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.03.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566222$9BF4E733-AD68-49CE-96FE-6033C521D9EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e872c0f9fd842b739e5797bf19250f139794d81","datavalue":{"value":"W2083732130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566222$E5367C7F-7D4A-4B43-9049-59F83F7231E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ce5aa56258788dfb3777204e4d711600da6de7","datavalue":{"value":{"entity-type":"item","numeric-id":3856738,"id":"Q3856738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$8C68E69B-ADC7-403A-893E-FAA76F56AD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$437BCD23-0E03-4674-81B7-952C45AF8E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$F76F9766-A569-4CBF-9C2D-880E2BA85015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$4D5797FA-30A9-49CA-8300-BA6DA90D92B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$C6ACCA93-D27D-4F33-920A-31A55789092B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$E8F27B9C-F714-49DA-8432-E8FC5D4A9D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$C2221223-E9D3-42D7-B723-5E5A4B8D2B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d63fad87ee9ef86f723aa7605967cbf5545e39","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$85E9C90F-91AE-4FE2-8687-7B63D95DB090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cb7f6d1b490c05a83224e0a588d211d03b2f5b","datavalue":{"value":{"entity-type":"item","numeric-id":4342087,"id":"Q4342087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$6B9221AD-767A-4EF0-B038-B61244BB80C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$84FBBDDE-FD33-487D-BBF9-D196D4E38C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9fb3d37eaa42c39fd894af0866ac61438610a5","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$9476688F-89B0-4B00-A6BC-802E380CDB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51cb42cbdd05600271a9e4ad225bd545662faa5","datavalue":{"value":{"entity-type":"item","numeric-id":1854327,"id":"Q1854327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$4E408104-40A8-4D7D-B0D9-5E38417BFF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$4BC3E064-FE21-4577-B609-D667965AA35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$CA7E09A8-EA84-4F7A-8B01-F37338C7D6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$25796A19-BD0A-4D81-8E8E-2455893E4F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$CC1826E7-52A5-41A8-B0CA-A51C7BAA49E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953fc5c05cca94208978dbd55a4c18e58d7b4208","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$344387E5-070A-41A6-AA04-ECF29ED2BAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$12B02A78-BE5B-4AF8-817A-C0FBF6D6EFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$E1471541-E1DE-4461-B400-DA3C69B4AAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"057befa3c9831a656354bf37a072a4972b35ed11","datavalue":{"value":{"entity-type":"item","numeric-id":1144955,"id":"Q1144955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$AFF8B4BA-3CF4-40B5-8BF7-DC513A7C7EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$0D716549-CABA-471A-A31C-627D0E795266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$EA48039C-2E0E-4718-80B3-46291232E504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e4537b0757ba21c738936714d08bad554bee31","datavalue":{"value":{"entity-type":"item","numeric-id":4879898,"id":"Q4879898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$B21265D3-7F48-4509-9334-1924662F7B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc5db43eaf35bb5b801516b08f876b5e7d02563","datavalue":{"value":{"entity-type":"item","numeric-id":4276172,"id":"Q4276172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566222$6062D8AD-0C37-4339-AC3E-E8501BF930B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b50034b125179c354d008bf6c3fd52d913427a3","datavalue":{"value":"10.1016/J.IC.2005.03.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566222$5257BE63-0C49-44D9-94EC-BBCC4E9609F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38142d46f7ae6456b748a70d2a313f17a61b93a6","datavalue":{"value":{"entity-type":"item","numeric-id":1854327,"id":"Q1854327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e141a8a5fb7542ee6fa2575cdab698dcf21417c","datavalue":{"value":{"amount":"+0.8353069","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":"Q2566222$28897CC2-E09E-4A7E-B384-3C33805E169D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64a1139eee7755a9e9714fd4b507d86b66a735a","datavalue":{"value":{"entity-type":"item","numeric-id":4222919,"id":"Q4222919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6db50c2818904ebd57747bd4ae52d99b8759ca3","datavalue":{"value":{"amount":"+0.8337514","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":"Q2566222$675E9D05-B498-43FA-A9FF-DC895A16888A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b2bb8bc68cff34507fad4bb89481cd5448e45a","datavalue":{"value":{"amount":"+0.819463","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":"Q2566222$78951AC7-C694-4B4E-B92A-49F7E07EDFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c751198a8a50c07031f79a530cea0627b554c11d","datavalue":{"value":{"entity-type":"item","numeric-id":5878903,"id":"Q5878903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7965fb8f93b4fddb83f95e0523a5d2ab8d911293","datavalue":{"value":{"amount":"+0.81869626","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":"Q2566222$CEEBBDE0-20C4-49F8-9D7A-2165336087A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbfe53a8f9a23f30150238cd670399c202522ba","datavalue":{"value":{"entity-type":"item","numeric-id":3437256,"id":"Q3437256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbb025869856d3c2fc97661795646bde4b29f4a","datavalue":{"value":{"amount":"+0.8183751","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":"Q2566222$35A13903-2511-4C8C-90A4-69737C660641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c047b2e7a6b97118518cc59f4a171e82b0186d","datavalue":{"value":{"entity-type":"item","numeric-id":1389439,"id":"Q1389439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecb314825e77224bbf393c629896505e1adcb6a2","datavalue":{"value":{"amount":"+0.81812835","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":"Q2566222$7A3E6982-DC9A-44BB-8AA5-C03D5A9FBA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1df651a26642865f2f63d15886ca9292d8f63","datavalue":{"value":{"entity-type":"item","numeric-id":3003330,"id":"Q3003330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a76ec1a7b556700d2aa625bb9c06aca43890b2","datavalue":{"value":{"amount":"+0.8143669","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":"Q2566222$BEE43B69-3D7A-4C3A-B02F-23973CA82A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855840378f9695f86d75856f6970f7327ca56ced","datavalue":{"value":{"entity-type":"item","numeric-id":4443400,"id":"Q4443400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd74f22a2371f3ed15629ae8afb64ac818581aa7","datavalue":{"value":{"amount":"+0.81359726","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":"Q2566222$8048C34B-6289-438E-8FB8-096E813B0FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf4d6f506e0370c531ea04d2d4e82518031d6ba5","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfba1ff669103cb3527a839275a21d833e2a266","datavalue":{"value":{"amount":"+0.81192684","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":"Q2566222$BE9EFEEB-5EDE-429D-A2ED-775083DC13E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2566222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2566222"}}}}}