{"entities":{"Q1854404":{"pageid":1865146,"ns":120,"title":"Item:Q1854404","lastrevid":69361113,"modified":"2026-04-13T06:29:31Z","type":"item","id":"Q1854404","labels":{"en":{"language":"en","value":"On the formalization of the modal \\(\\mu\\)-calculus in the calculus of inductive constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853151"}},"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":"Q1854404$B8D12298-25AD-46E1-9F22-D26C8AADAF42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f34ca2f70ec5676af6edb350e32f7084e75042a","datavalue":{"value":{"text":"On the formalization of the modal \\(\\mu\\)-calculus in the calculus of inductive constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854404$FE5E6EB0-7D46-4B30-8B25-16304BC1B0DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"decde222a6d18f645137c507fd23b71f2dd7d9e3","datavalue":{"value":"1007.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854404$EE23EB54-D9AE-4BEE-B0FF-6E82D1419E6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$63A19574-418C-455F-AC9D-40BC1FB862A8","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":"Q1854404$41ECCBA4-BEB6-4039-87F8-FF53764116D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-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":"Q1854404$47307DEF-740C-4210-B5E7-6B753FE7C8E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854404$72942838-9226-4CBC-9828-5C5541273335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854404$72750168-3451-41FE-BD24-C68086EF45B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854404$2193D747-920E-405A-81C2-F0CC1CA59555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854404$F7D50C9F-C29C-4F06-A08B-444246467415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854404$48E2B0B0-A01F-40D3-BF28-D2D5CE3F231F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854404$004DD408-6789-4CEC-AE9E-8BA85AEBDA05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84d063e73927dba59b822d1752e1107341e2bf58","datavalue":{"value":"1853151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854404$ED78A4F6-B297-4D36-A742-88E9ACA5805E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b799ee8541227b422838eb27e9e18feb5d10c175","datavalue":{"value":"natural deduction proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854404$17862320-F10F-4510-98F7-A761A9335C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92370f4eb50df84bff99fb425966e8e6ad8b438c","datavalue":{"value":"propositional modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854404$E1086DA7-4DD5-472F-A3E8-70AC3F3887D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee22a16b68ff7690ced49d39b0f7a8a6db96b60","datavalue":{"value":"calculus of inductive constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854404$6A67D553-3751-4C1E-A23C-9B9D1E718EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb3ab4db7fee0c31bd103d012b65b00145ef58a","datavalue":{"value":"context-sensitive grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854404$5A290EFC-0643-4C37-B4E4-11B4865C31C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854404$2FAEFBE2-8788-410B-A5A5-424222B67278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa2ca6ee1aff27cb3cbbdd2ff059367338bae6c1","datavalue":{"value":"computer-aided proof environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854404$DAEDC55B-F1E2-4D97-ADB0-8D5CA6B3AC04","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$64FFB946-A25A-4CC7-B24E-B37AD31FEEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$C024B44C-2E0E-485D-8B8B-976D34B46E9B","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":"Q1854404$5F479070-1E5F-4671-A53B-EF885F15E5F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"965c8c82e536907229504af5afa7a1d3ac93f926","datavalue":{"value":"https://doi.org/10.1006/inco.2000.2902","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854404$8185ADD3-9A4A-440A-AD5E-447D090EFC97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd4f2e8e9351123141d921ef5633b40db8a78c1","datavalue":{"value":"W1972691992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854404$499EE3B8-E571-46B0-869E-ED345C1F8988","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$A0BEFEE7-13CF-4699-B032-32B53A50BD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$0CF93BA6-4185-4355-87B9-93E9BAF97EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8448c0105e91748355fbfe83c6a8ebfb33e3531","datavalue":{"value":{"entity-type":"item","numeric-id":1577344,"id":"Q1577344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$4E3F5907-A747-44E6-967E-D7B36E76B907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450927e1d852a7d15cf0194c2cb39e02a3cf5c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4007157,"id":"Q4007157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$286A5BFC-9A86-4868-9F1E-32D086EF2825","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":"Q1854404$B98017DC-2055-4D8C-9D3C-26259367E10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$229CF582-CABF-43EF-B227-52696FBB1E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$14174100-0ECF-46FF-B36B-93508C8DAFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$64FB3684-D046-4081-9623-142D261A80D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4a579612272c08278f85b2a068decf36768945","datavalue":{"value":{"entity-type":"item","numeric-id":4647578,"id":"Q4647578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$FC0F3765-4F44-40C1-8670-768DFF18F550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$AD64E956-0243-4272-B9B9-4A88E856C5BE","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":"Q1854404$EC30133D-54C4-4DA2-93C9-69205BC29C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$409DAE7A-EB2C-4264-8791-3878A74D40FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$FF0D59F5-EACA-4C55-AAEC-0B95CB444B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4d4048d68302ad95851d7b1bf999b446bba869","datavalue":{"value":{"entity-type":"item","numeric-id":2751369,"id":"Q2751369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$1F25E5A5-6134-4543-AB4C-53BCB424FF85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854404$F540FCFE-7816-4A24-93C6-39D97EC0A9E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e5cf1a4e0b13cdb5f2249ebbdab1e5dd6e033df","datavalue":{"value":"10.1006/INCO.2000.2902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854404$A348F3ED-C6DF-4CC6-8A41-83DBC2C99440","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"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":"Q1854404$76EE5C10-3587-47E8-ACB1-1F0FBDE1AF1E","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":"d79697aae2c460cbd522b5f01e905e638d96da21","datavalue":{"value":{"amount":"+0.92390233","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":"Q1854404$204DD309-897F-4069-A30C-AD7E9DBF41C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9034df5f8ca2b7307deb2b17ebf39e72482e90","datavalue":{"value":{"entity-type":"item","numeric-id":4644493,"id":"Q4644493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c780add4b81c89b92dfb71f0244847df9e1baff6","datavalue":{"value":{"amount":"+0.9162086","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":"Q1854404$37EFDD69-FC4F-42E1-BB33-E2E9FD206CAD","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":"4e771a70d77ad6756ba36e76b2dc4653cd828f58","datavalue":{"value":{"amount":"+0.9119953","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":"Q1854404$37DBC22B-21F0-4B64-B43B-B252D61D281A","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":"8c25d8378f9118c11451654a0b3f1e30526f1a8a","datavalue":{"value":{"amount":"+0.911521","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":"Q1854404$D13579DB-590D-492F-917B-4D4B849629E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8360e23067f6d47764214a5f12daf6448a5281f8","datavalue":{"value":{"entity-type":"item","numeric-id":2506827,"id":"Q2506827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31792f81c787d80c1da23ea7a19a4b5eb7ab5f56","datavalue":{"value":{"amount":"+0.909914","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":"Q1854404$552A670B-948A-472B-B1C1-C4AF5E5967C1","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":"1c7ee5e55f0d0dccd8a7b05a9d2036cb94c5e7ae","datavalue":{"value":{"amount":"+0.9091423","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":"Q1854404$472994F4-9E9E-4EC0-8CEB-CD3CFA4B1580","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":"4ac2eedd7455f57d2f61038b47d7aab97520b680","datavalue":{"value":{"amount":"+0.90506","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":"Q1854404$C926DE76-AABE-4E77-96F6-F6CA23007C02","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":"59130369f45b7e1d6bbc7c0c091e4c693711b6f3","datavalue":{"value":{"amount":"+0.9038972","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":"Q1854404$9E869C1B-B3FF-47A7-8DD4-60537B2526A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cfb37f517f595e646c2fbe1feb393a78642bb95","datavalue":{"value":{"entity-type":"item","numeric-id":4938644,"id":"Q4938644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389913e726c2e250f939253a784b070654e428c1","datavalue":{"value":{"amount":"+0.9027711","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":"Q1854404$A07F97B4-7113-4C09-9EDF-14730FCB1E5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the formalization of the modal \\(\\mu\\)-calculus in the calculus of inductive constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_formalization_of_the_modal_%5C(%5Cmu%5C)-calculus_in_the_calculus_of_inductive_constructions"}}}}}