{"entities":{"Q1005937":{"pageid":1007785,"ns":120,"title":"Item:Q1005937","lastrevid":66565950,"modified":"2026-04-12T10:59:01Z","type":"item","id":"Q1005937","labels":{"en":{"language":"en","value":"On the proof theory of the modal mu-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529386"}},"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":"Q1005937$2ED54416-A7B6-4289-BF7C-1A43319141B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"799ae75a8d4bf0716541a4018d0c4701d9f2eecd","datavalue":{"value":{"text":"On the proof theory of the modal mu-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005937$7A072D0C-7F50-4940-A6CA-A85E1C85C508","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a2ebf48400cc73d2a9fc0c49ce196d4485d2e84","datavalue":{"value":"1163.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005937$268BA47D-9859-4B24-A7DA-1A7F1F8D4DE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$43780181-98BD-4261-9009-9291FF4EAA23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$EC388001-10D2-4173-A143-9F9064EA6896","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005937$B1E1A148-9DD6-49D3-BF6A-EE3720199A8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2dea34791b59f5db30ad2fd7c6b7880a2103f5b5","datavalue":{"value":"https://boris.unibe.ch/37094/1/stu08.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005937$D42FDA76-7A18-4340-9FCE-CA59D778A751","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9b196b516d0a5808ea16c35adb30ce28640e0a2","datavalue":{"value":"The paper investigates two cut-free infinitary deduction systems for the modal \\(\\mu\\)-calculus. The first one is the system \\(T^\\omega_{\\mu+}\\), introduced by \\textit{G. J\u00e4ger, M. Kretz} and \\textit{T. Studer} [J. Log. Algebr. Program. 76, No.~2, 270--292 (2008; Zbl 1156.68013)], which includes a variant of an infinitary \\(\\omega\\)-rule. The second one is \\(T^{\\text{pre}}_\\mu\\), which is an adaptation to modal \\(\\mu\\)-calculus of a proof system by \\textit{C. Dax, M. Hofmann} and \\textit{M. Lange} [Lect. Notes Comput. Sci. 4337, 273--284 (2006; Zbl 1163.03308)] for the linear-time \\(\\mu\\)-calculus; it has finitary rules, but allows infinite branches in proof trees under certain conditions. The main result of the paper is a translation of \\(T^\\omega_{\\mu+}\\)-proofs to \\(T^{\\text{pre}}_\\mu\\)-proofs. As a corollary, it also gives a new proof of completeness of \\(T^{\\text{pre}}_\\mu\\) and of the finite model property of the modal \\(\\mu\\)-calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005937$0EB823DF-F021-4FB1-A594-1B24BBE216D9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf05c748b19f894b0cb445a65a1da1ca24dbc809","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$692B9B6C-B2C2-4935-B480-B6CAD0BFFF6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005937$3D470F81-4567-4776-8B2D-35E41D43526F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005937$08007DD2-8098-4926-BA01-6DA5B52D06A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005937$3CD742FD-D9C8-4882-BF78-296484EF0977","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8a93d63c6a816db33d15327e387a15555522d10","datavalue":{"value":"5529386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005937$A2DBD3E2-FD79-4B11-B26F-B6BDEA68D895","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005937$560BABBD-95EB-40AD-804B-4C392903B97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4383627d45fb5f4ba25831006036a0a071053b","datavalue":{"value":"proof translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005937$026EA9B0-1482-4421-9862-2529A85D1868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f4645795d3b577b0edc02bce67fe36b60780ed9","datavalue":{"value":"infinitary proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005937$07A5D194-6A4C-4A41-BB19-1160791BAE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005937$CB1B3C65-54E3-4444-830B-8BEE669423A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1dd593caa76171727c63057fe580e976fa16cf5","datavalue":{"value":{"entity-type":"item","numeric-id":23931,"id":"Q23931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$BDAA0B92-CC1E-4923-91EF-DA96B4096CCE","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":"Q1005937$37150311-770B-4112-98EE-87A40FAEE84E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17eeb2106221ae21de7c7b0c62def60ddd87ff45","datavalue":{"value":"W2081909835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005937$BC2A3BBF-5692-4C4B-9576-556E3531E30E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$B3C15DDB-279E-4F62-A45B-A969442444D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$7357770D-9FAA-4AE2-B717-7A4AE0357612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa9bd4a85c4c49445e39f562d8e5bf96db06519","datavalue":{"value":{"entity-type":"item","numeric-id":941433,"id":"Q941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$51C338B5-BE4A-4ACC-B40A-B9E48EAE4B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d956577b3303ebd7039744b667c611553174c8","datavalue":{"value":{"entity-type":"item","numeric-id":4982123,"id":"Q4982123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$104EE15E-8353-41C6-A754-10D991A71990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbb75377fe28d9c4d5cb2672ca813a70b1a4094","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$0B3C5DED-A331-4AC2-BA0C-8599347F9855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700a9ff894e410108e84c5a088e66a026d9db4b","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$BA557D0E-0112-4BAE-AB17-71FAC7CD3CE9","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":"Q1005937$B3629071-26E1-49CE-84F3-1C5E353423C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79adceaea1e40b4cad7838a35b0a0fd442b58ac","datavalue":{"value":{"entity-type":"item","numeric-id":3608433,"id":"Q3608433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$A13BEF82-BCFF-4340-8A07-4073A388AEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc207fadc6ba9564432e7709593a9b3cf923d465","datavalue":{"value":{"entity-type":"item","numeric-id":2475436,"id":"Q2475436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$6B2F0EC4-BD0D-4622-9CC3-DD2E880342B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4809d0a3f36eea3885a973affe8141566cc9e5","datavalue":{"value":{"entity-type":"item","numeric-id":941442,"id":"Q941442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$A77EB92B-0898-4B81-A0C5-7148E48670CC","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":"Q1005937$2B6A21BB-2D15-4796-9930-C6456199B39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$B27B6C40-68CB-41CC-82F0-5C6EC2C4461E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2cf2a0dbdd01a7a4261488e61c1139b1e8ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":3919674,"id":"Q3919674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$E7E8B0DF-099D-4443-9A62-2DE19EFB9386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$63BD0A48-E548-4F9C-8CB7-2832C2A1E09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9363e79fa8e536824709fd691a9d6976fe6f88","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$18B726C1-F763-4AAD-9ADF-DA1F1A82BBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005937$29E8B001-FF48-4447-9E69-3421EA7A6125","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":"Q1005937$11F747EC-E93C-44E5-BC0E-6CC03784BA73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2ad654b450a084701cd350b4690be69f11597e3","datavalue":{"value":"10.1007/S11225-008-9133-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005937$5C43D59C-C6BF-4524-86E7-FEA32F53DF58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a8c0b4de7ee56825982eafcdf16c0418b3cda","datavalue":{"value":{"entity-type":"item","numeric-id":4593954,"id":"Q4593954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2480f8b37a903918be861c323fbc6b02b081a671","datavalue":{"value":{"amount":"+0.9500027","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":"Q1005937$AC7705FB-1DE9-4BEB-A816-3024CBE74E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740dc471e0b6a212d694c17712f2cfdc4eef21b9","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25fced6f969ee01707b04d62363ff9f666340e34","datavalue":{"value":{"amount":"+0.9384835","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":"Q1005937$F4EA1163-0CC7-46BB-8C0A-C3D107E22AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2869df01c614b6cedab638e72c556a862bbd265a","datavalue":{"value":{"entity-type":"item","numeric-id":1854404,"id":"Q1854404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce518a2518b475ba32a9e096e9fda32a328e892d","datavalue":{"value":{"amount":"+0.93645555","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":"Q1005937$24E2E952-5CEF-455F-A25D-EF9A6901A473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689e5d64299b3be33f287bd23200fa6fdc7563dd","datavalue":{"value":{"entity-type":"item","numeric-id":1015480,"id":"Q1015480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2804d885a51e7b387f9ae49e533332a45dcd7fb9","datavalue":{"value":{"amount":"+0.9330435","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":"Q1005937$9CDE25C8-AFFE-41E5-B15E-8DF03A918050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6ab81381331466c7a9adb90401a58afcd050f4","datavalue":{"value":{"entity-type":"item","numeric-id":4525272,"id":"Q4525272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffbc7f029299819dfd492a276c8c57774a635a0","datavalue":{"value":{"amount":"+0.9261846","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":"Q1005937$EFEA19CD-8E5F-4951-8717-DD278B69F73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf64481df7495045fe2559470e597cfe00883ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4994684,"id":"Q4994684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2acfe903db416b96dcc154d62a73ce47aa7dc3","datavalue":{"value":{"amount":"+0.9242444","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":"Q1005937$2303781F-1860-4AB4-9C42-C9523F1CD68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ade23acfe3c07683f960ab20fd5818d84d8f28f","datavalue":{"value":{"entity-type":"item","numeric-id":3002404,"id":"Q3002404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7722e875234b1160aa5c077cf73775248e18af","datavalue":{"value":{"amount":"+0.9200989","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":"Q1005937$D71E65C7-A8A7-4C59-ADAB-A0A2D8A7FFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d982f977d6b8cd5c8e19012da58b884c2c65a08","datavalue":{"value":{"entity-type":"item","numeric-id":4411834,"id":"Q4411834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a63c92bd24845157571ad4c2b6a730b3448a6d6","datavalue":{"value":{"amount":"+0.9196966","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":"Q1005937$83D4AA0F-90C0-4383-8F35-F029DCE5615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71099842228bc01dcff4a758c4f7fd4f76376eb9","datavalue":{"value":{"amount":"+0.9193024","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":"Q1005937$407DDDF6-1C9D-4E3D-90CA-4E87E21C2E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39dbd2fc855554e505b91049187a5f408000dbc","datavalue":{"value":{"entity-type":"item","numeric-id":4681890,"id":"Q4681890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6e8503da9598c50e6ecb80b6df65b8ba738d7d","datavalue":{"value":{"amount":"+0.9185771","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":"Q1005937$70073F21-3F50-4A8A-8698-D36B0657AAF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the proof theory of the modal mu-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_proof_theory_of_the_modal_mu-calculus"}}}}}