{"entities":{"Q1877094":{"pageid":1887836,"ns":120,"title":"Item:Q1877094","lastrevid":48327469,"modified":"2026-01-04T09:15:14Z","type":"item","id":"Q1877094","labels":{"en":{"language":"en","value":"Effective completeness theorems for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2091343"}},"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":"Q1877094$9F3FEC99-85A1-4C1B-8189-A035F5EF8690","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f30ad2a1c5bf418f49ed949aa35d867850a617d","datavalue":{"value":{"text":"Effective completeness theorems for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1877094$BF0B7D73-F043-4F4E-B760-B32E98270502","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59a761e1653e3c89a80808af827f438d36d887a1","datavalue":{"value":"1056.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877094$ECD7755A-96F8-409A-AB2A-8CD923EDBDE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"619ec2a8c1a64fc697da5031635011351ee151d1","datavalue":{"value":{"entity-type":"item","numeric-id":253458,"id":"Q253458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$97F9E1A3-58E8-4502-81F5-021750263D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$804C2413-E52C-42CD-AABE-6117BA7D66DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$48F03E65-0F95-45E8-A96A-F9D40D93D4D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"940bfd82d93d0a0f8bba8894177c9d9473a815f7","datavalue":{"value":{"time":"+2004-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1877094$10DD4701-17AC-4961-A513-430D44EC4FE3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e317308f161ebb01fc066230ad4db651a517e4c","datavalue":{"value":"The authors study computable model theory of modal logics. In particular, they prove that every decidable theory of modal logic has a Kripke model which is both locally decidable and globally decidable. This effective completeness theorem is proved for a number of particular first-order modal logics. For this purpose the authors develop a technique for effectively constructing Kripke models, which is analogous to well-known Henkin's method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877094$0B3FBFA1-38ED-47AD-86A2-B651C80A80E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877094$A1E6C64A-9CA3-43DC-ABEB-36F0B16AE9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877094$8FD2C766-BD4A-4A4E-A1E9-E1AFA4FBA9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877094$B1F888F8-7568-46C8-BBB0-5142F990787E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2f9f94e24d4e5dbb0f6f41f532a89624d304495","datavalue":{"value":"2091343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877094$0C254B3F-73B4-4660-A92D-0221849808B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877094$7D0DCD06-3065-47D5-A06D-1DD6599FF831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d628a0d9d710f812a6c7c56a7a2a3434790b065f","datavalue":{"value":"computable model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877094$1C2B58C5-11F3-4576-8FF7-BF49363C586F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877094$D96095F0-99B8-436C-BA6A-18CF8590636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed13a4aec24f54e32c5f25dac34c6d78b1c24a1","datavalue":{"value":"decidable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877094$5B9F546A-563F-4B9E-8476-8B1F76BE1301","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$9B7C2484-B82C-4028-8DD9-A5FC62E84D92","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":"Q1877094$F9C7ADAE-A984-4E17-97EB-7D15E7873ED6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ccbdd48b62a147545f28ed2bb910070685d287b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1877094$A65A96A8-2356-4D2F-A458-67B5FDA1329D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34f8fabc751f3b185c2f4d32f1bb9255164fba91","datavalue":{"value":"W1987356025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877094$396CA065-BA7D-406D-AB1E-53A276678D49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$301FFA75-7232-4D4A-9B35-33DE443FE5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac5cb5cbfb9d8f8a931d2907f876d6296fa6de8","datavalue":{"value":{"entity-type":"item","numeric-id":4249355,"id":"Q4249355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$116BE012-F493-4D18-82A3-02CA29C1D18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$9253442E-504B-4B9B-8A05-137D4306256E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$4451ED9C-8520-4352-BF91-039E4585DD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ad429b19000827cbea8556b23906bcaadd18d6","datavalue":{"value":{"entity-type":"item","numeric-id":2542276,"id":"Q2542276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$B4B4B8C2-E8C8-44D9-ADE7-206F66FF8D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae79ad29404d2fb7ea2d2e284fdccbe71dec4362","datavalue":{"value":{"entity-type":"item","numeric-id":4249356,"id":"Q4249356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$A4013C94-32AA-4B86-82B8-84CF50338D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$B0A8C77F-308A-4B1C-8C87-BA47A7031C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd45668f5c7df10e41357180dce692a684f32ed","datavalue":{"value":{"entity-type":"item","numeric-id":1295382,"id":"Q1295382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$6946EE52-BD77-4C50-81E4-B68D8AC1762E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7acd6881add1114f062391b8c55ecda1033c2b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877094$A5AF70A9-8E22-4526-8B0A-8C287C3B9F39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d75004dcfc34f8aea83a1be9c7dc382fab4875f0","datavalue":{"value":"10.1016/J.APAL.2003.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877094$9EBECE09-EF5F-4E52-97E3-946E8721B8F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a65dba3d324fd296089ad0561845cdead9cafce","datavalue":{"value":{"entity-type":"item","numeric-id":1709685,"id":"Q1709685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ff7280685cd871bcd27bda389e98355a04ca65","datavalue":{"value":{"amount":"+0.7833426594734192","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":"Q1877094$085F1756-AB89-4CBE-BC90-CD2BB8AD8C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6208806f9e0d24877eb9ffa6b71627bcbd010839","datavalue":{"value":{"entity-type":"item","numeric-id":5594595,"id":"Q5594595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38ea9e086491c9f61f11a781f7e41caf4319318","datavalue":{"value":{"amount":"+0.7820510864257812","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":"Q1877094$1437E70F-F261-45B8-8E8F-0CADBF00A369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5289df6db578312e1109c84d860b40502c4086c","datavalue":{"value":{"entity-type":"item","numeric-id":2462682,"id":"Q2462682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207dcbbadf2fe182549ac9cf515e36775420e19a","datavalue":{"value":{"amount":"+0.7804514765739441","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":"Q1877094$171817B2-789F-4E7D-9F81-95337F1D04FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7c1973bcff90f91dd9f036fca74c5b9ea86a7f","datavalue":{"value":{"entity-type":"item","numeric-id":1271561,"id":"Q1271561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef25ca109fc580dde41b52c60f5bc7aa715c630","datavalue":{"value":{"amount":"+0.779866099357605","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":"Q1877094$9D30DF94-84EB-4BEE-8F11-8350D3228509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87dd66e300a0dd95f3d9f97d7abf8f5954e1d02","datavalue":{"value":{"entity-type":"item","numeric-id":3718681,"id":"Q3718681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f1b5d31dc2abc7bae69202146758f8780fa379","datavalue":{"value":{"amount":"+0.7770848870277405","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":"Q1877094$F58AE83C-A8E0-438C-BAB7-BEBAC002C4BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1877094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1877094"}}}}}