{"entities":{"Q4972732":{"pageid":7002311,"ns":120,"title":"Item:Q4972732","lastrevid":91780232,"modified":"2026-06-05T00:03:06Z","type":"item","id":"Q4972732","labels":{"en":{"language":"en","value":"\\(\\aleph_1\\) and the modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7136660"}},"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":"Q4972732$C2C8E6C8-59F3-490C-8532-6D7E7673CC3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"504d482ad91acf043755cf10e62f09b1cd3b4837","datavalue":{"value":"1454.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972732$D3765F4E-4E03-455D-88BE-36622EAE1C2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6be09e7ba570f5faa41154bd4f257af7db691c","datavalue":{"value":{"entity-type":"item","numeric-id":240375,"id":"Q240375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$3E0115E4-1B18-406B-A96A-9D3D14B2065C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a949a8b3d63625a1652b36a1addd2300d815341f","datavalue":{"value":{"entity-type":"item","numeric-id":1617820,"id":"Q1617820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$B28CA9F6-B7DE-4C98-BE34-EB5DF3AADE7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbafbdb1f99f69bc0ac1745c614aa03b0ae34444","datavalue":{"value":{"time":"+2019-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972732$D136D137-A6E2-4EEE-981F-29E4A31C5240","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05c85d0aaded8c3bd5bbb12fa1bb20bd79edc868","datavalue":{"value":"https://arxiv.org/abs/1704.03772","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972732$DD08BEAE-55F1-4EBB-B4AC-9FFC3B562309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972732$1801C5E3-0071-4644-A4DF-1F16F3FFC8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972732$4D73CA3B-4AA4-464A-B88F-36BD517B41D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972732$5A0B3C0E-73D0-4ED8-8209-A8911E9CADD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6f5e81b897e2e19b7f2b83b2d20249d10503682","datavalue":{"value":"7136660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972732$38E5EF20-BCBD-437D-B6EF-E9580DE48B14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972732$FD528770-8BE4-4DF5-9E17-947D59908853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca54c55a2a19910b1ee13be43cef1b36753653a","datavalue":{"value":"regular cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972732$E211C310-9793-4144-817D-6B0A85D3BE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf835a3110a8b02fe3c7aa029b1674fa67c2560","datavalue":{"value":"continuous function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972732$C72E5DF5-B638-45A4-9319-3C7FD13CBC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f85014cda14c650f8c0b207ef11bfa720f97d6f5","datavalue":{"value":"aleph\\(_1\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972732$073849DE-993E-449E-9102-7575A11DE7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd2e0e1be8088341609d6cc0e69ae55b4095930","datavalue":{"value":"omega\\(_1\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972732$69A95379-1BAF-4973-A73B-37AC6C970104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47277288e51954127f50dedcb1da5cb3f9123540","datavalue":{"value":"closure ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972732$34D7439A-6D76-4282-8D7B-42C3279E0BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5953bacab1a56e63f04b4c6d32795c581b64f0d","datavalue":{"value":"ordinal sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972732$10306B9E-9BD4-4799-961A-2AB7B924F7F6","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":"Q4972732$930CA650-32D0-476F-A330-5A5F5E13C1BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$8DA6446D-6E6B-448E-A9FE-92D72C5ADB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d767e1a731657117bc3ae3a5f1ea13a2977880","datavalue":{"value":{"entity-type":"item","numeric-id":2958510,"id":"Q2958510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$0421E10D-9577-43AC-93F3-37623A7EED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71300c9d6626c040c8b83b0552be673eacfb707b","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$872D306B-6A82-4F72-B757-8BC84A6E3854","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":"Q4972732$91F37BB0-7000-4FF3-B944-EF379313C236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83d2aee3aecf6a04f21544f51ee6adfcf5f9fef","datavalue":{"value":{"entity-type":"item","numeric-id":4177549,"id":"Q4177549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$878D1E91-9EC9-4FC0-ADC3-BCCAD0855587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cbbcd27efaec8075db404e69f67c2aae777293","datavalue":{"value":{"entity-type":"item","numeric-id":4411834,"id":"Q4411834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$3D18B2CE-5A64-45AB-AB42-CAF0EE49C092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22597860053f627146685f9d2704e1096f86e2ae","datavalue":{"value":{"entity-type":"item","numeric-id":4635600,"id":"Q4635600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$1C5B13FE-85B6-4C5A-AF56-4416579B8E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$15BB068A-7542-438B-9D66-EC600C100CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3f60964ed57d86f2847571e03e4efcce710916","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$CA68B3D1-6D13-4AF0-9538-BE6C6A40DDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$04D2E8B6-1C27-443E-A7F3-5344F0080B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$F170C7F1-6BA4-40DE-84C1-3A3B88DF6F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fb3a2a370605bddcf190de53623d5a9eb1feaf","datavalue":{"value":{"entity-type":"item","numeric-id":3540176,"id":"Q3540176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$B88E868A-E098-4B5F-A2CB-858335463237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc8cfc16a578ccbebed44ac68761554ae34c570","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$C9355A0D-683E-4254-90F0-9A60BD322B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$35D6B924-C245-4E33-9E89-493FBAF2192A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$CCAFAF26-0E64-47DF-BB9A-EB1C7DCFB08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ea6390546d4a5e662622c1c745f8229d02e7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1338478,"id":"Q1338478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$920A758E-B75F-4497-9A15-022F5B04960E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10911b7c11acce5de411682ea3cd88f86fd199b0","datavalue":{"value":{"entity-type":"item","numeric-id":293426,"id":"Q293426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$1395629D-9637-47C2-ADB4-AAFCB130E9EA","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":"Q4972732$327DF16B-DF46-4DAA-BEB1-05DFDDA9C1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$69801959-9D06-4934-8AE0-056F22B9E628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d4852e470c8c2ecd1b7eb68342cd53f052d985","datavalue":{"value":{"entity-type":"item","numeric-id":1372357,"id":"Q1372357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$D5234402-8FFF-4BFA-A847-065DDF47C6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$748EB6AB-08D3-4DA6-9144-24940CD8DAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6be6cff01d2235451e68957f7f50c6f48767737","datavalue":{"value":{"entity-type":"item","numeric-id":1166268,"id":"Q1166268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$49E20794-8D46-4127-9247-B73B94F914B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$F3FC9219-5DB2-4A66-A770-2CE23CA88228","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":"Q4972732$BFAF9734-AD35-4374-95EA-5B2628E78655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad92c0fffcf91dfc123780236267d684235ac017","datavalue":{"value":{"entity-type":"item","numeric-id":5900672,"id":"Q5900672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$23908E8D-3233-47AC-A92B-7018F95E793A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$5769D0E9-1693-47F9-80E8-1C9CF7B77041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9290e0f78bdcb92b73aa5e434cc4d2ed51e2f3ad","datavalue":{"value":{"entity-type":"item","numeric-id":4731170,"id":"Q4731170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$9107B61F-412A-48D7-94C9-37060158E577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3949f528e82fd47768844b622a1e2504534da3c1","datavalue":{"value":{"entity-type":"item","numeric-id":4787834,"id":"Q4787834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$6B2EB33D-8C01-4092-B939-A2E3B9D5CDDF","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":"Q4972732$3450A829-AC1E-4AB9-862D-68DD07628A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611b4b935078a360190ff636d736f887e8acfc9f","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$64BC7C52-9CB0-4DC1-B27E-70A6DFEFD080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$C33EFD02-2008-4BA9-B8C6-C6AABF0D753A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fd72b68267ed148f52f3c66efe651a6d4ae876","datavalue":{"value":{"entity-type":"item","numeric-id":1150598,"id":"Q1150598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972732$7B50A326-C92D-4E43-B504-8387EEFBF971","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":"Q4972732$6CCCBDFA-6E51-4AEF-A956-20C748D587F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f3f647348ee8e4c772d350a9768ecf11cf6d1c","datavalue":{"value":{"entity-type":"item","numeric-id":5111208,"id":"Q5111208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"964ce1be77c77e4a029b34f080b8f1be1dc1d533","datavalue":{"value":{"amount":"+0.9990867972373962","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":"Q4972732$BDCBA822-DD3C-48F5-B318-3389A11406BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040f740d2d6074616da53efab8cf1b4f9c84a62f","datavalue":{"value":{"entity-type":"item","numeric-id":2958510,"id":"Q2958510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a63152c4bb529c9437e2ab7d42705b5413ab12","datavalue":{"value":{"amount":"+0.8429920077323914","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":"Q4972732$BC68E7DA-9EC1-4058-9345-EFC5249A250B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e615e7d0e04b6633760c034bfe90666f46c9166f","datavalue":{"value":{"entity-type":"item","numeric-id":3540176,"id":"Q3540176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c628f1629c22aa48788e7b6f6abb46189547d98b","datavalue":{"value":{"amount":"+0.8134195804595947","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":"Q4972732$A01195E5-C8AA-446E-B89F-0B39517BA53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec36172d005e4eb4f539d380bc30ca077d8ca169","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18dc0fd441713bfc1674759e04d4d6c0fe55daa8","datavalue":{"value":{"amount":"+0.7947620153427124","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":"Q4972732$413F941D-E7DC-4322-9DEE-5AE090F3993D","rank":"normal"},{"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":"f2ee5890bda460af9e796f474371b5d958fd12a4","datavalue":{"value":{"amount":"+0.7572623491287231","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":"Q4972732$3F1901D1-383B-4AE0-B5BC-C4AF1C1D79B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\aleph 1\\) and the modal \\(\\mu\\)-calculus","badges":[]}}}}}