{"entities":{"Q831223":{"pageid":833071,"ns":120,"title":"Item:Q831223","lastrevid":64667577,"modified":"2026-04-11T21:26:07Z","type":"item","id":"Q831223","labels":{"en":{"language":"en","value":"On modal logics of model-theoretic relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7346987"}},"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":"Q831223$0C1D3C9E-2907-4B9C-B79A-F0718BC36FBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55db97a38030bbcefd88fc1b71b35ecf2cf4466e","datavalue":{"value":{"text":"On modal logics of model-theoretic relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831223$C3E59D5D-6882-4B3B-86F6-541583417671","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"005770312578be85723e244928d3837dfe20f1e3","datavalue":{"value":"1473.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831223$572E7B37-354B-4334-9F0E-459F5373D240","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31d9999dc18916b6590ac9e0edd7a889dee46891","datavalue":{"value":{"entity-type":"item","numeric-id":831221,"id":"Q831221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$3FC9C5D4-3E1D-430C-ABCB-40421DE9D42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"553fcbc39a7b86337f5d811ac8f13f643050b1de","datavalue":{"value":{"entity-type":"item","numeric-id":831222,"id":"Q831222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$646B9257-2835-47FF-9964-E7032FF532FF","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":"Q831223$A6C386B7-B64B-42C0-A39C-DF2972DC5EFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed4002d7d1dae8a4df69ca0f7d26b6ca60a982d","datavalue":{"value":{"time":"+2021-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831223$BCBBED48-7A2C-4F64-9152-C74A724BC77D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f7e21c3deffe642232de793775e1dc35e9b09f1","datavalue":{"value":"https://arxiv.org/abs/1804.09810","type":"string"},"datatype":"url"},"type":"statement","id":"Q831223$9BDF9962-1F74-4426-A6E3-2F75CBC41C51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af4a9e37fb26415539b96c6f8d3fe29cd8b48abe","datavalue":{"value":"In this paper, modal logic and the modal algebra of the theory of some class \\(\\mathcal C\\) of models are considered, the modal operator is interpreted as a relation \\(\\mathcal R\\) on \\(\\mathcal C\\). The language \\(L\\) of the theory is a usual model theoretic language which includes the standard first-order language, and satisfiability in \\(L\\) is asumed to be preserved under isomorphisms. By a modal logic is meant a normal propositional unimodal logic. The authors discuss how modal theories of \\((\\mathcal{C,R})\\) depend on \\(L\\), the Kripke completeness of these theories, and expressibility of the modality in \\(L\\); they also describe the modal theories for the submodel and the quotient relations. For a first-order modal logic expanded with a modal operator for the extension relation betwen models, a downward L\u00f6wenheim-Skolem theorem is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q831223$56C53F60-F2CF-4338-98F8-5477E8818738","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831223$4020E093-2143-43FB-954E-1FB456A4A678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831223$B201E398-9D85-4B26-9C01-0A9521A8E202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831223$57BB863C-720D-4698-8A3C-66AD6CECF7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831223$3C16E567-D1D7-4D65-BE0A-E3FD871B5DAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f701f203e5468fa9d030b246f84278a9e5fd0de0","datavalue":{"value":"7346987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831223$1485D8B9-19FF-4F48-96C2-DFF4760CD156","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccd8daaa659b58a1b0019247b9cdc4ea963f0b72","datavalue":{"value":"logic of submodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q831223$002B34AC-21CC-40D6-BBF7-8BF89612CDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebea086120e6120a01bf26fba72edb1791ba5f34","datavalue":{"value":"logic of quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q831223$5DC57153-4B33-42E1-8C8C-A613AAB46B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c713dadb169cc2c3ae07f9e11bf74145002aa785","datavalue":{"value":"L\u00f6wenheim-Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q831223$8E98E815-77FA-49C5-858F-ADBD2953ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d22b4943d233d02ade801f210524a90ddfdff","datavalue":{"value":"modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q831223$3D17C3FC-D40C-4B71-B999-C5751B9277A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q831223$EB2D49F3-2B66-456D-A512-8707C9981CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eef45ecce33081eec2874715d3f928e2bef4358c","datavalue":{"value":"model-theoretic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q831223$797439AE-0648-4977-9EFE-7B8085BC7DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4abdc1729e9d028218bc88a052c599b793ec54","datavalue":{"value":"robust modal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q831223$D3A1B9A6-1DFE-4D49-B01C-2A1EB48E9912","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$A5FA56A8-5E98-47CC-9E9D-DB7B6D5DF3ED","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":"Q831223$A27D5C2E-9CCA-4E2F-8F90-D2A6B451A908","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a00465f72ac413f4380275747afbccbf9f8aeec","datavalue":{"value":"W2992377175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831223$E2A70E17-BB13-4E13-A5CB-652C8FE0B353","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ea76d538054f875a01b844023c0934a6d15070f9","datavalue":{"value":"Q126530419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831223$434FBDC3-EDFA-40DB-995D-C615B401F6F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$43908E5E-94BD-405C-B9B7-BE387E66F21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea3453e5c176df4414e4e8e6f090eb047e08d96","datavalue":{"value":{"entity-type":"item","numeric-id":4262591,"id":"Q4262591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$964A7C7B-893A-4CBB-AEAD-595833ACCE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33452c92d7664b818b25ff1d824e59409e470719","datavalue":{"value":{"entity-type":"item","numeric-id":5271074,"id":"Q5271074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$FE3A4AAF-04D3-43C4-81CE-F63A74222101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7419cbab6bb0858860ce24b32d867eee0ef731ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$593ABDAD-1437-40FF-B17C-42C6F812A08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dca195ca6c4f185fd9e4c8867d4a63bc875ecef","datavalue":{"value":{"entity-type":"item","numeric-id":749522,"id":"Q749522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$239F7781-FF5F-42E4-AB29-EA425C3918AF","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":"Q831223$9437068A-FF27-4CF7-BCA7-EF584B4F74BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$D1564EDC-D577-4883-B56D-EA230D94B53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711e282bbd2865ebea7c8b287f5496055a3f9a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4953222,"id":"Q4953222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$1F8B8A61-DFBB-49D9-AD33-0B3EF06F2BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b18cd7651f6f9e7b4a941fbb269eaa009eee6d2","datavalue":{"value":{"entity-type":"item","numeric-id":400549,"id":"Q400549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$D7E8C80F-E1F9-42FE-8B67-C18D265C3AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc82f7ab84df94897466e68ea0e47066c9c6b37a","datavalue":{"value":{"entity-type":"item","numeric-id":1150600,"id":"Q1150600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$2D6BBDFF-5068-44A0-860F-19C67A097699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd031867925522d5debdc71d5083763241a4dbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3160552,"id":"Q3160552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$93652506-ED54-4394-8FE3-64BC0EF07FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64132418b4f4fae4f1e47b13947ae2ff9625c7ce","datavalue":{"value":{"entity-type":"item","numeric-id":498994,"id":"Q498994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$69A3436E-96C0-424E-8960-B35964A50715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097adc14ecbe197cdb57f9ee7d653330aaf5139","datavalue":{"value":{"entity-type":"item","numeric-id":5437615,"id":"Q5437615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$8EAD6687-CFCD-49D6-B044-ECA066B3580B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b4b426d631c854350e1541595f06db97c9bce","datavalue":{"value":{"entity-type":"item","numeric-id":3455186,"id":"Q3455186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$64959A66-5ECF-4A22-B391-A7EDB2FCFF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5eacc07bec292c58806bfcc832d7ca979f44fb7","datavalue":{"value":{"entity-type":"item","numeric-id":688429,"id":"Q688429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$4749F131-AD4D-4387-B72F-20637150F0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4166160f1aade05a8cceb457338b43bd5e399c1a","datavalue":{"value":{"entity-type":"item","numeric-id":2805035,"id":"Q2805035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$CEAD8350-0170-42B4-938A-97F27B46C0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec0208ef3c9ec149fabfa81c92ed2023179d18","datavalue":{"value":{"entity-type":"item","numeric-id":5682023,"id":"Q5682023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$393E0BFE-6BB6-4B20-AAEE-9EDD41D98E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$CC171D0E-0F2C-435F-8007-B9536EC9AF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28fad3c71d7f7c52990182c5c8d1049828469904","datavalue":{"value":{"entity-type":"item","numeric-id":2303618,"id":"Q2303618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$5A9BAF72-CAC6-429D-BDFE-B855CEBC711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b2fb5e74b72a9a204e563622b55fb87a335a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4694581,"id":"Q4694581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$2935920B-C309-46F3-B990-801FAED48107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff7479832debc812e199177fca23405586d366c","datavalue":{"value":{"entity-type":"item","numeric-id":794634,"id":"Q794634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$8F1BC999-3D00-4D4C-86EC-F1907D98A69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d673d6ee2743775aa892712471d3d8102464b953","datavalue":{"value":{"entity-type":"item","numeric-id":2276947,"id":"Q2276947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$BFFC3312-5617-420E-8C80-5531B4B0AB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$36D443E2-CACC-436E-AAC0-F858562D982F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8176c0acd02382474c77c0c675871408d34346e9","datavalue":{"value":{"entity-type":"item","numeric-id":3114222,"id":"Q3114222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$E21FF54D-88B5-4F32-979A-B65C977D680B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e17b3c0b42328891462fa84e03b0ace3632518d","datavalue":{"value":{"entity-type":"item","numeric-id":1918912,"id":"Q1918912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$8808753B-8295-4158-A8FA-A802A27A1A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d038bf41156aa868bc2302d61cb72b5d8b5783b9","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831223$B2537E3A-D58B-481B-B2DA-EF2F80374D78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd4fd53c827e3b8249e96b04972ae167f9cd785b","datavalue":{"value":"10.1007/S11225-019-09885-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831223$2D0EA59C-371D-4E62-92E1-EAF2B33E9FA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf30b77d2cec4abcfbbdf1240f3dbc12a987ff9","datavalue":{"value":{"entity-type":"item","numeric-id":1080411,"id":"Q1080411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afdf321f38764b4392a6cc674fe23c96d20186a5","datavalue":{"value":{"amount":"+0.7857024669647217","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":"Q831223$5A85EEC3-CBF1-44BC-B3A1-A2C137A330C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b28d66123f0140fbe45de70cf71d5fe67b05468","datavalue":{"value":{"entity-type":"item","numeric-id":4011727,"id":"Q4011727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05dc08f7647aa7853c8fc64905e7ebe274d2bf40","datavalue":{"value":{"amount":"+0.7827017903327942","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":"Q831223$5C92DFAF-F0F6-41D2-B375-36F82A038270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94719e646596f062fa2c034b2d277c6a10099da5","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805192ec3ea5b5c50ac799d1e9179da2dcf35396","datavalue":{"value":{"amount":"+0.7827016115188599","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":"Q831223$E312F6C9-F195-42C1-BE43-58D5913DE1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc711a9a267d2b5c3bb110d9f6ab766b88e9b9ff","datavalue":{"value":{"amount":"+0.7795073390007019","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":"Q831223$A31346EE-5ED9-40D1-B18F-433D9DBB1E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68f65bed8049922c2e37d189f073fed5574cb3c","datavalue":{"value":{"entity-type":"item","numeric-id":4842635,"id":"Q4842635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc711a9a267d2b5c3bb110d9f6ab766b88e9b9ff","datavalue":{"value":{"amount":"+0.7795073390007019","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":"Q831223$0FF250B6-696D-43E3-A899-53876186D9D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On modal logics of model-theoretic relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_modal_logics_of_model-theoretic_relations"}}}}}