{"entities":{"Q2576941":{"pageid":2587684,"ns":120,"title":"Item:Q2576941","lastrevid":44397615,"modified":"2025-11-22T16:03:19Z","type":"item","id":"Q2576941","labels":{"en":{"language":"en","value":"Final coalgebras and the Hennessy-Milner property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2242224"}},"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":"Q2576941$858CC840-561E-4611-9F9E-007C6E124977","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc9aa3a602a9860e7a6c1d37d1da738bfe5d1fc8","datavalue":{"value":{"text":"Final coalgebras and the Hennessy-Milner property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576941$0EFAD2EE-4EEC-436A-8286-590699A2D29A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4d57786464f4990e419fe14050c1feaab25904e","datavalue":{"value":"1099.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576941$40203EA8-4C9B-468C-BB73-303B139B20AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$789A9502-FC30-4F85-84B2-46D53EC6A4E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$DC683E5C-C071-439F-B9BA-ABCE27AC15E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cf687ba42bee292af8a405799b19faf7dc96007","datavalue":{"value":{"time":"+2005-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576941$8DDC1A69-D912-4828-A4EB-5E738EE7C1A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ecc3b6e608f04b2c2ae7f602830547e51b174e2","datavalue":{"value":"In recent years it has turned out that many notions in theoretical computer science can be modeled by category theory or logic (the latter being in some sense equivalent, since a particular logical theory can be considered in many cases to be a ``presentation'' of some category [cf., e.g., \\textit{M. Makkai} and \\textit{G. E. Reyes}, First order categorical logic. Lect. Notes Math. 611. Berlin: Springer (1977; Zbl 0357.18002)]. In particular coalgebras of functors \\(T : \\mathbf{Set} {\\rightarrow} \\text\\textbf{Set}\\) on the category of sets are useful in modelling notions associated with data structures, transition systems and process algebras. The notion of \\textit{final} coalgebra is particularly useful since its members represent all possible behaviours of processes. The paper under review attempts to answer the following question: When can logic be used to construct a final object in the category of coalgebras of some functor \\(T : \\mathbf{Set} {\\rightarrow} \\text\\textbf{Set}\\)? More precisely the author claims to prove that a final \\(T\\)-coalgebra exists if there exists a logic with the property of having a set of formulas that differentiates coalgebraic elements up to bisimilarity. Conversely, the existence of a final coalgebra implies the existence of a logical system with this property, provided that the bisimilarity relation between coalgebraic states is transitive, This property holds in any process-algebraic context for which bisimilarity means observational (or behavioural) indistinguishability. Section 2 reviews the basic theory of coalgebras and bisimulations to be considered. Section 3 discusses the construction of simple coalgebras by the theory of congruences and explains their relation to to coinductive coalgebras. Section 4 formulates the notion of a logic for coalgebras and gives the main result characterizing the existence of final coalgebras. Section 5 gives a formulation for the case that bisimilarity is not transitive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$582B7BD4-CF84-4187-A1F4-9BC762663C41","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc7a4844df6c1e7fd45e2597303e18bd88cee256","datavalue":{"value":{"entity-type":"item","numeric-id":598278,"id":"Q598278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$DE91CC06-51C5-453A-AE1A-54B75F12AB6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576941$067109B6-0362-4096-8E79-D3BEFE40A1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576941$EDAEC2F2-3322-4750-95EA-C89EBC131B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576941$DCBC5354-20B4-43CC-8732-7E883AEA5383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576941$A375B639-D895-47E1-B099-DD9A2E082023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576941$AB3CC50C-B556-47AA-8386-48D8D726FEF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0344dd3f47f4a05d33dbb3772ade0ee09f6ebdb","datavalue":{"value":"2242224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576941$FB208FE0-F5CA-4F20-9E1B-B7248CD310DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$4932C402-6ED1-4DDE-94BD-560211D1C3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6f648bd1eeb66cc548d9608d64c3a3e1ea7e29","datavalue":{"value":"formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$5473C5B0-45BC-4EF5-9ED5-B896F1E2656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$E4441B63-2BF7-4296-A9F9-3A620B65C181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faec5b57711c94a94c417a2cab01dce5f2186920","datavalue":{"value":"final object","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$21F6B140-C0D8-4BB9-A135-A9B5F8567112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$CCD7B5E5-2272-48F5-8E84-D10CC8876D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$6A09BB1A-D213-4C33-8B78-CE9AA6C55354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$99B880B4-8227-4D47-91FF-B85B4EC7FF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$B01476A6-2C0E-400B-B5D6-048F3DA00897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fe400883ddbb6626535c53e2bbd635df88029a0","datavalue":{"value":"coinductive","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$18610872-75F0-4FB8-A51C-EE1E3710424A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f0a87e8fb3a05aba57fd8a5fbdc255ec2b2114","datavalue":{"value":"abstract logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576941$07948B6E-6461-4A93-B3BE-C313819CD1C4","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":"Q2576941$1B17E156-BA5B-46B1-9B87-8FD7D1020886","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c419af75d5f20e93178b6fe8036573250c67fa6b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.06.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576941$61C33E92-6451-4CE9-9B5E-3E7D2BC0208A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"966832da9985786ebf4fbf819b2c00467a9185ed","datavalue":{"value":"W2151880956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576941$27D692CF-642B-41BF-BEB2-47BCA8C75B50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$6C665F65-CE89-4B44-870E-E016CFA17225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$49F93BEE-6DA0-44B6-A914-4F28B181EE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$3963D15A-0F70-497D-A9D4-348E0408B391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$71497BA0-7020-4495-9FA6-EA0690B10329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc6a614161ba750691061b26d7e0bc4b52df8c3","datavalue":{"value":{"entity-type":"item","numeric-id":5941159,"id":"Q5941159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$817FF5DF-8401-451C-A1FA-CC7432C2642C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f17ffd9ea5ad72715e5c8b14d93f72c4489370a","datavalue":{"value":{"entity-type":"item","numeric-id":4499310,"id":"Q4499310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$3FF432D7-DC96-4037-8203-834B1C341128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$517E56F7-536F-4CFC-92D0-CE58846906BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$3A5CB5A9-B643-4101-9737-562531DB2317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0c1a3971cc7f76bca9a97135041403ab6c6cb","datavalue":{"value":{"entity-type":"item","numeric-id":2747941,"id":"Q2747941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$0A82D77B-CAAE-4BC2-BAC1-0FA86A14FA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$EBDA903F-F922-46CF-B49B-4CF4AD189D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f82f429bca46514bd67bcf27e4ca0eaf245fc57","datavalue":{"value":{"entity-type":"item","numeric-id":1575951,"id":"Q1575951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$4D492311-C09B-4176-8DA4-0C4BDAFA29ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f675556cee6d5c516464f4857d32f5f511922b79","datavalue":{"value":{"entity-type":"item","numeric-id":5941162,"id":"Q5941162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$C530E1FA-082E-4363-9E05-1716179CD7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576bfb598f5e5d861b140871836fb919fd00a035","datavalue":{"value":{"entity-type":"item","numeric-id":5598374,"id":"Q5598374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$F414D649-23C6-4770-8602-5AA86B575D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf080a55f0b8964651acaeb861c03614c58bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4168590,"id":"Q4168590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$6C5B0A3C-7056-4A56-B99C-9CEFD9AD4AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$38883C4B-2C11-4939-8E94-F0F1A5F7B9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$4BDBB2BD-FBBE-4BD4-B5D0-DA57E063C9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$772C854E-AAAB-4396-BB79-758FBCF451C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$C66CD330-3100-4DC7-BEED-0F808EFF0CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ce55b7ffeba230a297d32bd80c664aafc9d649","datavalue":{"value":{"entity-type":"item","numeric-id":5941165,"id":"Q5941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$41975942-5F97-471D-B296-2E04E7625CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f2d776dbf781b1b6074a3e3f67d86e9087341c","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$8921F6C2-F093-4310-AF9A-C76215661D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$10D68F6E-2D35-4915-8548-10B25FB2CB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576941$F589953C-3167-4E3E-9E2A-C16DFE489D7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4492a87c99ebcf0a08561dbc3eb46d00b340911e","datavalue":{"value":"10.1016/J.APAL.2005.06.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576941$7E434797-B270-4756-BCC5-B72EA61DED38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f03e6138c96509ae96df2fcc1da229738738495","datavalue":{"value":{"entity-type":"item","numeric-id":5275353,"id":"Q5275353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e20e03233008f60d078a124ceaaa8a327c4cf4","datavalue":{"value":{"amount":"+0.9139241","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":"Q2576941$6D4AFE54-11DA-497E-AE1E-F7DA4D4DCA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1960b77668413cd28171247b0126f3468251ea","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215a68e3788a349c68771e4dd5edf2963baa5489","datavalue":{"value":{"amount":"+0.90814173","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":"Q2576941$AB05E3F0-191F-43E3-9905-9219E761EB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0afe3fbd1ba0215f6ccab0878712a4e965588d","datavalue":{"value":{"entity-type":"item","numeric-id":5462661,"id":"Q5462661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418920739c75dd260a4dbd4db28926afa390b66a","datavalue":{"value":{"amount":"+0.9026282","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":"Q2576941$5E3C4304-7720-4254-AAA5-8EE8B9FBF55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8856a28cd46a211981a640a9dcf4285ed30dfa11","datavalue":{"value":{"entity-type":"item","numeric-id":1398459,"id":"Q1398459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42feb4998e08c2062fe82619695bbd6aa10ecfe0","datavalue":{"value":{"amount":"+0.89495265","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":"Q2576941$FE68B0E6-86F9-4918-8A70-2508EDD53AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa4531ee7a51f88d05f90992e01c3ade3dcc947","datavalue":{"value":{"entity-type":"item","numeric-id":3094168,"id":"Q3094168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cabc777857ab14fe708fb5c68fdf34d9b68a6e","datavalue":{"value":{"amount":"+0.8920795","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":"Q2576941$B8530343-9D2F-4293-B9D9-E2BE48D6ED92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab92cf2d92b809ea515e4512ed57e34d369f817","datavalue":{"value":{"entity-type":"item","numeric-id":2842550,"id":"Q2842550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce135a2cc9aafc7e5673a27661dd6ea4e6c65f5","datavalue":{"value":{"amount":"+0.89202535","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":"Q2576941$C6099D68-7B41-4215-BFF3-D5E5BB4A922C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b3ff482c7d40af3a4b41248b2273f643428d91","datavalue":{"value":{"entity-type":"item","numeric-id":4227483,"id":"Q4227483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e5641fc25e96a1972783657351e6c7bfb17a84","datavalue":{"value":{"amount":"+0.88874334","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":"Q2576941$0C3A7508-F9F0-4795-B62B-C16905E7AD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889178e3b5f6d7424ec20b0a88b0c23311d82b50","datavalue":{"value":{"entity-type":"item","numeric-id":2024924,"id":"Q2024924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a8a4da6d74fefbdaf353c131ddb2858dd04bbc","datavalue":{"value":{"amount":"+0.8848602","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":"Q2576941$EDE8D4C7-BDC6-4CBD-9F90-EC3162684E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed6703465c7f4775147f2c9c37c3c9b988c8775","datavalue":{"value":{"entity-type":"item","numeric-id":1603817,"id":"Q1603817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ecab7fb3355d21f7650139ea6a1e87e0e5aefd","datavalue":{"value":{"amount":"+0.8810787","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":"Q2576941$200D7D0D-33F5-465D-9628-1FB7AD54E927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b4ea4ace7b4e54ea3af487f249ec02af24e4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1575951,"id":"Q1575951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26df7cce8abfb4311cdea0b57e3e6ff6fd7cb53","datavalue":{"value":{"amount":"+0.88030344","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":"Q2576941$79FFC4A1-8BEB-477C-85B8-CDFCEA1B0375","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576941"}}}}}