{"entities":{"Q2303613":{"pageid":2314356,"ns":120,"title":"Item:Q2303613","lastrevid":55373011,"modified":"2026-02-17T14:43:39Z","type":"item","id":"Q2303613","labels":{"en":{"language":"en","value":"Closure ordinals of the two-way modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176944"}},"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":"Q2303613$938FD79E-4ACC-477B-8EFE-EFD82393DD28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35b4280bb954653430606ccc1b18101cad060176","datavalue":{"value":{"text":"Closure ordinals of the two-way modal \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303613$958E7201-792D-432C-811B-41723E4B4E64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1cbf94947dce0efa063b58cf61b622f6e0e9efb","datavalue":{"value":"10.1007/978-3-662-59533-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303613$5E802C33-6D9D-45F8-BED2-C5FAB0CCDA2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d60119def50d840be47e719eac0ff12f2c890630","datavalue":{"value":{"entity-type":"item","numeric-id":2303612,"id":"Q2303612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303613$197A6F18-E189-4491-B0D8-0C6847DE659D","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":"Q2303613$5A811327-AF1B-4A9A-A4F5-87E9154F0742","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28eb8a4277470500766552d0320b8f6735887226","datavalue":{"value":{"time":"+2020-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303613$CFC58B45-CDA9-4079-9619-807D424C2C45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303613$BA6F9008-02BE-4973-943A-86A344EF96DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f8127b24221c34ee5cf8654dec9361fb3e788c4","datavalue":{"value":"7176944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303613$582D87B0-A479-41D8-B39D-D1F7777ED3FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303613$5C8A9D6E-7001-49DF-959D-FAE3376B7D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303613$14BECA96-5B71-449F-B8F0-446B995B6CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf11bdd967a69b9925ac1782416d9cd8edb27ab","datavalue":{"value":"closure ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303613$88F27A26-79C3-4653-824D-691163294923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b381ccd10dfd616cb93766c2792e8fbf191661b2","datavalue":{"value":"two-way \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303613$18C0B970-7BB1-4BC0-9F1A-AD5A593A1486","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":"Q2303613$8E3AD886-4DAD-4134-B932-849A7E7FFB08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47c2d4a74946497bd06013633e8bdd9bfa19505f","datavalue":{"value":"https://doi.org/10.1007/978-3-662-59533-6_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303613$027461AC-0248-47CF-BAE0-E529A4DAE650","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8879869d7d2aafcd3da532cc13f1034189c61de5","datavalue":{"value":"W2949814736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303613$713381CB-7EDE-48D0-9DC2-F3262BD051B4","rank":"normal"}],"P1643":[{"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":"fd9fe7b13538970c77f8bc3c30d30ac3f91304d6","datavalue":{"value":{"amount":"+0.8786307573318481","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":"Q2303613$3CA2D28D-B466-4F5D-A6C7-A16D82043030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24828d27186af82d4624127976b7de638ff3dba1","datavalue":{"value":{"entity-type":"item","numeric-id":4972732,"id":"Q4972732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5656b79b2f2b934e231826ba0b5db762076b88a7","datavalue":{"value":{"amount":"+0.8214694857597351","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":"Q2303613$22E1B727-E750-47E1-9DC2-A88CCA0B6271","rank":"normal"},{"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":"bf19017ee887a61c6dfce12e3fd623ae484edeb5","datavalue":{"value":{"amount":"+0.8200013637542725","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":"Q2303613$53B80F99-06EF-4C4C-8F64-813AB89A9252","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":"8a1649644308d40fafde5bf1ffcc101acde23829","datavalue":{"value":{"amount":"+0.7190133929252625","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":"Q2303613$038A4EAC-EE90-4C37-9165-7E7B2863B82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f2b2dc5add5ca8910de13f750b64d1a381a1f4","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7714e2ccc75ae06ce34f6e0de67300d0a9294c6b","datavalue":{"value":{"amount":"+0.7172235250473022","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":"Q2303613$2742BCDC-283A-4D9E-89FF-6E58044B048A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2303613"}}}}}