{"entities":{"Q453191":{"pageid":454958,"ns":120,"title":"Item:Q453191","lastrevid":51556523,"modified":"2026-01-18T18:47:33Z","type":"item","id":"Q453191","labels":{"en":{"language":"en","value":"Subspaces of \\(\\mathbb{Q}\\) whose d-logics do not have the FMP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083823"}},"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":"Q453191$0251BAB3-6D90-4A89-97CE-008088F7BF61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e890d0bab79aeddaa1444d6db1071b7aad6fd8c9","datavalue":{"value":{"text":"Subspaces of \\(\\mathbb{Q}\\) whose d-logics do not have the FMP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453191$B9133C23-ACAA-473F-A215-D5E3325D8399","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5ab838a931ba50b7d3656e463a9cb51c2a10f64","datavalue":{"value":"1257.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453191$AB719032-73F7-4BC1-B386-C13D02871AE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453191$CF28957F-80AA-4E8A-BFBC-FF275DD130D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"212c8fcde94506abe5a2b6ffc7d52a43b36b69ea","datavalue":{"value":{"entity-type":"item","numeric-id":453190,"id":"Q453190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453191$FC98864C-597E-4044-9193-B367E0AD4E80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453191$CFAD8456-EE93-4C25-B85F-FBA7CB83B067","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453191$566FB9A8-1B1F-434A-8085-2ADB9CE63155","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"91009f64ea37740feb74b37602bacbd9ffe6e379","datavalue":{"value":"Giving meaning to modal formulas in topological spaces, the \\(\\lozenge\\)-operator is usually interpreted by taking the closure. But there is another prominent interpretation, viz by taking the derivate. This leads to the so-called \\textit{d-semantics} of topological modal logic. In the paper under review, the authors continue their previous work on d-logics by proving that there are uncountably many ones arising from subspaces of \\(\\mathbb{Q}\\) but not satisfying the finite model property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q453191$9B784BDC-3D83-4E35-94E1-57BFDE11CEAA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8746a658e51bb356ff2ae7f1a374c72606388a51","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453191$EDE258D9-0076-4F7C-A68C-DC665CC95777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453191$F8BD4791-E345-4B1A-84A6-F0C667405AB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf5783712cfea29910e182b72500c06ebcfa347a","datavalue":{"value":"6083823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453191$5764D87A-D1CA-4569-B9A7-23EFDBDFF0F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc4c7c5cc08ee9506ef2c6879b96d267c77b9f5","datavalue":{"value":"topological modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q453191$E212A899-F15E-4BFD-8632-C2B9A4D7768B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b234126c57702ae2eef7474e985dc73e5160b9c","datavalue":{"value":"d-semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q453191$251BDE61-FD86-4B10-B111-C463789802F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q453191$B326407A-F0E8-4303-9237-5392510B28F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q453191$BF44279E-5AD1-49F1-BA23-C23A75427506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b0df7613be0c3db4bcf3bbc6b59183c1561fb1b","datavalue":{"value":"derived set operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q453191$D9F8CA82-16D2-4A3D-B3B1-C9F4BCABD188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8b49d4296d1d1bb6a846f657357c3f0aa16481","datavalue":{"value":"rational numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q453191$EFC2ECC4-86C0-41E9-9BB0-5367C956D7DB","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":"Q453191$51F52C44-ABB5-4047-955E-D0C3B4BE123C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c2486c323d2c2cbd95253ac0e72217a40d6d0ab","datavalue":{"value":"https://doi.org/10.1007/s00153-012-0290-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q453191$D9E8DBDC-985F-4383-85D3-2DEB3DE0DA6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f00ac311b58a01d77d0cd211ed6cfd7654711bb9","datavalue":{"value":"W2085129925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453191$545E378B-50C8-47E3-84F8-8230B1A1C548","rank":"normal"}],"P223":[{"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":"Q453191$32C62218-6463-4624-AEB4-4EEDF32A3C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4abafcec90f7effa61fd74925f1c48c7749cec47","datavalue":{"value":{"entity-type":"item","numeric-id":1762355,"id":"Q1762355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453191$ECCF8561-1C19-4E6D-9541-686742893AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453191$847C2002-06F9-4FF0-9E10-B12C9C184994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453191$5D5CAF53-B7CC-4E7A-88E0-295C7231B78D","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":"Q453191$C1E50593-A694-4A5A-80D1-C773B945588C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9469215bbaf893cdc0985c90449b6696b785b107","datavalue":{"value":{"entity-type":"item","numeric-id":1229868,"id":"Q1229868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453191$23CAFF2D-41C6-4E1C-BF5A-C85462C89B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63a268b6bb400f0200101a2685dedc9c5d3cbff","datavalue":{"value":{"entity-type":"item","numeric-id":633161,"id":"Q633161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453191$42675C66-EC1B-4D41-BB33-223115260471","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":"Q453191$BED951DD-8398-4B94-82C2-B40ECB46014D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"967cf9104a08002aaeb22f8d4bb6ef506f2ffb46","datavalue":{"value":"10.1007/S00153-012-0290-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453191$B729C548-B5C5-4B04-A161-07E9DCBF2264","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18732aebe264add021541225ebfbe667dfc6aded","datavalue":{"value":{"entity-type":"item","numeric-id":1762355,"id":"Q1762355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3ec3e6882032440bb30f26424ede51914ed105","datavalue":{"value":{"amount":"+0.8752877712249756","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":"Q453191$A76B8A45-F4E9-42DE-A860-F15F98425BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a7e863d967f59858deefcaee199d6b040b65e6","datavalue":{"value":{"entity-type":"item","numeric-id":3509060,"id":"Q3509060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5c46cfbd241bd003ca95e3619c988949599312","datavalue":{"value":{"amount":"+0.8349700570106506","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":"Q453191$F740D4A8-F477-4397-ADB9-8DB2B857D5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a0dd311b43df8c98317a84fda5dd492aec8e66","datavalue":{"value":{"entity-type":"item","numeric-id":4914415,"id":"Q4914415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bfffc28ce105859a68e5d4642f228436a3b40f3","datavalue":{"value":{"amount":"+0.8076885938644409","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":"Q453191$F4C29C56-351F-4D16-AE17-65BF96B92975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecccfabd2a5ae0030dfe5de6346e8cb2381d49f","datavalue":{"value":{"entity-type":"item","numeric-id":817694,"id":"Q817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c77d5e9180caffd69fb2170c2ded4adaa96c50","datavalue":{"value":{"amount":"+0.7860169410705566","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":"Q453191$53A6DFB0-A3B0-42E3-87DE-03B408A06160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"694735c17e95792f4c981d16d2ff6d5f806c2b7d","datavalue":{"value":{"entity-type":"item","numeric-id":3019967,"id":"Q3019967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d427aae9691ce4c1e32600f780ad86e1a6dd8c","datavalue":{"value":{"amount":"+0.7773979902267456","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":"Q453191$CE35A5AD-329B-45A8-B93B-10BA02EB0A00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453191"}}}}}