{"entities":{"Q1731842":{"pageid":1742583,"ns":120,"title":"Item:Q1731842","lastrevid":68922660,"modified":"2026-04-13T03:08:04Z","type":"item","id":"Q1731842","labels":{"en":{"language":"en","value":"Completeness for \\(\\mu\\)-calculi: a coalgebraic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7036293"}},"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":"Q1731842$5371C612-DA77-4327-AF6E-6F2FF18DC913","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71e07a2624b3da5c716cdfcd7dd1fb20130b55cc","datavalue":{"value":{"text":"Completeness for \\(\\mu\\)-calculi: a coalgebraic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1731842$9C1D81AE-EE7B-4E59-ACD2-1077791D547D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62213b8f3950b7a6ea82ac159924b801b8a598e6","datavalue":{"value":"1443.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731842$6BFACE4D-CDF3-497B-83F2-824D3A152B9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f5340f94d7e8bca6721e5302fe3e9f5e2cc1b2","datavalue":{"value":{"entity-type":"item","numeric-id":694495,"id":"Q694495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$19E3C919-495A-4A62-91D1-E9ED1C83F82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed8d7a8df45b03690f51dff23fdb3cd8623bace","datavalue":{"value":{"entity-type":"item","numeric-id":1731841,"id":"Q1731841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$40A16929-4026-423D-AB9C-123012D7232A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$358EBA1D-9FF8-42A3-8A36-C15098F1B034","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":"Q1731842$E6055575-88A4-423D-AE6A-CCEADFA32789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df01aeeba31ce24d39703f591bf3026949b8c0f3","datavalue":{"value":{"time":"+2019-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1731842$6931A241-4619-46C9-8D2D-04B2E230493F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1a4bf29f55b29fa5f8f89fe04e2627c5878a6ed","datavalue":{"value":"The basic modal language is usually extended by a fixed point operator, giving a modal $\\mu$-calculus; there are, however, other possible extensions around, yielding a family of modal $\\mu$-calculi. This paper addresses the axiomatization problems for these calculi, essentially using coalgebraic methods with some not so little help from automata theory. The easiest accessible results from a plethora of similar ones concern the completeness of the graded $\\mu$-calculus, and of the monotone modal $\\mu$-claculus; these results are new.  An essential technical tool is the introduction of one-step formulas gleaned from a set of predicate liftings (all functors involved are set functors); this opens the way to a careful study of the problem through coalgebaic automata and their interplay through games. One-step formulas have been proposed by e. g. \\textit{C. C\u00eerstea} and \\textit{D. Pattinson} [Lect. Notes Comput. Sci. 3170, 258--275 (2004; Zbl 1099.03018)] and \\textit{L. Schr\u00f6der} and \\textit{D. Pattinson} [J. Log. Comput. 20, No. 5, 1113--1147 (2010; Zbl 1266.03032)]. This technical tool is accompanied by the investigation of a disjunctive basis, which permits -- roughly speaking -- the elimination of conjunctions. These devices permit an easier and fairly transparent treatment of the interplay of one-step formulas and formulas induced by the predicate lifting proper.   The well-written paper is technically rich with a nearly overwhelming body of definitions, notations, etc; there are two companion papers written by the present authors [Theor. Comput. Sci. 727, 37--100 (2018; Zbl 1391.68077)], resp. the first and the last author [LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 11, 16 p. (2017; Zbl 1433.68427)] which belong to this present context, and to which the authors refer from time to time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1731842$AAF53E90-AAB7-4497-9C17-58D2A230E2F3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b55806ac3006ec2d3bb3cf03b6c3b09dbfabbcd2","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$5CFDEA9B-EF25-4E28-9A3D-5B8F413952D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731842$3CE802E9-7E5E-43D0-AB70-0317D6149875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731842$18789827-4E30-4D9A-9C33-98496396CA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731842$76BD5A15-05E5-4B37-B3D6-A320261FC94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731842$0ED1C8A2-BA0E-42E7-8635-DD5E6819504E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731842$58ADB9D6-350B-4750-84B0-C93C8F56A723","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e299e34fc13a88731466fe4d194c8dc510e67b87","datavalue":{"value":"7036293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731842$B05FF9BA-4AC9-4B82-8F55-40DCC3099F5F","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":"Q1731842$95EB8A4A-85B8-4C0F-9C11-59155D6AF1B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95e98be75619266f518fe105af9cb7e9b826a890","datavalue":{"value":"https://doi.org/10.1016/j.apal.2018.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1731842$8371DF28-C9C1-41AB-B6C6-0AA8BF2871A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"471588a12f80df8b43c6e7c53f3213eaa7538123","datavalue":{"value":"W2908449277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731842$368FC6C6-9C1D-48CB-A148-58EF29998EA7","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":"Q1731842$972BF0EE-DDD3-4ECE-A0FD-6984B7D2C7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$B035EC1B-8F35-4A01-86D4-9C5BD748A8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$C90F27D9-59B9-4EBF-8A97-46E3D468E705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$F98F551B-7EBA-43E9-A374-24DB6ADAC0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868791ecbb8b2fef99c94f8ac3bfdcc20ea5c8f1","datavalue":{"value":{"entity-type":"item","numeric-id":3644748,"id":"Q3644748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$BBA11039-6376-4902-ADFF-59CECF222E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ddadb34f3f01f83c600aa6e78ae526fd26cd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$62C751D2-6FE0-4915-B2AD-6B9B1E51A4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$3181825A-76D1-49A2-BF82-656490941321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c3ee356cbbc1c3d5b36a8197a83e9b90ef5e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4635817,"id":"Q4635817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$4D0B189A-21C2-4047-90CA-1FC798465957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4469a2dd21a9103879f4f01845b2137492455979","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$87E31CE5-659C-4B9D-ABE5-12EA0E06AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c284bca8f06db1a873072724092d96e553d20166","datavalue":{"value":{"entity-type":"item","numeric-id":1749477,"id":"Q1749477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$AE3BD81A-CCDC-44FD-964A-2EAC392C77E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a00b6a4a35739749a0a0b043c7750d59457606","datavalue":{"value":{"entity-type":"item","numeric-id":4580206,"id":"Q4580206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$600374E9-D14C-47BA-87E2-7D134018EF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2411e155e78539089c75ed80338bd36759f3975e","datavalue":{"value":{"entity-type":"item","numeric-id":3587454,"id":"Q3587454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$D58F1B5E-10FC-40B8-9C99-AAC67B08E990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2803ca579abe915c27350846bb0ef301e46e6070","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$D4F40B23-6DE3-4B38-933E-EFE5A5D31A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$E2D6FF98-2DEA-4BBA-8178-9C2C90159482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22906ff63b14d1b8df732c3438ee1a8a421ecaab","datavalue":{"value":{"entity-type":"item","numeric-id":5950751,"id":"Q5950751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$A5A3054E-31D7-4D30-B5D7-A0A1F565E28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$A2660E78-D05C-46EA-8374-7EE73F3C1927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$6A88159C-6A7C-4BC7-BEA6-92CAC35145F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$6BD393DC-B2F3-497A-B828-AEF70DDCE95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b342dce9eb57fc3b86211a6f8fad09c18bd90399","datavalue":{"value":{"entity-type":"item","numeric-id":2904618,"id":"Q2904618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$F4154C31-82D0-4D3B-A5CD-3A2EE2FD1793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f99c3767f220921bd5141aad82c56e84e6dd18","datavalue":{"value":{"entity-type":"item","numeric-id":2341702,"id":"Q2341702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$AD5583E7-6ACF-4170-8F2D-89698E25D0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$B3D4D580-0D54-47A6-9089-AF30AC9A8A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c8d4ae13a37c46d4c1c81628960f47d5dea327","datavalue":{"value":{"entity-type":"item","numeric-id":673778,"id":"Q673778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$DF7CFE53-DFF3-4EC6-9995-AC6AA912AEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$18D6B1B5-7309-47BB-AEBF-7143DFC15EA6","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":"Q1731842$12106674-AA41-4416-9A2D-CA6C70142021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3c80b500a26b9f2863ab05df3b7d3242e9625e","datavalue":{"value":{"entity-type":"item","numeric-id":925850,"id":"Q925850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$D69CD682-67BB-4C92-A2AF-FE77BD350AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc0a1af3db5bb1682b803cc71ecf7791eadfaf","datavalue":{"value":{"entity-type":"item","numeric-id":638475,"id":"Q638475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$7934CFDA-4E05-49C2-8354-C7AEFC85D937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5602a712555e3999df12c4260f8589c5a167f0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$BC710F69-CBDF-4EF0-A164-5C405873E353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50717835f7f6961b0d32328866377521644caf81","datavalue":{"value":{"entity-type":"item","numeric-id":2946571,"id":"Q2946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$A49CD950-B7CF-4E9A-B7A3-331B9222CD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd05b804471fb42e7e0335e51ff93f3a7fd1aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3056300,"id":"Q3056300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$671D5819-A1F4-46E6-8F17-901649DF503D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$9E9DE866-03CF-4925-B63F-9AE4A19563B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1731842$AE0D636E-AA54-4148-BEC3-7F4AC6F2A525","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac109814ba3d46d620554bba1e4c912281038085","datavalue":{"value":"10.1016/J.APAL.2018.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1731842$4C7FD56A-CEFE-4A29-B2EA-9EBE8463C1FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd8d09dee35351337ba4b36d9abb40279abf4e1","datavalue":{"value":{"entity-type":"item","numeric-id":5278393,"id":"Q5278393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e306aaa976bf7b7e644cad461b8c1512e93014d9","datavalue":{"value":{"amount":"+0.8626752495765686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1731842$69E17E8B-14AB-4F81-949A-5F2DF3F316DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfc025acdbcb2b51a01d9c79ece8e8eb0fb3b01","datavalue":{"value":{"entity-type":"item","numeric-id":5278080,"id":"Q5278080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d734c4bd398c5a36b9549695d6d472923b794b","datavalue":{"value":{"amount":"+0.8607189655303955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1731842$81B41EFD-292C-4C12-BEE3-7EF9B8349355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bd3d6c57e769fdcd7543d4075e1e785873ac68","datavalue":{"value":{"entity-type":"item","numeric-id":1749477,"id":"Q1749477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830d97e3aef222b6fd0adb1f4736810656f59f21","datavalue":{"value":{"amount":"+0.853757917881012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1731842$576EB39D-5E70-4372-8B44-629B11F3EAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0095654446119627593dfe20de7d001e2b3bc950","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d74581c6ef001867d309bab76510c2d6ff061a","datavalue":{"value":{"amount":"+0.812958836555481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1731842$E8608C78-3095-445C-899D-F89F407A7685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d39a5cbdbee23fd156fd1d350cbae5fa6a7956","datavalue":{"value":{"entity-type":"item","numeric-id":3557849,"id":"Q3557849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661073bdb1a9bb2c96ee94b72dca66d8873454ae","datavalue":{"value":{"amount":"+0.8095701336860657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1731842$84D214C6-413D-486A-A0C7-813AD272D885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness for \\(\\mu\\)-calculi: a coalgebraic approach","badges":[]}}}}}