{"entities":{"Q2639844":{"pageid":2650587,"ns":120,"title":"Item:Q2639844","lastrevid":49459606,"modified":"2026-01-07T05:00:19Z","type":"item","id":"Q2639844","labels":{"en":{"language":"en","value":"Every world can see a reflexive world"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4185583"}},"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":"Q2639844$958D8258-6DEA-44FF-B5C0-C75E15F03F5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73c69b695bb0c8ab6096a14beb520052612ef224","datavalue":{"value":{"text":"Every world can see a reflexive world","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639844$0683AF76-C4DA-45AF-9537-87A39E526E17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b25ec2433b46fe4979d167c1747fe303531f50e1","datavalue":{"value":"0719.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639844$81495DC6-44BF-4245-B5FF-26DFBEBF390F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1a4ebe5e7bb31a7e0bdf5b70e61183d099dd5b5","datavalue":{"value":"10.1007/BF00935597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639844$CF95AEB9-EBF1-4DB6-B4A9-9D745B200D48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f38fef7630d143826a20a4bfe2cba972bbb24b2","datavalue":{"value":{"entity-type":"item","numeric-id":754176,"id":"Q754176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639844$9E5F15F0-5591-4C72-8E91-9CE3DEA0DA0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639844$EECC7B3D-4A64-4FB5-B1AF-626AB147C31F","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":"Q2639844$DD6D5095-EBB6-4503-8E6F-0CB63E240B94","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8f3df1598083ed71cca7ac1d3d0a99bfa2e58b6","datavalue":{"value":"\\({\\mathfrak C}\\) is the class of frames \\(<W,R>\\) in which all worlds can `see' a reflexive world, i.e. for all \\(x\\in W\\), \\(\\exists y\\in W(xRy\\wedge yRy)\\). This class of frames characterizes the system KMT defined by adding to the minimal normal modal system, K, all axioms \\(M(L(p_ 1\\supset p_ 1)\\wedge...\\wedge L(p_ n\\supset p_ n)),\\) for every \\(n\\geq 1\\). KMT is proved sound and complete with respect to all \\({\\mathfrak C}\\)-models. It is also proved (i) that KMT has the finite model property, (ii) that there are frames for KMT not in \\({\\mathfrak C}\\) although all finite frames for KMT are in \\({\\mathfrak C}\\), (iii) that KMT is decidable, (iv) but not finitely axiomatizable, (v) that the class of all frames of KMT is not definable by any formula in first-order logic, and (vi) that \\(<W,R>\\) is a frame for KMT iff for all \\(x\\in W\\), the worlds that x can see (the worlds y such that xRy) form a sub-frame which is not finitely colorable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639844$46F00E04-2F40-40F6-B7FF-BB67E4D679F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639844$DF890823-64FE-491D-B998-550E3071A52C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf0c0f2bb2fe3e5c3215c812e04374b63ff7f7f1","datavalue":{"value":"4185583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639844$6E3661C0-002E-48E4-9032-CE28201A3B6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639844$37310434-B888-4785-921D-BBE12A314349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639844$D8992F49-9186-4FA1-9035-31150B9C66FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a185562b5a97b7c72d8b9b9a3c57e033847ce18c","datavalue":{"value":"reflexive world","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639844$DA5EAFC8-F4BF-48AF-9EA2-934750992163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639844$5903DF02-0365-463D-AEB8-B7E548957072","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639844$BB5BF426-05E4-4737-AA01-4AB1C220BBD4","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":"Q2639844$2A655405-6AD6-416C-AEBB-8B9F2AC2FDFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9643219f162d4732ea66bb6a9fb87b80fa461491","datavalue":{"value":"https://doi.org/10.1007/bf00935597","type":"string"},"datatype":"url"},"type":"statement","id":"Q2639844$05EBBC2C-5C3A-4C6E-BE90-9AB4CA69D8F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b80bd723a1cdca736c20698e63b7a84f9b738ec8","datavalue":{"value":"W2042590814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639844$AC911635-59F1-4FE1-BF34-197B0475D126","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a242dfb724608ccdd39dc59ee3bb794dbfec096","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e5d9b1c8cdeddf5a4541f74d3239c0c0a57ca8","datavalue":{"value":{"amount":"+0.7305068373680115","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":"Q2639844$C0F6F1E2-88BF-4917-A30D-BBE0ED29F037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73321d23481ef02742cd6e5b16a9ca0b953eb270","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88f316ede265048d23deecb794fc66ee3496acd","datavalue":{"value":{"amount":"+0.7272199988365173","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":"Q2639844$F7CD675E-8E73-4215-86D9-8114EE151B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0b0ce6ef3bb346ac15cbb17532a398c57a7108","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93debdb3e898d183faf990092d767c1a0d4a7c0a","datavalue":{"value":{"amount":"+0.7173558473587036","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":"Q2639844$108AB201-0041-40C8-97E2-9AD2C61601DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09681ff5806eb943dd0e27394059b17b9ceebc74","datavalue":{"value":{"entity-type":"item","numeric-id":1289105,"id":"Q1289105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d7953280a79a9b37990535b1276ea6dd375305","datavalue":{"value":{"amount":"+0.7163991332054138","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":"Q2639844$2E1F9392-640B-4B84-AF88-7A65780EA113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96f5026f750aaf7268d89ad8b7a90f6bd9c64ef2","datavalue":{"value":{"entity-type":"item","numeric-id":918533,"id":"Q918533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc73ea7d6894b9a05c092e2836f06b636f8a416d","datavalue":{"value":{"amount":"+0.7162330150604248","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":"Q2639844$F68E138E-7E10-4BB2-A10E-1F6470EEB522","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2639844"}}}}}