{"entities":{"Q1239153":{"pageid":1249903,"ns":120,"title":"Item:Q1239153","lastrevid":48660313,"modified":"2026-01-05T13:02:26Z","type":"item","id":"Q1239153","labels":{"en":{"language":"en","value":"Hereditarily finitely axiomatizable extensions of logic S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3557744"}},"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":"Q1239153$5EF81D60-FB40-4724-8E32-DA1042F19FD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd9c9023e84050cd3bf91238f3b20639753903ad","datavalue":{"value":{"text":"Hereditarily finitely axiomatizable extensions of logic S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1239153$886F6C2E-67C9-41E1-8FBC-4B9506BD8FA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"337c52b1f397611f4e3b6b234fd88cc585ca7a72","datavalue":{"value":"0358.02022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239153$D6EFF051-A8CD-44BD-9C19-92BFDFB3F53E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9b0df6bdd7ed3e35f78706926c4a3ee24f6e801","datavalue":{"value":"10.1007/BF01877236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239153$C03BBE29-31C0-4CEA-906F-209F907F9BCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$519DC6C5-CFC8-4BD2-BFF1-6A313CD78672","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1239153$DA4F2472-B705-4878-9AE9-323468D7C567","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a13a432f9c776afdf4bae92a58cf9dcd0c64316e","datavalue":{"value":"https://eudml.org/doc/186920","type":"string"},"datatype":"url"},"type":"statement","id":"Q1239153$5719BC44-F73E-49EC-9609-92112F0ACF2D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b596002c520d2e924743058519ac929ee781d0a","datavalue":{"value":"Es wird gezeigt: Die Tarski-\u00dcbersetzungen der tabularen und pr\u00e4tabularen superintuitionistischen Logiken sind erblich endlich axiomatisierbar und daher erblich entscheidbar. Die ersten beiden Schichten des Verbandes der modalen Logiken, deren intuitionistisches Fragment im Sinne der Tarski-\u00dcbersetzung tabular oder pr\u00e4tabular ist, sind damit abz\u00e4hlbar. Die \u00fcbrigen Schichten haben jedoch die M\u00e4chtigkeit des Kontinuums. Die tabularen Logiken haben im Verband nur endlich viele unmittelbare Vorg\u00e4nger.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1239153$F036AC19-0114-4C52-BC61-EF1E32D17666","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4de599665dbbb2e898ee42e84f0cf87926a768ac","datavalue":{"value":{"entity-type":"item","numeric-id":1239152,"id":"Q1239152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$B6AEA9FF-08FB-419E-AF26-2474752C3C73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239153$F4DC1A7B-ECC9-4581-BC3D-FC393968DB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239153$57301BA8-80C9-4F9B-A24D-8DD070CD39BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48238344817d39773d3dcde515bad243106eb5ad","datavalue":{"value":"3557744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239153$7D48A16B-74EE-4A77-96DD-4EB7204807F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1239153$7A8B3E28-FEC6-4D72-AB58-09C2887DA973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8bf23ef354863a54a09c5e30dd61ed4b5838cf1","datavalue":{"value":"lattice of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1239153$ED0AB603-5E48-4D8E-8523-A6E742A7DBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5df05f0e1778412efb29478ac856dd97e5dcf64a","datavalue":{"value":"hereditarily finitely axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1239153$5B767F5E-A217-472A-86D4-B3DD7BA0B289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38cf68a5879dc0699cc660450d7bce2437ecb0ae","datavalue":{"value":"superintuitionistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1239153$53279750-2980-459C-AD53-2282722B00E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"975543c60e1e771c39dda06dba52c72f95a08d17","datavalue":{"value":"Tarski translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1239153$B8702FBE-7A8C-4AC4-94F4-4B1FFA3C7472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdb95a216905bc7898ace6970027c9493b66376","datavalue":{"value":"tabular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1239153$CF8BBFF5-9F7A-47E0-9C98-F3ADCD563443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63688456e82c25f9145737d799d24ab203b09982","datavalue":{"value":"pre-tabular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1239153$FC74A744-D5B9-47ED-9C92-85E324418E86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$D66AE886-23A9-46FF-81A4-A2EC72576353","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":"Q1239153$4087655C-4799-4EA8-85ED-75B7ACAD7202","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"145f5b1950d163406e38b71550af6302acbd96fe","datavalue":{"value":{"entity-type":"item","numeric-id":4041543,"id":"Q4041543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$C3234CD6-77CA-4F9F-8467-3D63625D5AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$E6128D74-CC4E-4DE3-AA31-752C54A1BA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$9FC1BAE4-491C-4117-9940-109861320039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d293242a8f187bce90fbd6c92a1dc13219769521","datavalue":{"value":{"entity-type":"item","numeric-id":5545944,"id":"Q5545944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$A21F545E-9D4F-482C-97ED-79E0E2FE21B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fefae4aad4ffe92f5da65d23427de4252bca48f2","datavalue":{"value":{"entity-type":"item","numeric-id":5533177,"id":"Q5533177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$728A681D-DAEE-4046-88E1-2AF4E8B8D37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ae728e1569e8881389d9f34d1cacef85ad1d45","datavalue":{"value":{"entity-type":"item","numeric-id":5607976,"id":"Q5607976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$EC7C71A8-3E93-4448-911E-527B2C1A8A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b78f04a769bf9d49ac8bd1c0ab56559bb3ccfe8","datavalue":{"value":{"entity-type":"item","numeric-id":5635425,"id":"Q5635425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$7537E7CB-5142-437C-8189-6D80ADD168EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239153$CFA12652-B0BD-424E-ACE8-A82838B243C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffd30b592a22035afdf4aa5e3cbbe84be4cf59f6","datavalue":{"value":"W2036348018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239153$CFC75D18-B343-4277-A7EB-32363777E670","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d8fd88588e1100e6be8e826e73a97a8f33a805","datavalue":{"value":{"entity-type":"item","numeric-id":581390,"id":"Q581390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0699c112e1e204f875778e17ac9011727fca17c8","datavalue":{"value":{"amount":"+0.7700353860855103","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":"Q1239153$BCFB0856-8E36-468E-A1D5-A6AE8F619940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66267b116e4fcb9fd4df62982c13e8d374e2d413","datavalue":{"value":{"entity-type":"item","numeric-id":2455086,"id":"Q2455086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e5a7ff85db4577c930ef805c315f30aa65322f","datavalue":{"value":{"amount":"+0.7415345907211304","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":"Q1239153$89F5544D-AB52-4FDE-9467-724CDCDF69A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7180c0a6fee01497e0dc5601ffc3b44dc9cf716","datavalue":{"value":{"entity-type":"item","numeric-id":2436104,"id":"Q2436104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94897506ee03801620f74ecd7a3f9bf21df32ed3","datavalue":{"value":{"amount":"+0.7129917144775391","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":"Q1239153$FBD71A0B-2B4F-46F3-A9EE-0BDBADB015C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e889ce7d2824bca47601b9178450c5dd4562391","datavalue":{"value":{"entity-type":"item","numeric-id":4204133,"id":"Q4204133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72afcff627220cc041a4ecd29bd76b27ae39022c","datavalue":{"value":{"amount":"+0.7125385999679565","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":"Q1239153$215DDC54-58B0-4713-8751-78340B10FE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34eb3c0e8c2692107418dae4314be8ed0fa74cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4636053,"id":"Q4636053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6cf663927a69a622d84af8558f7b1f2bffb37e6","datavalue":{"value":{"amount":"+0.7094540596008301","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":"Q1239153$139E0A06-B193-4487-9668-C29F006BD2C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1239153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1239153"}}}}}