{"entities":{"Q1156788":{"pageid":1167537,"ns":120,"title":"Item:Q1156788","lastrevid":66989568,"modified":"2026-04-12T14:11:11Z","type":"item","id":"Q1156788","labels":{"en":{"language":"en","value":"Interpolation theorems in modal logics. Sufficient conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735775"}},"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":"Q1156788$6DF3B972-74D5-4796-9DF1-35E9B4A39DB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f25bdc6cb82988f6cac852a362872f1e7d309849","datavalue":{"value":{"text":"Interpolation theorems in modal logics. Sufficient conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1156788$10AFD5F6-B478-4542-9047-2F2EEEBDBBF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d17c27ce8a19d43bc41ebb71f42007f5d1cd1584","datavalue":{"value":"0469.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156788$3A8FD3C9-7C60-49E5-AEE1-32A0B60D3100","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d1ef695d0f9912e2336646eda70ced87daed5b0","datavalue":{"value":"10.1007/BF01669837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156788$B7D738DC-33F1-44CE-A013-49EBE8FDF970","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156788$C3FC6DDF-D688-4E79-A6FB-227E492E53FD","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":"Q1156788$8195A1B7-A5D5-4D7C-B9BD-4EF101CAB1CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1156788$9F34A68F-E7FB-42F3-86D5-BD5C3FD42246","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88d9d1b7aa9a3e1aee3bf8832e75ead16523017a","datavalue":{"value":"https://eudml.org/doc/187091","type":"string"},"datatype":"url"},"type":"statement","id":"Q1156788$BCE604F7-813A-4A76-A57B-B678A5FFB98C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156788$CF5F0843-CFF0-4ED1-8B5B-0B6BFCD4EF81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cd5cba57c6622c703889cafe30523affb49de5c","datavalue":{"value":"3735775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156788$8D8B05EC-FDC5-4A15-8882-C254E4BDACF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156788$989815E2-7463-4E7A-8112-B82CBAE95029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0ee269abec31a953dfa09ae6142c0ad887a0ac4","datavalue":{"value":"topoboolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156788$74AE6BAF-3F03-45AB-9FFA-8E9E53AFD888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156788$B5B6623C-E376-40D5-A45E-E1D07F72DE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156788$052AA8F2-8F0D-4B5A-8587-FA0515C254A4","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":"Q1156788$ACEACF2B-39B3-4572-B663-4B9BF0538DB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"131bf4f50d9e047552a1b8d23a5314c1af075964","datavalue":{"value":{"entity-type":"item","numeric-id":3875897,"id":"Q3875897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156788$F4064C94-ACDF-4C77-82CF-C1858B1B53CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906c7d4e316ebb9ded2b2e442f04dfc90302b744","datavalue":{"value":{"entity-type":"item","numeric-id":4175531,"id":"Q4175531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156788$19CBA89A-1B0C-4C27-B1DD-5E361562608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156788$6046DBC6-7BD9-491C-BB10-FF78DE06CF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156788$0573823C-0563-40D7-B561-C8FA38942EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f74d37195d57f01347814f0339041f54c370eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2556392,"id":"Q2556392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156788$14E6F2F6-A2DB-4F35-A29D-9A071839B83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0321cf3666c9c7e3181227910876d775443c5a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4133939,"id":"Q4133939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156788$ED649C5C-8E56-4C3F-B3FE-D5AF922D3679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb655a3d0c42c44c422b6e47a66913842cb25a8c","datavalue":{"value":"W2089534954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156788$A4F9457F-F364-417B-B96A-D23635AE31E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation theorems in modal logics. Sufficient conditions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_theorems_in_modal_logics._Sufficient_conditions"}}}}}