{"entities":{"Q1370458":{"pageid":1381198,"ns":120,"title":"Item:Q1370458","lastrevid":68753706,"modified":"2026-04-13T01:50:23Z","type":"item","id":"Q1370458","labels":{"en":{"language":"en","value":"Inverses for normal modal operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1078606"}},"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":"Q1370458$55701307-4AEF-4076-A031-0DB1B57A0EC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86eeacb8bfe2c6f951f4bef2742f7124f2024025","datavalue":{"value":{"text":"Inverses for normal modal operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1370458$7CAC85F5-A3A5-4F40-92B0-4A645A9B6DAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"258d39bf03e56dc2628864e5e26de46846c1fbbe","datavalue":{"value":"0887.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370458$BF8F0F0A-A201-40D7-98FA-441E0105ED93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e497a228db3f83fcf01e4b2fe2f705d6748bc108","datavalue":{"value":"10.1023/A:1004995316790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370458$D7BCA524-244E-4153-9264-62D0CA66CE67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbff3d7a44383c7cae8458296cf157ea0c3e3007","datavalue":{"value":{"entity-type":"item","numeric-id":190279,"id":"Q190279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370458$D9AC1E9B-6939-4F46-953C-129864CEF1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a210cca4b8c5b98a2c874a880d1665a0d297772a","datavalue":{"value":{"entity-type":"item","numeric-id":190261,"id":"Q190261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370458$40F52368-0789-42B0-B0A2-AE6E2258275F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370458$E79F2D08-AAF3-4237-86C4-DDEA4A9EDED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412f7a31e42853d129270920f950562a85c36f4d","datavalue":{"value":{"time":"+1997-10-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":"Q1370458$A2B421CF-E89D-4E68-A262-5E4F68FA4E5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"42cc3d239f752f2314c8c848ae644ff72ead285f","datavalue":{"value":"A modality \\(L\\) is a left inverse of \\(\\square\\) in a logic S if \\(L\\square p\\leftrightarrow p\\) is provable in S. Existence of inverses is connected to derivability of \\(\\square^m p\\leftrightarrow p\\) in S.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370458$801450B5-7225-47F6-B234-9EAD06CA1351","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370458$31262044-9A56-4DAD-BA35-37B6F9BA51DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c86bf24186bbb350d00aeb1b42f2e767e83e551d","datavalue":{"value":"1078606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370458$A21A6C99-2EBF-4D3D-B6F5-8F6E6BC09D07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370458$606A2E29-E1AD-435A-B278-DE65BEDA0698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fc914bbfef8506f0594dcfb6ce2c445860c4b2d","datavalue":{"value":"left inverses of modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1370458$3465CCFF-C2D5-404C-85A1-06157DF781D2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1370458$3E17CF37-52E8-469A-A71A-D727F8086CBC","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":"Q1370458$70A0A40F-94DF-4418-B1D5-C3C8A29219CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84ead0461259f2fc98ee3760ce56e103e5e9ea96","datavalue":{"value":"https://doi.org/10.1023/a:1004995316790","type":"string"},"datatype":"url"},"type":"statement","id":"Q1370458$9A07589B-46F5-4DCA-B32B-9FEBF44F6D46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"167ad71e6d59ebd86c5f5ced500f591cf1f7ccb8","datavalue":{"value":"W1517992131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1370458$DDBBD0FD-D8D1-4703-B281-288C0F801AC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73771a9673e1d2a53c7b5047fe3d302907145e26","datavalue":{"value":{"entity-type":"item","numeric-id":383565,"id":"Q383565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b243540987b80bcb5696336340750d80e676d4","datavalue":{"value":{"amount":"+0.7608842849731445","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":"Q1370458$175124CD-5F65-46D4-9EBF-F82F48058734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18c1bc013f8284c163141f776271cdc2e9463e48","datavalue":{"value":{"entity-type":"item","numeric-id":5937810,"id":"Q5937810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377eb45faa09d4de93ec84631d6b60d441da85fc","datavalue":{"value":{"amount":"+0.7214686870574951","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":"Q1370458$A86C25B4-7799-46A7-8411-AF0677EBFC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b251862e32eea1baa580289e45f1af2c885b8dff","datavalue":{"value":{"entity-type":"item","numeric-id":3179402,"id":"Q3179402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b18ddacd82daf91a960e71912d3b550eae65cd","datavalue":{"value":{"amount":"+0.7109927535057068","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":"Q1370458$B43E9713-98A3-417D-AFAB-8FE46EC0D969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7051f69f20cbd24c8d36c2b2a112f1d62ba6e6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1786563,"id":"Q1786563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09462f76325c723e0d937b77d2850997c12f80a","datavalue":{"value":{"amount":"+0.706903874874115","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":"Q1370458$B964AC62-B958-4447-8D0D-50CFAAAA41B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inverses for normal modal operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inverses_for_normal_modal_operators"}}}}}