{"entities":{"Q969431":{"pageid":971279,"ns":120,"title":"Item:Q969431","lastrevid":65825406,"modified":"2026-04-12T05:37:24Z","type":"item","id":"Q969431","labels":{"en":{"language":"en","value":"A canonical topological model for extensions of K4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705234"}},"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":"Q969431$AF5B647B-C7C0-4368-B2DC-702D1BF98365","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ae7419e83cff749e08d6f0430773910d4a3181e","datavalue":{"value":{"text":"A canonical topological model for extensions of K4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q969431$CA74487F-6F12-48BF-A1A6-518141879225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e95121e410c6ca5a3674ce10ed5bc43a6d4b4b34","datavalue":{"value":"1193.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969431$B28F2C0C-61AC-4A49-9399-AB9DDE75F5FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1bc85442f8e9d2fbdefd9679a5c69ac19b7b737","datavalue":{"value":{"entity-type":"item","numeric-id":645740,"id":"Q645740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969431$69B3D15C-0D37-477E-B3C2-D952BEDCF06C","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":"Q969431$F5097EB7-2A56-48A4-8C1D-F2A44B8488F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q969431$F0179895-62FF-4FC1-A773-ED57EE2C61E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c87f8bc01b3cf725c64a03cd0d2f0beb0a233cf1","datavalue":{"value":"In the absence of the axiom \\(A\\to\\lozenge A\\), formula \\(\\lozenge A\\) can be interpreted as the derived set of \\(A\\), that is, the set of limit points of \\(A\\) in topological semantics. The author gives sufficient conditions for the completeness of (what he calls) a canonical topological model for extensions of K4. Systems K4, \\(\\text{K}4+\\lozenge T\\), K45 and several others are complete in this sense, while K4B and \\(\\text{K}4+\\lozenge\\phi\\to\\square \\phi\\) are not.","type":"string"},"datatype":"string"},"type":"statement","id":"Q969431$440CE78B-C3EA-4892-9120-73960C64B18B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969431$9B9B05C8-0C61-4440-A58B-EE3D48F68A7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af92dbf18126fac5c9810578ca34f0c30e1f7a7d","datavalue":{"value":"5705234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969431$706600FA-1BD4-4F92-85B7-AC2D5F205174","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q969431$DB7B6DA0-7F0C-4049-8398-E32B24EBAF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b97ada23212b911fc8e4d90ac85d4db88abd9f8c","datavalue":{"value":"derived set","type":"string"},"datatype":"string"},"type":"statement","id":"Q969431$8C0EE661-31FE-4ACF-9A9D-217E2431517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9a595a4b125ce1fa50908c629a08fcabd3e593","datavalue":{"value":"canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q969431$3256FC04-1B23-4B8C-BC22-AF750D988601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q969431$024CE006-7CD5-470B-9C99-8E2861B1BD30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969431$63425030-011D-435B-BF94-D035C87E75C4","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":"Q969431$8B21F84D-B791-4B4A-9DEE-02D4DFCA7B67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f076f60f6b95cbffc55286ab8c0e51abd3d4469","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9244-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q969431$3DC451E8-FE93-4ABA-A816-F5E32F01FBCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d3fd8b33db7011b7e1a476231d7ee065baf57c0","datavalue":{"value":"W2057447174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969431$33E8DA23-9A74-4903-90FF-5E9EFFC80FF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969431$E7FBD28B-B4E5-4FCB-AA51-2D6B4468602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89289da95721dfb8b76a16c8ba44f68b5add452","datavalue":{"value":{"entity-type":"item","numeric-id":4424659,"id":"Q4424659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969431$D88B264C-84FE-467F-AB38-4FA93F7C057E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edacbe019f846afd505c23a3ffef4e7c73c08c4d","datavalue":{"value":{"entity-type":"item","numeric-id":817694,"id":"Q817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969431$957E8A08-0B3F-485F-87CD-6D8D3BDA4A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969431$D188FE35-1936-40E6-8CD4-5B6EC4F4074F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969431$4BB8CE57-BA0C-40B2-8854-88DE93D81B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf080a55f0b8964651acaeb861c03614c58bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4168590,"id":"Q4168590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969431$1FC1B3E5-45F5-4E78-9482-64E0944D8541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431653c34920a87e95f01b68ba22fd9186611893","datavalue":{"value":{"entity-type":"item","numeric-id":2481242,"id":"Q2481242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969431$7CFC1DA5-A96F-48E1-BF0C-AD1ADA24988C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e954f1658e9b8e45a7767390de033e04bc7b4a3","datavalue":{"value":"10.1007/S11225-010-9244-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969431$D7B2CF7C-AD3A-497D-9A88-837E92DB3387","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dc7dd8787f76ebd5672207edd7b20ee95f95db3","datavalue":{"value":{"entity-type":"item","numeric-id":1751496,"id":"Q1751496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c6761ed329aa9e0a7acb07ce8271afdcd627ff","datavalue":{"value":{"amount":"+0.7379439473152161","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":"Q969431$25557EF4-5767-4C7C-9FA0-93F025AADAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c8c6bf3268e4f19ed444ad6200156f4f8cbfc4","datavalue":{"value":{"entity-type":"item","numeric-id":705542,"id":"Q705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023234092a1d73dbbc209a492ad35d95e6f7a558","datavalue":{"value":{"amount":"+0.7313368916511536","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":"Q969431$BC955E5F-AFCE-4257-9C72-00C76503C3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ee3a494332ed63baedcb82bb6f8b1924d2c23d","datavalue":{"value":{"entity-type":"item","numeric-id":1772779,"id":"Q1772779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7131833191920783c246cfff9a960d38d84269fe","datavalue":{"value":{"amount":"+0.7312467694282532","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":"Q969431$D08B6440-CB28-4385-B72E-F18FB9ADA652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467d210af205c85e6317b112cb135df234ff238e","datavalue":{"value":{"entity-type":"item","numeric-id":5479024,"id":"Q5479024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370fd1b48b67c068b8ab4fbc31fa2243f44cee33","datavalue":{"value":{"amount":"+0.7296921610832214","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":"Q969431$8E1E8377-A548-42F3-AC20-4FFD621C0762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07afcdc82911588bbf35ff59e708bbdd908fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":4250039,"id":"Q4250039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56401271a5ad423f9929296c19a8b9cdcfa9c3c6","datavalue":{"value":{"amount":"+0.7283929586410522","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":"Q969431$F69C1C48-E184-47FD-9BFC-42A291E75FE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A canonical topological model for extensions of K4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_canonical_topological_model_for_extensions_of_K4"}}}}}