{"entities":{"Q631077":{"pageid":632925,"ns":120,"title":"Item:Q631077","lastrevid":63104742,"modified":"2026-04-11T10:36:40Z","type":"item","id":"Q631077","labels":{"en":{"language":"en","value":"Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869144"}},"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":"Q631077$580D25BC-246E-4363-AF25-7D4217F39E0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"138a9082f874a0059f53f193119963923d92b358","datavalue":{"value":{"text":"Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631077$EE1A792F-45D0-45D7-B354-70EFDA80EA18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54e1a28752a1654cd5107adefa5645db3a891481","datavalue":{"value":"1214.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631077$C4417022-29F0-494E-9CCA-00BFFB531415","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcbd9b52a6ddb457f866f9e91ab3def8d7a2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":409327,"id":"Q409327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$31473BA6-820C-443F-A53C-05C7935C9E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$5EC81909-B2F9-49B9-BBE2-5659425F4BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ea5f16cc816facd5f588acca584d7c7aab2792","datavalue":{"value":{"entity-type":"item","numeric-id":454384,"id":"Q454384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$A4F47C59-6C8D-4EA8-9B5A-FBC9EA0226B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$85C82272-7A68-4A27-A17E-BF258E5CC5C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec164f2bfe48fa82cbe0f6953c3fa41144bb83e0","datavalue":{"value":{"time":"+2011-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631077$E82162A6-0D78-4546-8EFD-41760A2599AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631077$638FF9DC-B006-4D64-B0E3-83D04FE3752C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631077$33D1E99D-028D-4017-B1FA-7E65604C5B57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"185c581797a86cd600d2c121b7ab5bc5ae85d0ec","datavalue":{"value":"5869144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631077$0660890D-B3A0-4155-B717-9DB9B7FF8DE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631077$441167A8-0868-4D2C-A07C-D7E828F946C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q631077$F829C356-0194-43CB-9017-13E49CB1F698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q631077$28696B42-1E20-4667-9B8E-D1E5895D90AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"907562bcdf044b41ce7b1c2a0f86fa806f3d50f7","datavalue":{"value":"first-order logic with fixed-points","type":"string"},"datatype":"string"},"type":"statement","id":"Q631077$D6BAB115-5978-48D3-88F0-12466050A3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14cb83449068e8e6864fff8afbe9db956388333e","datavalue":{"value":"SQEMA","type":"string"},"datatype":"string"},"type":"statement","id":"Q631077$375EDEE0-4784-45DC-9A01-B049C177FB3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$62768D63-7995-488A-A948-17E93B095BDB","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":"Q631077$0AE69DA7-E29C-4AB5-9E58-CDB32EF09F03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"275b395f0320402389893fd1b20be8f41ab5be61","datavalue":{"value":"https://doi.org/10.1016/j.jal.2010.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q631077$2C02A646-0701-44DA-A924-DFE90F922924","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aeca265929bd90d2dae1a88e4e4d889ac9b49c01","datavalue":{"value":"W1987652121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631077$24BFA5BE-E4A9-473C-A2ED-281B9B051D00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$B76269AD-227E-4F48-A446-222EDEE8B8B4","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":"Q631077$86B6ECF7-A006-4F92-BD63-F7148B4FDB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$B1E4576A-6F48-47F0-B9C1-364B5C366199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb13266d6e9cb924de9f33fbd05c2696a4d4948","datavalue":{"value":{"entity-type":"item","numeric-id":3747760,"id":"Q3747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$D1B1FE4C-A989-41E3-81E1-2FDAFF063F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d590979361e7204ded68d00966871702fea8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3643312,"id":"Q3643312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$704BF789-76E7-4D86-8062-78DAA7D9DC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7b97434170d49cc67587b0be889904b70b2820","datavalue":{"value":{"entity-type":"item","numeric-id":5483000,"id":"Q5483000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$2E581F0F-E95D-4089-9222-2F43023AC9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$E84DD64D-4E53-4F37-81E2-3E8682327FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f0b1f554d4f6e144778576d6a62ab834bc544f","datavalue":{"value":{"entity-type":"item","numeric-id":3431963,"id":"Q3431963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$AA5A7C43-2117-40B3-B6DB-514781403A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc55340a98f4cb7be45863241f13111c9f158726","datavalue":{"value":{"entity-type":"item","numeric-id":5324584,"id":"Q5324584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$07AC4815-5F16-4D50-8090-8C4CF90FFC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422338a2dfe752749b7dbb572234dd7473a7f248","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$FD8DDCC1-B680-470A-8E25-953FB8F42E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$1AF9497D-0523-4125-A6C8-41A3377684F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d9c86154f755477b019e139e0ec45e0822d154","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$86675B8E-C27E-42C7-83F6-FDB583E39653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a80b36fb60f686ad2f25a289dbd75cdef8ac01b","datavalue":{"value":{"entity-type":"item","numeric-id":1407589,"id":"Q1407589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$2FA68956-3DB4-4127-885E-F603B9035C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58f93ae18ce481c57e090142d63bf23f5488aac","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$340F3AFE-1EEE-473C-A1AF-7406DE84C14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f689c1a4357e46124a93297cf676351227270bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4430401,"id":"Q4430401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$3DE270E0-073A-4231-AA2E-26D363BFF069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$05C65F69-A397-4CA0-AC77-90270350EC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$FCA33BCA-9578-40BA-B19C-A9333204F048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$914CE5C9-A801-4BD8-B4AB-2DE4B075CD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c88c2000cc742f79a0696cbd6770a20218f4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$EBD408C2-F109-4559-A820-48DDACD1D82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17c2a2749a60b6792f64d39628e2d672b79ea82","datavalue":{"value":{"entity-type":"item","numeric-id":5311052,"id":"Q5311052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$8114C9BE-351C-4D5D-9F9E-E747BEF1AC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$C2F12D38-E5C6-47E4-9DF0-A10E7A1040BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c918bb0d37d193ae56f522b6070df3640b429216","datavalue":{"value":{"entity-type":"item","numeric-id":5718684,"id":"Q5718684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$4CC7DD6F-2DDF-47F3-A0CE-EFD0C85BB52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631077$5ADA944E-0B63-4D6F-B8AC-D5CDAA9FDBA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f26b7032bd1c15f510b658d6fcfb1441815cc73","datavalue":{"value":"10.1016/J.JAL.2010.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631077$4EFE5622-98F2-4A0C-BBB7-DCE330EC7C08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0411f7942d00b9b5179ac8ca344e8b19aea35ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3643312,"id":"Q3643312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f7edbcc20b4eeda79b47eefcc33547dfbbc95a","datavalue":{"value":{"amount":"+0.907825767993927","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":"Q631077$12592953-3744-4F8F-BA70-9AA39748538E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096f23e4a638f66e13e7263b3d2d1d4bbadd1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8494eaccde5c4993675d0e2350a1c5c162f3cf46","datavalue":{"value":{"amount":"+0.8894362449645996","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":"Q631077$B8EC2510-AA91-4EF2-AE06-59143A123262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925fbffda528c02aac39344d06dd1a17c0231c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5324584,"id":"Q5324584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da3d7214afc856da047e512f4ce90910210e73a4","datavalue":{"value":{"amount":"+0.8863852024078369","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":"Q631077$C005B621-C6F1-42AC-B914-DD525B632C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca32e838e7ade0031addbe2e5ffa7bb4ff03699","datavalue":{"value":{"entity-type":"item","numeric-id":3431963,"id":"Q3431963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c1102df31d58ad5bf76fefeebcccd6f19f7c7f","datavalue":{"value":{"amount":"+0.8849248886108398","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":"Q631077$33F653B9-589C-4548-8EAD-59D59C144B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ea8d8165302dc2ce23bf39f392b37c4a3acac3","datavalue":{"value":{"entity-type":"item","numeric-id":4982120,"id":"Q4982120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219b628aa26e96814dff4cbde0056a55b4c77cf6","datavalue":{"value":{"amount":"+0.8231939673423767","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":"Q631077$0B64C580-84F8-402C-A906-7C39E1E7927F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_correspondence_and_completeness_in_modal_logic._V._Recursive_extensions_of_SQEMA"}}}}}