{"entities":{"Q2776808":{"pageid":2787546,"ns":120,"title":"Item:Q2776808","lastrevid":79572701,"modified":"2026-05-06T14:14:06Z","type":"item","id":"Q2776808","labels":{"en":{"language":"en","value":"Invariant logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1716765"}},"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":"Q2776808$D1F999C8-8D55-456F-A0E9-35A18A429D3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c89eed2986bd114cbb3d8e8140b6716d415db7d","datavalue":{"value":"0993.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776808$CE3C433A-39E4-4F18-8D6B-72383FE4B912","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"038e797dce8577a599953ecaa64cde238c4ac836","datavalue":{"value":{"entity-type":"item","numeric-id":190342,"id":"Q190342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776808$9B1AE1B6-47DE-4029-9B61-6C766C84306B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4596813155b5f871fa61ac7e439e59bead33caa7","datavalue":{"value":{"time":"+2002-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2776808$6E5A51E7-9534-49ED-A671-04EB379C3F08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776808$87BFDC15-251C-42FB-A8BD-D346E32AF8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776808$3AC7AC9D-09C7-4132-B34A-FF280B858EC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92b789fe21ec0c40aded1b1c60b4abcce40f237c","datavalue":{"value":"1716765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776808$9029EC16-1D60-45CE-AF1C-19FBADD890C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6164534c441bc443994cebf855773aac19ae57d8","datavalue":{"value":"invariant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776808$466076F4-C16C-46B8-A786-48949C601954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e711f192757c526dd70edf42482951e055ea45b","datavalue":{"value":"Kripke-frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776808$CE78A215-0F7B-418C-A330-747C1F0784EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bdb95a216905bc7898ace6970027c9493b66376","datavalue":{"value":"tabular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776808$AA1169F7-FE82-4813-BE77-76CDAB934D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7004ea3c45e788d894ca43ad9fb77d664ad32ef0","datavalue":{"value":"automorphism group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776808$F9FAB272-6094-4ABE-821A-C251A4009E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203c9e90c2ce16c5cd1385d24452edf3a43911c9","datavalue":{"value":"lattices of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776808$4461225D-56EC-4C35-BD0A-0E5A694B9008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75259cc2aa9724cfdccce968e18f882d98b1e2f2","datavalue":{"value":"prime logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776808$9D75F4BB-8EA8-4CE0-99B9-3872247E9791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776808$12A5178E-0573-4DDB-A4EC-2DA84AF884D7","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":"Q2776808$4DD7FCC6-D321-49E9-8AB8-27410ACA98A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776808$95E0B374-2EB0-4191-A7FA-382FE38A7FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb03f7f523b30071d1c4a0b8bc9317dfd4ce8b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1125058,"id":"Q1125058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776808$4ACFDF17-2F55-4E95-AA61-880D38F78337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2175710971e93f48aced0d36264d93f4d020cee","datavalue":{"value":{"entity-type":"item","numeric-id":2538520,"id":"Q2538520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776808$0FC50023-6F16-4988-A52E-415774F2EC05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33d9b165da035442d2c08114cc07a3df45faf06f","datavalue":{"value":"W4250742626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776808$9B72031A-AC63-4F67-B577-98082834BE07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95ab028b8f585d5bb31c9e0e55f8993a7a46d5c4","datavalue":{"value":"10.1002/1521-3870(200201)48:1%3C29::AID-MALQ29%3E3.0.CO;2-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2776808$0AC2A0D0-48B2-46C1-9DF0-814490FCCEF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"115c2ac64b86b98a26120e7b11a0e86a7c9f034a","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200201)48:1%3C29::aid-malq29%3E3.0.co;2-n","type":"string"},"datatype":"url"},"type":"statement","id":"Q2776808$2BF5AB26-8BC4-4531-87FB-D1C705C2B899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2af1fc41122491cbb4e4a5a5956c982860c5f50c","datavalue":{"value":{"text":"Invariant logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2776808$C1E73F71-9277-4516-991D-A45D87EBB2D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2776808$BCFC12AD-8561-4067-BF19-9CAD42C08DAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44ab51814ac9135beb2ae8f898f3c9e3eb1fddcd","datavalue":{"value":"In a previous paper, the author analyzed the groups of automorphisms of various lattices of modal logics. In this paper he goes on with the study of the structure of the group of automorphisms of the lattice NExtK (the distributive lattice of normal logics). In this way, he studies logics which are invariant under all automorphisms in the group. With this objective, he analyzes the set of prime logics in the lattice NExtK. The set of prime logics is identified with a set of Kripke-frames and very interestig techniques to delay with frames are developed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2776808$BDFBA655-893B-42F7-8B29-0C2174524F88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba530f85281c17c198e50442a49f6e3189b1a20","datavalue":{"value":{"entity-type":"item","numeric-id":1125058,"id":"Q1125058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0516d43d3cbe8591c36d40bdea5e6aa431b0dc9","datavalue":{"value":{"amount":"+0.8493374586105347","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":"Q2776808$1CB7AF4D-58B4-4A95-8401-D464BF9188DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4b8aebab58c09411bb660cd6ed26015e2724b7","datavalue":{"value":{"entity-type":"item","numeric-id":284221,"id":"Q284221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3c58a41d0c43d3fc69d27067ff76996d34658b","datavalue":{"value":{"amount":"+0.7843693494796753","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":"Q2776808$C09B3CDC-1CCA-4956-8F5A-B46F271C6192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be92db28b2fab68fba5a02a501a67af199314953","datavalue":{"value":{"entity-type":"item","numeric-id":1111541,"id":"Q1111541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4f854121274fcd5b7ac3ec4a4fcc9b8dcdf3e5","datavalue":{"value":{"amount":"+0.7341498732566833","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":"Q2776808$86941C8F-4BBC-4097-ABCA-43F6ACD40DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b1e687097e2251bbdfce3358ba5bd49452e458","datavalue":{"value":{"entity-type":"item","numeric-id":3778022,"id":"Q3778022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cc2ed4efe058608ce02aa98262ee8387d20a92","datavalue":{"value":{"amount":"+0.7310522198677063","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":"Q2776808$D24A89E0-480A-4B94-AEF7-5217373168F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826f3f6b8fd792c22aca7c58420fba06d1eb0bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4835534,"id":"Q4835534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bcc3b979c5f6324f4ec8a307125fee4b5f5c25","datavalue":{"value":{"amount":"+0.7310509085655212","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":"Q2776808$02D4F6FC-2457-4BB1-BD7F-F0DF36A181F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariant_logics"}}}}}