{"entities":{"Q1842101":{"pageid":1852843,"ns":120,"title":"Item:Q1842101","lastrevid":71436147,"modified":"2026-04-13T22:15:10Z","type":"item","id":"Q1842101","labels":{"en":{"language":"en","value":"A Horn sentence for involution lattices of quasiorders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 743938"}},"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":"Q1842101$04E4DA70-32E9-4699-AD8F-F0F88BA0E369","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02a05170b2c42354ff94f7b936d34327ba2eff24","datavalue":{"value":{"text":"A Horn sentence for involution lattices of quasiorders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1842101$118251B4-F1AD-45C9-98A8-9E9B32C1E848","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"252e25c62dc4afb86ad3e7149bad66928d7dfbdf","datavalue":{"value":"0817.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842101$78346695-7B1C-404C-B362-9167E75BD9A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5e5ca795c13701aa36a4c316927bc5ef7d9894a","datavalue":{"value":"10.1007/BF01108770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842101$B99A2823-AC9B-4DB8-B223-D9BF33152B36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c649e22bb3d5db2066270d2895619e83ca9dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":353351,"id":"Q353351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842101$794EEAA2-DEFA-49A7-ACC2-ABA9C8C66805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842101$BC03ABEF-A903-4DB2-AB67-633F8592EDE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76c795f5749b0c265976e2e5bb130d72d00b274a","datavalue":{"value":{"time":"+1995-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1842101$456EEBDB-CC98-445D-8F45-357D12EC2DAB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80b5d1a0c1133cca2a0679a4c7b10338bff20244","datavalue":{"value":"A triplet \\({\\mathcal L}= (L, \\leq, ^{-1})\\) is called an involution lattice if \\((L, \\leq)\\) is a lattice and \\(^{-1}\\) is a lattice automorphism satisfying the identity \\((x^{-1})^{-1}= x\\). A quasiorder of \\(A\\) is a reflexive and transitive binary relation on a set \\(A\\). The quasiorders of a set \\(A\\) form a lattice \\(\\text{Quord }A\\) with an involution \\(\\rho\\to \\rho^{-1}= \\{\\langle x, y\\rangle; \\langle y, x\\rangle\\in \\rho\\}\\). The author gives an explicit Horn sentence which holds in \\(\\text{Quord }A\\) for any set \\(A\\) but does not hold in all involution lattices. Hence, not every involution lattice can be embedded in \\(\\text{Quord }A\\) for some set \\(A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842101$194E75E1-AE61-44E6-B91C-6DFB3340344E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842101$157B6907-3590-4424-9AF4-ACB939EE64FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842101$1DA8C6E9-B40F-4C95-9292-FD34444A86E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842101$2BD9FBA5-0904-4EC6-895C-43418A9E87AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6979c3dd05cdc22bde2364cc7082aab2fa36a14e","datavalue":{"value":"743938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842101$3D2567C5-5D74-468D-9357-1CE2C03DFFEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842101$0F27F206-54C0-4A35-B8C7-2FA535EEA765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1acbb5a75e81a6ae897e3b2fb217be4673b8a73","datavalue":{"value":"involution lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842101$E9493591-9C0F-4C0E-8FC9-D9BF7746BBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f544640c68096b30371a4b1f3cb60c23a607caee","datavalue":{"value":"quasiorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842101$B66AB298-016E-4F7D-B91F-F979A9CDC6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc34c6721d065338d1cf309ca43540655d290e8","datavalue":{"value":"Horn sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1842101$6D4F7DD0-2A04-48CE-85D9-5B09B8F80DB2","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":"Q1842101$F6F7B69B-1473-4526-9109-2A81902CE4BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df589d6cc861acc8d92442edb730346665da6088","datavalue":{"value":{"entity-type":"item","numeric-id":1346900,"id":"Q1346900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842101$46F87637-C447-4F22-9B60-4AA4DD9B5638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddea4e78320b35092804d2ccdeab5253d7dfc36a","datavalue":{"value":{"entity-type":"item","numeric-id":1182531,"id":"Q1182531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842101$910C6790-D270-4905-9EDD-EF09E0EB6509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f26567ada080faa8a91d1e952affb34d33b7684","datavalue":{"value":{"entity-type":"item","numeric-id":5734466,"id":"Q5734466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842101$2CB825D3-41CD-4679-A5CE-75BAC8025C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dc0d97cda021a47a36ad57afedcdda62e25f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5803323,"id":"Q5803323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842101$586FC5EF-B47F-439D-B483-CBAB529F900E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842101$D0C10FF1-D39C-4AD8-9CD8-F035A4F81953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae62910df2bd470c376c77aea6bfdceb389c4360","datavalue":{"value":{"entity-type":"item","numeric-id":5834631,"id":"Q5834631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1842101$F7D88474-965A-44DD-916D-5579AB7FDAA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16e06c424e6a431f5fbfcca5f64bdaf8135cc1f9","datavalue":{"value":"https://doi.org/10.1007/bf01108770","type":"string"},"datatype":"url"},"type":"statement","id":"Q1842101$1C9BF3CC-D57E-4793-926C-00937AE0F79A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89c7e24b5817057a4db92d2a719803af123a76ba","datavalue":{"value":"W85258979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1842101$BCC49AF7-2ECC-4406-BE68-9F0F9114FB5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adefce353a0b35b356614a62b93cb7fff3b30159","datavalue":{"value":{"entity-type":"item","numeric-id":3773934,"id":"Q3773934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c26494cefa03c3b6a6114887f5adaa470f495fc","datavalue":{"value":{"amount":"+0.8674561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842101$9B817892-676A-4473-B990-934E729FDDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a953bcd83cab9400b657aeb7058c72ab3f8570","datavalue":{"value":{"entity-type":"item","numeric-id":3773933,"id":"Q3773933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15cbd91397f5188bbe5e778364671d11df54ed2","datavalue":{"value":{"amount":"+0.8661317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842101$ECE3CD20-794E-4489-8FE1-8EE91C947711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c00ce5e2ee3a85ba5e8482c4f497b09af64b247","datavalue":{"value":{"entity-type":"item","numeric-id":4839130,"id":"Q4839130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f05db10d3fb91bb4460c29f157f983b141f7ae4","datavalue":{"value":{"amount":"+0.8626802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842101$B61A1279-E339-4475-B3A3-25499A73D7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c265e8e0a633022bde3ef23c916cf2fd7e03f8","datavalue":{"value":{"entity-type":"item","numeric-id":5098728,"id":"Q5098728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c92f13c381453ec66cddd85f67d1a92a8027fb","datavalue":{"value":{"amount":"+0.8620226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842101$F4237B24-C2D9-435C-9E06-56030552A827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a043b80b1d2c7d4c91aecdcf34d9b9d1b8563b","datavalue":{"value":{"entity-type":"item","numeric-id":2656414,"id":"Q2656414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f52c86edeefa69e138ece7b71207643cccf8a6","datavalue":{"value":{"amount":"+0.8584837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842101$BE2372D5-1FC8-48B0-A81E-3CC3A375D131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3c28b84634ee818567f056b13a8384e9011465","datavalue":{"value":{"entity-type":"item","numeric-id":4335815,"id":"Q4335815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e44e6415a4ef9d5967cf277acd4d49cee20e3c","datavalue":{"value":{"amount":"+0.8580237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842101$855B5945-721E-48CD-8E36-5D9392DBC480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc244fe1a92267adb2a5e8dd4bff62ab817d46e","datavalue":{"value":{"entity-type":"item","numeric-id":1921963,"id":"Q1921963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9587464401efa0d2360407815f2f2b37c1eb345c","datavalue":{"value":{"amount":"+0.85677445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842101$9C5C9DFE-785C-4BF6-808B-D8C3BD781BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55f0bb54409537538b0676e02bc4dd02d99a347","datavalue":{"value":{"entity-type":"item","numeric-id":1611300,"id":"Q1611300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751c4d985de8cfd522b55ca78ebf698ccf0ee319","datavalue":{"value":{"amount":"+0.85420984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842101$0606D617-45DA-4CC0-A2C5-34C8C5D30AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68db160c9176c18b3325b54740b03026546a103b","datavalue":{"value":{"entity-type":"item","numeric-id":5244473,"id":"Q5244473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43aa170cae38016cb29f5c1bf216ea1e2b8c52e8","datavalue":{"value":{"amount":"+0.850742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842101$556DE290-C909-48E2-B0DC-C9D90DFA97FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0faab3b378daa50b14f9732e9656858d62e4b937","datavalue":{"value":{"entity-type":"item","numeric-id":4695518,"id":"Q4695518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3573758d34aa889ba8438e08f2263e96e6b14a","datavalue":{"value":{"amount":"+0.8501818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1842101$60931E7C-7B50-4F2E-BF22-A5BF7688B072","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Horn sentence for involution lattices of quasiorders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Horn_sentence_for_involution_lattices_of_quasiorders"}}}}}