{"entities":{"Q583188":{"pageid":584955,"ns":120,"title":"Item:Q583188","lastrevid":62940510,"modified":"2026-04-11T09:07:05Z","type":"item","id":"Q583188","labels":{"en":{"language":"en","value":"Infinite sets of nonequivalent modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132126"}},"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":"Q583188$9C5D6437-0AC9-4C0C-900E-7893127CF703","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91bb7134d935c230a098dacd00e07e53a986478e","datavalue":{"value":{"text":"Infinite sets of nonequivalent modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583188$A7DB890A-B175-430C-9B55-D7C9B14DA958","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a23c6d9f2043b32b3fea56463a0ccad3c5a4215","datavalue":{"value":"0692.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583188$F3365AAC-98B8-404B-ADB3-6FC982CED9C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583188$FCCA6251-7D18-4767-9EBD-19A80B50B630","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583188$6A0AEAA0-C1D8-4785-B664-9C1CE7A4D992","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q583188$2A2E9A11-5013-4E37-AA78-61F271E3FC04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e8185be4169a6943f1fcf15e5fd621b5dbab095","datavalue":{"value":"Although it is very easy to shew that modal systems like T contain infinitely many non-equivalent modalities it does not appear to have been shewn that in these systems there are no distinct but equivalent modalities. Obviously a system can have infinitely many non-equivalent modalities without all distinct modalities being non-equivalent. The author first proves that a wide range of extensions of T have no distinct equivalent modalities. He then shews that while K4 (and KD4) have equivalent distinct modalities yet, unlike S4, they have infinitely non- equivalent ones. KB, KTB and KDB all have infinitely many modalities, but not all their distinct modalities are non-equivalent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q583188$5A4471D5-63BB-41B8-848A-DA00CD6D4679","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ed4c52c97ede8269ca417792eb0c307e0c83ac2e","datavalue":{"value":{"entity-type":"item","numeric-id":516413,"id":"Q516413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583188$597C3995-C720-4C40-A7C6-AC4C78DD1376","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583188$7A66F922-BAD2-4C0B-83AF-2BA8743E721F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a3447b5940db6376407f9b775eaa37891a9077d","datavalue":{"value":"4132126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583188$9120642E-1EB8-4266-A471-48463B227255","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q583188$13C89AB7-69BF-457B-8DB2-25014AF6885E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829188eb2ee377bc98adf76b2d300d08c99601d0","datavalue":{"value":"modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q583188$58348C1C-F016-45C4-B94C-5DFD5451096F","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":"Q583188$44B99C1F-FEB7-4AF9-A590-D879F7D7EB28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae484fbbfe75be66aac237979154d294cfb701f1","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635240","type":"string"},"datatype":"url"},"type":"statement","id":"Q583188$8C541659-8355-4C75-AF93-46A3567EB070","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48e8aa4998beef29e8c63c697c45f243369efd75","datavalue":{"value":"W1975259571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583188$A6835C03-2DCB-4CCB-9088-8DDEC7750B25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09401f9f85744cc0807637586ab4ba986336a5f3","datavalue":{"value":"10.1305/NDJFL/1093635240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583188$C615089F-4776-4E8B-A637-911E81CC6904","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d72442134b1e2c7f2f67267ea0061ea617d0663","datavalue":{"value":{"entity-type":"item","numeric-id":4268416,"id":"Q4268416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247625f896360f494039c8404a480d01e4b29c7e","datavalue":{"value":{"amount":"+0.8117362856864929","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":"Q583188$1C498C31-EBDA-45F3-9BD6-575A21AF42F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab9ef6938548bd3d1b64e0a6b929e990f2bbe8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4789045,"id":"Q4789045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247625f896360f494039c8404a480d01e4b29c7e","datavalue":{"value":{"amount":"+0.8117362856864929","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":"Q583188$418E50AB-2190-4E93-8FA5-AE1102E09921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e8394782602a026b3b104933d3e160e3c0e806","datavalue":{"value":{"entity-type":"item","numeric-id":3486544,"id":"Q3486544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e52e7e2cfc0f709d1342db03155a404313fd0df","datavalue":{"value":{"amount":"+0.7979832291603088","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":"Q583188$92E130E4-1982-407C-B6BF-05FAEC490011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d196e86d5c9650d1e63fdeff70b7d675f83d3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3762286,"id":"Q3762286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e203ba716e96dd8e90fc63f8fcfa1290a3ee6cd","datavalue":{"value":{"amount":"+0.7627032995223999","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":"Q583188$D1D14E71-C11D-4E5D-B86E-81A1ED5D0018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99282093f86c49f25257eca573ff8a65f9b0000c","datavalue":{"value":{"entity-type":"item","numeric-id":3682466,"id":"Q3682466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8222d0aa755d68fd5a26e3895bbf6588e608685","datavalue":{"value":{"amount":"+0.7383638024330139","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":"Q583188$4B01DBAF-80E6-424A-9107-4D1FD9D1E55B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinite sets of nonequivalent modalities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinite_sets_of_nonequivalent_modalities"}}}}}