{"entities":{"Q2958510":{"pageid":2969229,"ns":120,"title":"Item:Q2958510","lastrevid":52733954,"modified":"2026-01-23T09:31:05Z","type":"item","id":"Q2958510","labels":{"en":{"language":"en","value":"On closure ordinals for the modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680127"}},"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":"Q2958510$778D955C-346A-4730-962A-0FA0547ACF47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd4b0d2ceead2e3c20f4c82332e89a5e60ee3ca7","datavalue":{"value":"1356.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958510$D650A7F1-7A63-498A-95B5-686309463C46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f5b97643c937daca3f616369c991f46ae54674","datavalue":{"value":{"entity-type":"item","numeric-id":1032625,"id":"Q1032625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958510$7BD8B284-637A-481B-B788-0C34EE958490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a600e00a0067a948cd8d1c1dc848b116163ff5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1987217,"id":"Q1987217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958510$3EB0155A-149C-4DFF-91AE-0047AB83F52C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958510$103FA85A-7C64-4B6A-906D-C83493B40925","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958510$39AB4686-7067-483A-BF52-7508C1DA4949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958510$4E126C43-6C9B-4B00-8FEB-A48EF82E40ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958510$E491242D-DF1F-47A1-87D4-60FAB58ABF57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25fa271e69832626a0ee38535d51fba3b64e3786","datavalue":{"value":"6680127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958510$E720D08E-4CA0-4EB7-A383-F996F9746760","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf11bdd967a69b9925ac1782416d9cd8edb27ab","datavalue":{"value":"closure ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958510$D31B8EBD-91AF-4510-9253-8934725B0612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958510$F7ADBECC-F286-42D7-855A-00F9ADA79D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958510$E659C211-957F-44CA-BA2C-9E0AAB52D8AE","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":"Q2958510$A1BB50FF-26FA-4502-9306-55A88F42554D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89162fa7c6ba102fe181e51528844ad54d07251b","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.CSL.2013.30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958510$6C5966EC-6438-4733-BB84-32D829B0AD95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b4d56b5eaac20cb22e96dc472bb06e7b541a74d","datavalue":{"value":"W1924119758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958510$E3103DC1-0864-4465-8C1F-07F879AD6324","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"337c24f650dff60632775d6d1c22e6bcc863fab7","datavalue":{"value":{"text":"On closure ordinals for the modal mu\u2212calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958510$8D2D9903-9852-4A97-9AED-621B2524BE01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"447f5b4671f649b0849b18f5873e1157c8009a5e","datavalue":{"value":"10.4230/LIPICS.CSL.2013.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958510$A074BD15-BADC-4AF3-B169-60B39775475B","rank":"normal"}],"P1643":[{"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":"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":"Q2958510$53D6E4CD-9D4F-408D-8610-0331B37D313E","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":"b24f971003f6763236cbb43a9ee619e18a697737","datavalue":{"value":{"amount":"+0.842409610748291","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":"Q2958510$6BD4034E-8FB0-4689-A797-062648F596FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c69ae2f62c940b46c1609776f341b089f3a5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3010366,"id":"Q3010366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0461e0624f074d50137e2373c282fd84dedef6","datavalue":{"value":{"amount":"+0.7783151268959045","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":"Q2958510$7D5DECA0-D605-4E20-8D4F-0B674AFC1BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a62eb90c970836fde89637acbad581b0274865a","datavalue":{"value":{"entity-type":"item","numeric-id":3655261,"id":"Q3655261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b428ab75b9499014d1dfb6b8995e43c90ac933","datavalue":{"value":{"amount":"+0.7660753726959229","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":"Q2958510$8A7FCDCF-5E86-406C-BC67-DF125791EAFC","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":"35af8ac1b697ca3f0298da40d64ab34053903a88","datavalue":{"value":{"amount":"+0.7640001773834229","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":"Q2958510$9D27A56F-B631-4184-9FDD-3D9A9C2E1AC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958510","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958510"}}}}}