{"entities":{"Q5111208":{"pageid":7140782,"ns":120,"title":"Item:Q5111208","lastrevid":53740409,"modified":"2026-01-25T15:42:06Z","type":"item","id":"Q5111208","labels":{"en":{"language":"en","value":"\\(\\aleph_1\\) and the modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204330"}},"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":"Q5111208$DD46F4AB-61F8-424F-8E30-8BA7E9B03D99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10d54a3c43d14e607a6333564ef7db10d0c4eecd","datavalue":{"value":"1434.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111208$9D1B431A-BBC8-4015-BF52-DA1B01771024","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":"Q5111208$07A0BFA4-274C-4EA2-9F89-BEF3ED59BB0F","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":"Q5111208$0C42C1D4-CEFB-4802-941B-254C64DDFEED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-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":"Q5111208$1EA67B92-E54C-4B0E-974D-D6405351DF5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111208$E6513766-FFB5-4E1C-9173-1774BB7731F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111208$97C08E91-5308-4520-B401-9ED7BBAFB667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111208$0B44B9AF-E565-47CE-A517-2368EF60E658","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7696d66ada0768d2c9325cf1d2777cdafceba5c","datavalue":{"value":"7204330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111208$2A1F0CE1-EB74-4E18-950E-C24C1648FB44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111208$7EF6F4B0-868D-420E-954E-2F1312EF4FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca54c55a2a19910b1ee13be43cef1b36753653a","datavalue":{"value":"regular cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111208$DA862924-EE34-4310-A7E3-2C2969C2C58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf835a3110a8b02fe3c7aa029b1674fa67c2560","datavalue":{"value":"continuous function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111208$D8E519E4-52C6-47BF-8F80-739620885167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6432edbe480f8997008aa130c150eefdfedc5b57","datavalue":{"value":"\\(\\aleph_1\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111208$FB2D92FE-97B1-4592-96A7-6456B4AB1476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea5eeafcd85ccd85e5e21fa173c4b27da473fcd0","datavalue":{"value":"\\(\\omega_1\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111208$47A57A17-AB00-41B7-B752-E36F8ECFAE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47277288e51954127f50dedcb1da5cb3f9123540","datavalue":{"value":"closure ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111208$C29DDBA6-CE18-43F3-BCB6-E7BDC8893204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5953bacab1a56e63f04b4c6d32795c581b64f0d","datavalue":{"value":"ordinal sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111208$28695924-9BFA-4EE6-AEC1-8A36ACFAE6BE","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":"Q5111208$5B09F4E2-5CEB-44F1-AC0E-183BD6887D92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30b5d3637da1e2a05e5d3e8bd7bddc48657ece0b","datavalue":{"value":"10.4230/LIPICS.CSL.2017.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111208$E9E5386C-26C6-41CE-A709-8B5647BD3488","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":"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":"Q5111208$82706385-EF9F-4427-AB3F-B3B3DF556B78","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":"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":"Q5111208$6BEBE005-379C-48B0-8710-CBCA28A59633","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":"aecacf741335251ea09d978e2a506148b4325e6a","datavalue":{"value":{"amount":"+0.8114300966262817","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":"Q5111208$3AD15A10-1BCC-4370-A321-2E447758EC22","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":"908d3a4f21dd46383db0015bfe74c802ecd4e62d","datavalue":{"value":{"amount":"+0.791753351688385","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":"Q5111208$CDFE810F-4DB0-42EE-B275-0C8ABCF20529","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":"96b02c8a0d2660839aef5ffbd338c9e3cce93c98","datavalue":{"value":{"amount":"+0.7529683113098145","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":"Q5111208$D91C64FF-CE04-423F-BB77-F4AE7800E404","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111208"}}}}}