{"entities":{"Q650277":{"pageid":652126,"ns":120,"title":"Item:Q650277","lastrevid":51374099,"modified":"2026-01-17T23:47:43Z","type":"item","id":"Q650277","labels":{"en":{"language":"en","value":"Axiomatization of modal logic squares with distinguished diagonal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5980666"}},"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":"Q650277$14573643-1F19-4584-ABDF-B5F115B9FCE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79ffa8b541389616666219a52951f2170eea55d1","datavalue":{"value":{"text":"Axiomatization of modal logic squares with distinguished diagonal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q650277$BA3C5E17-DCEF-46FC-B0C6-7952EF869BFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d937bc97772fc778f565424bc34490a8955f9c6","datavalue":{"value":"1248.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650277$E22A6812-B4BD-45AD-A8A3-649CAAC21F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf0ba483be771673d207c326848a02bb99751894","datavalue":{"value":"10.1134/S0001434610070229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650277$FBF2E870-CCF9-4799-9E4D-7F6CECD76487","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ede8c4a94ac904770af578cc77cf271635164ba","datavalue":{"value":{"entity-type":"item","numeric-id":650276,"id":"Q650276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$1590CB23-5F57-4266-AF13-F54F6A7BB4C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$44B01869-9D97-416C-92EC-7F2EAEB25706","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79dc9dc12f99c62816fe3504c8615ced523dbc1","datavalue":{"value":{"time":"+2011-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q650277$351CB820-3A08-4921-A5DB-38BEC8AFA59A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650277$9A56E703-C9C0-4149-92B1-B07E32429739","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c8c4e515fdab0d7117c7eb3c993808c59e70e9e","datavalue":{"value":"5980666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650277$46908A7D-6448-431B-A6D3-1B23C0923D84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"904cdf2b787c87aeeac9e258573a74c1e1de4a6f","datavalue":{"value":"square of a Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q650277$409F694F-A223-4394-B0FD-E3370137CFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7447e4f389664d88248f81fb58ba8d28bb022279","datavalue":{"value":"square of a modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q650277$84361073-BF8F-4FA3-8701-674127B78683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q650277$4F965965-29E9-4D5E-828B-3C43D1CAC76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e97315ad5b66228e5a7bdc4c765a681216d8c1","datavalue":{"value":"products of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q650277$DCEC95E7-20BA-4A0E-B32A-5947B73AE4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b50be3c294c8c383e7d2867a58016e775cbd7384","datavalue":{"value":"generalized Sahlquist formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q650277$B3293BC6-B726-4666-A6D5-7EBC4F34EFAA","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":"Q650277$E2F386B2-C069-44B4-9B30-9A1FE1368F63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$791ADFE0-5514-424D-955E-84485C620086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$8862873C-98C7-4646-9171-CFDB0BF983C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$27AD1463-0020-46D4-9D7C-9170A7A7EC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dcc0a4250a7c04388e6739f61aa4462be81211f","datavalue":{"value":{"entity-type":"item","numeric-id":4842635,"id":"Q4842635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$E7901F75-955B-4DC0-B5B3-A46E022B6A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$E3963F8B-5C03-4938-9ED2-E1302FF88B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$CD228B4F-1D20-4421-B819-E530745725CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678c0c773fe7e106ba21008f1c26019ce70c00a0","datavalue":{"value":{"entity-type":"item","numeric-id":3085168,"id":"Q3085168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$8150D807-D039-46BA-A6A2-57963A464485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$1C5909DD-3FCD-47F8-82D4-DEC67A1B1DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ce8fcaa3618a6dd7d552dbea0b3e14b3286d49","datavalue":{"value":{"entity-type":"item","numeric-id":3655206,"id":"Q3655206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$8D83A1B6-9BF9-468D-A3B3-DCBCE9962D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650277$632384EF-9F86-4252-85A1-08C4E9E597C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdaf75e725f9b51fd22ebf782133ce3dafbc0fa6","datavalue":{"value":"https://doi.org/10.1134/s0001434610070229","type":"string"},"datatype":"url"},"type":"statement","id":"Q650277$2C8114E1-0A20-46EA-BD53-AA5593ECC36A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87c2afb4a6e0e8aadd54892967faf0effd91d09a","datavalue":{"value":"W1975172181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650277$CE15E449-FAE1-4A03-AEE6-4AAC5F1444F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94572b116133ed15a471afe79c846601121e04b8","datavalue":{"value":{"entity-type":"item","numeric-id":3145920,"id":"Q3145920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b0be182f6dff6c2d15574c81ba2705345bfd5f","datavalue":{"value":{"amount":"+0.8172181248664856","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":"Q650277$8CED1290-105A-4B46-BE70-72BE845977DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be94cdb4ec8125aa4e75d5c922b280600abe14f","datavalue":{"value":{"entity-type":"item","numeric-id":2510775,"id":"Q2510775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2095386caafce8f80bb33da10f9319740517874e","datavalue":{"value":{"amount":"+0.8149291276931763","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":"Q650277$6ECE075F-5EDE-45EB-B3C3-821B37C72E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0e869b0f9bb0f208316e939c5d5c4ae9dbc94e","datavalue":{"value":{"entity-type":"item","numeric-id":5073942,"id":"Q5073942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05206bd99de65403a46e7c684e44f457b8b70717","datavalue":{"value":{"amount":"+0.8109842538833618","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":"Q650277$79650A7F-B571-4961-8F04-A7E66988D85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e4095fd2f8671743c45ba21a1f16d5aeda902","datavalue":{"value":{"entity-type":"item","numeric-id":2915901,"id":"Q2915901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79779fc8452855d430969bf7fffcfed704df1de","datavalue":{"value":{"amount":"+0.8067061305046082","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":"Q650277$8E7CEBD5-1A6D-4527-9779-81C96F32411C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95534a014d834799deac2107f757923e02f2f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4508270,"id":"Q4508270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b72e5f5a674ba84cd96b07e1b841e6d9fabd48e","datavalue":{"value":{"amount":"+0.7949675917625427","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":"Q650277$D52B7059-9DB3-47E7-B806-828CEF6FCBCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:650277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:650277"}}}}}