{"entities":{"Q4644493":{"pageid":6674074,"ns":120,"title":"Item:Q4644493","lastrevid":53313377,"modified":"2026-01-24T17:18:30Z","type":"item","id":"Q4644493","labels":{"en":{"language":"en","value":"Justifying induction on modal \\(\\mu\\)-formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997879"}},"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":"Q4644493$65A6BD51-DC98-4643-A2D7-9C3DF360589E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fa8a7c029114679d22203fa7e1116e159744f06","datavalue":{"value":{"text":"Justifying induction on modal \u00a0-formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644493$4D0D92B0-1F25-497F-9336-69B868AE26B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6b72c037369e8d8e54863000c0a3408e77574e0","datavalue":{"value":"1405.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644493$15D41D1D-82C6-4324-8057-7EC9771337A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b03184d2d7bf4905e8e5f3558966f7300c2e521","datavalue":{"value":{"entity-type":"item","numeric-id":1015478,"id":"Q1015478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644493$9CDD63DF-1DF1-40AC-979F-D1CCFBF4EA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9307a593e01e90a590b66f7c8dd96b54bedab4a8","datavalue":{"value":{"entity-type":"item","numeric-id":3081645,"id":"Q3081645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644493$78BD661C-5F51-425C-B24E-8B124A682479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644493$487CEC50-B5FD-40C4-91F1-A32761CA8711","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644493$B235B868-F09F-4736-B4F0-17E480C00ABC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d43e28e1c572d2d919920a4aeb62fc3c3267af9","datavalue":{"value":"https://semanticscholar.org/paper/00f4423e7dd89bc00c5171fa454ec6d9ab98261a","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644493$715D1EF8-B2EA-4EEE-9A87-90F1DE8FF299","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644493$8283929A-B4BB-4CB0-9469-41EA1EFFAE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644493$C350671A-434D-40C2-AC67-09F1B91DFDB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da6f283f1c850813dac7c3fb4c920d54ae601ea3","datavalue":{"value":"6997879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644493$5A423598-8EF7-44B9-A5CD-93967C0E4528","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644493$D855B80F-788B-4C8F-BEF0-56DE39A51C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbdd8d2201adf45f4cce4e679780005091f794b0","datavalue":{"value":"rank function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644493$3A9FE1B0-54FA-4357-B985-87BAEC5B4EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886f30efe2c1821038e4d6e87984b1966f043710","datavalue":{"value":"fixed point approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644493$F60FAECC-8C77-4EEA-A651-65123202FBB1","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":"Q4644493$98EEF9B0-3AC2-4C93-83B7-6C465F0F5584","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7cd622b11a2fad5af0481f5dd64acdd1be52838","datavalue":{"value":"W2118915359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644493$1C6DABAF-BAAF-45BB-8888-7E41ABCED8B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e98e6194a5206658ccddd1b12bb7366e44f0a00","datavalue":{"value":"10.1093/JIGPAL/JZU001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644493$33645022-9029-4B5E-B759-5ADC9DC4B62E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644493$6B95C377-CAC4-40AF-BD6E-A0C9DB2930D6","rank":"normal"}],"P1643":[{"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":"bfb63009415abc7be9d1694df849aa2f5f66af07","datavalue":{"value":{"amount":"+0.788957417011261","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":"Q4644493$8CBA557E-F67B-4473-9A61-520B5348B96B","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":"6d6c918af4bca1d964615e79a27d00fd4510f486","datavalue":{"value":{"amount":"+0.7666481733322144","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":"Q4644493$ECFE93FB-3EEB-42CE-ACE2-F6CFB7AF505F","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":"d9bcded1f7c1527b7f3f7825525fad1492ed8fc3","datavalue":{"value":{"amount":"+0.7650851011276245","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":"Q4644493$6C760FF0-875C-4D90-8B68-135CE51DCD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1f46073c3621d2ba073c3d70cbb7d015be3d55","datavalue":{"value":{"entity-type":"item","numeric-id":714717,"id":"Q714717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e8205b6721f4b15d5ac485c7b6785e5fcd47f1","datavalue":{"value":{"amount":"+0.7466493844985962","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":"Q4644493$D2024F15-5689-4F09-92A8-514209930AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddca85be136c443ddd20ae5659a5490dbd55add3","datavalue":{"value":{"entity-type":"item","numeric-id":5351974,"id":"Q5351974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208d8d3a2fcbd54cbbfdf2e5254fd441139e5793","datavalue":{"value":{"amount":"+0.7466244697570801","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":"Q4644493$5AABF566-9058-4FAD-9D19-EC4C27B30F31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644493","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644493"}}}}}