{"entities":{"Q3491522":{"pageid":5521422,"ns":120,"title":"Item:Q3491522","lastrevid":80769029,"modified":"2026-05-06T16:57:30Z","type":"item","id":"Q3491522","labels":{"en":{"language":"en","value":"MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164808"}},"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":"Q3491522$8F211BB9-774F-40CC-899A-E2290F17CF06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee11d3b8f253d9ded1e224bc4e612fea6853f48","datavalue":{"value":{"text":"MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3491522$8B562B6D-C3CB-444C-8A89-EF5B62BD5D1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4670ff42a126f3c11c6f81b4ebeed0a4bb340487","datavalue":{"value":"0709.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491522$486E683B-3E42-473D-942C-BA96EF003D40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5047453e57eff1aa27b880e1ff12e683281f1e3c","datavalue":{"value":{"entity-type":"item","numeric-id":3027328,"id":"Q3027328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3491522$F695E135-E815-43DC-B1D9-2E998149793C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3491522$9DEA42BB-8F51-4FDE-864D-55C9BF054C51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491522$9DDAB406-D0FF-4EA6-BA87-59F50D0B5EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491522$157972BB-17A4-41AA-8B85-27956E83EB6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a68b41c5e75ed1ffafa664345fc10fc20636fce1","datavalue":{"value":"4164808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491522$2C636E33-1685-4DC4-B301-9711CB4B547E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491522$8CD3218A-3F19-4E9E-8F0F-62A11AA8C263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ee754c26ef4860400e2f413b18c9dd4a617e239","datavalue":{"value":"G\u00f6del-Tarski translation of a propositional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491522$73445B81-D0C4-4D29-8BFC-FD6E010E5C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491522$F7834C65-C794-4C7C-8C59-1F522A5C4FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491522$EEAEEE47-C006-4F06-ABF0-39A40AF21E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491522$29843EE1-1892-4D4D-AEEC-AF9DD081DC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491522$C26933A5-2629-4389-BEDD-F7E8BA7B3F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cf1246b3d718c3f6e086be185879a2de867b66e","datavalue":{"value":"disjunctive properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491522$39F814F1-A3BE-4BB1-A6D1-F7354D7FAC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3491522$69C7C4D9-9F1E-4506-AD0A-D4F1124A3EE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3491522$E0CE49DD-8602-44A8-8A94-E2300552548C","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":"Q3491522$B58A681E-9BAD-437E-A643-EE8598AF9CE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7c868ce33ef11bc08c4588b225756b32a9b31fc","datavalue":{"value":"https://doi.org/10.1070/sm1991v068n01abeh002104","type":"string"},"datatype":"url"},"type":"statement","id":"Q3491522$3F94EC73-7D41-4A23-8AF3-DACB3221A09A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d829f3300c11a4aa5a29e44dc992513fde65eda","datavalue":{"value":"W2012276667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491522$88F236B9-5D35-48F6-B3A2-7D86AA7A3E8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0f04a8eda04550e6b0380860c9262faae8a7e79","datavalue":{"value":"10.1070/SM1991V068N01ABEH002104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3491522$D6E7BDC6-7B75-4C7B-BCF6-D1747098A139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS","badges":[]}}}}}