{"entities":{"Q2637247":{"pageid":2647990,"ns":120,"title":"Item:Q2637247","lastrevid":44538840,"modified":"2025-11-23T17:26:04Z","type":"item","id":"Q2637247","labels":{"en":{"language":"en","value":"Orders and lattices. Basics, approaches and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6256586"}},"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":"Q2637247$14ED4703-165C-484C-8158-DFAE2FAFCFD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21e5983fb874c086d0c57e5a9d97477e0bff3a18","datavalue":{"value":{"text":"Orders and lattices. Basics, approaches and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2637247$36DB4175-BC87-4760-B3E4-5CB35FB4378B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f235a19c6a3f22d0a7dbfc56b5a477664890d5d","datavalue":{"value":"1285.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637247$258C8EA9-B564-4270-8BD3-C9C587786A88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b759f23a3c6bc8cca64538767d3ef6bea50c9dce","datavalue":{"value":"10.1007/978-3-658-02711-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637247$8A924932-80B1-4D2E-9083-3261FEC67F8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637247$A5744403-E6B5-40C1-AC20-660E782F9348","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"529abe3227038afcd857fe878e6e645f9eb8f240","datavalue":{"value":{"entity-type":"item","numeric-id":167293,"id":"Q167293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637247$A2129A94-4EDA-4DD5-9DC0-F15394D12C38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b336b5bbe27257c0b664ebbbc13a26e304dc857","datavalue":{"value":{"time":"+2014-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2637247$552E1D51-B39A-4478-BCE7-BC1FC05091CA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"87838cfa29e627ee3f176fb44f50a69edbbdc973","datavalue":{"value":"In this book the author gives a precise and elementary introduction to the theory of partial orders and lattice theory. The book is based essentially on the first six chapters of the second edition of his book [Orders, lattices and relations with applications. Wiesbaden: Vieweg+Teubner (2008; Zbl 1146.06001)].   In the first chapter the author introduces basic notions. In chapter two he describes lattices from the algebraic point of view and also in form of special partial orders. He investigates the duality principle for lattices. In the next chapter he characterizes some important classes of lattices such as modular, distributive and Boolean lattices. He also investigates complete lattices. In chapter four he studies fixed-point theorems. As an application he gives a proof of the Schr\u00f6der-Bernstein theorem. He considers Galois connections. Chapter five is devoted to completions of partial orders and lattices. He describes completions by cuts and by ideals and compares both methods. Chapter six deals with well-orders and the axiom of choice. He shows some consequences of the axiom of choice and gives statements which are equivalent to this axiom. He proves the Stone representation theorem and also the compactness theorem for propositional logic. In the last chapter he studies some applications of lattices and partial orders in computer science. So he deals with denotational semantics and distributed systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637247$A8FA38B1-9A7F-45A7-A9AD-E8342E530440","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637247$1B1C80B7-314A-4154-8CCD-635A67C6AA54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d39b5ea63b750240d68675baa425de3a48752c8","datavalue":{"value":"06-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637247$A58F52A4-554D-4C55-9CD4-3DBF9E669ACC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a67de4e5c1737b53b0d9fcca32293ae4b666ebc2","datavalue":{"value":"6256586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637247$91D7F1A0-769A-4AD8-81B0-A4801646A5A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a26c619f3c34107172c32ab1d29a17af19378d","datavalue":{"value":"order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637247$E8A21266-DC03-416D-A735-C4BFF65AD2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637247$5A81E353-6CAC-48C0-A8AC-0357D375C0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637247$7DE77D39-DAD0-458D-AE5F-5E6EB521EADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637247$A309B4BD-0710-424D-A680-32335BF623BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637247$A9538685-64DD-42E8-A4CE-3ADB09B9D892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637247$DB468F7C-8184-4B4F-8184-D7A63A63E6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637247$374B5B17-D2BD-4B5A-8D06-F3D076C33564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df3c39c06ddb7704ea60ecf8fc4a24f4ce8a3fae","datavalue":{"value":"applications in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637247$409847D7-1899-4EC3-917A-941CBC72E066","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4af9b22261fee5365f9664c5f19d556137c6649d","datavalue":{"value":"Q59319367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637247$F28FBC8D-C5DD-449E-AD7C-2224AEC75B60","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":"Q2637247$7637E8C5-38BC-4D28-BBCC-A24E9F580B2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3c94df67873e361ab8c3388fe4e7f88a0fec74b","datavalue":{"value":"https://doi.org/10.1007/978-3-658-02711-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2637247$60D50C07-4FDB-4DB5-8C59-2831B3A9E7D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"200b9c29d32cc4f31f6bb43b685ac9ae7e3e343b","datavalue":{"value":"W4253350303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637247$47E95B63-CFDB-4D55-9B33-36C72A0A5200","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0eabbe6e6848bc75c01658fcc6fb9c384ff9a4","datavalue":{"value":{"entity-type":"item","numeric-id":3539342,"id":"Q3539342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd391f5f2bc8654be804b59f05615e4517605e3c","datavalue":{"value":{"amount":"+0.8719361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2637247$6009C951-8A95-4BFA-99B5-3F26AA85E1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed4c7ab24000854e492f867dd3c7fd9881729b9","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d25f65b20a5d75b1d052903a750e1168ff71584","datavalue":{"value":{"amount":"+0.8472212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2637247$5A153CDE-08A5-467C-B63F-E32C8CC40C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03e367133769a16ffcc21e4c42a640f9a2a4873","datavalue":{"value":{"entity-type":"item","numeric-id":3518423,"id":"Q3518423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a7c89f6771f95ecd5371fb1edbbecd09666515","datavalue":{"value":{"amount":"+0.8334006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2637247$87BB2F0E-50C6-4E07-8B87-B6F0C1D64BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"280a83630767802c75178a213b7e25a6976cce04","datavalue":{"value":{"entity-type":"item","numeric-id":2883378,"id":"Q2883378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49cabf7bed0c7b0390059e415ae337fdc3ee961","datavalue":{"value":{"amount":"+0.81595856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2637247$867E1D45-7103-40AD-8965-ACBFEFBAA53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc666b4345d603b0b8e261215e3a0110fe1dd96","datavalue":{"value":{"entity-type":"item","numeric-id":3828051,"id":"Q3828051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19595d53aed17cf4c1aad83c49782eed93b6d02c","datavalue":{"value":{"amount":"+0.81419694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2637247$35D46D29-196A-482B-B395-A5B1BDD2BE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da35a3c8a5c65df718e3c20d2b91a8675807b0b2","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faff476bf60473231eba5301f1f4e35171de64ee","datavalue":{"value":{"amount":"+0.80099165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2637247$0BD439BA-80AB-45CE-8801-A7D9882190F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad70532f5f863924f58dcd8d2a34683d1763797b","datavalue":{"value":{"entity-type":"item","numeric-id":3487443,"id":"Q3487443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef74ab3638cee7176da0bf5260ef32715ea700ac","datavalue":{"value":{"amount":"+0.8003159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2637247$D97CCB69-35E5-4C5B-A296-858526008DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36da958e6ad2a968d5c0b015cf2d6dd98bc63933","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f5609949ff6def4914936b7fa8b26da55cd8d0","datavalue":{"value":{"amount":"+0.79843956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2637247$306186D8-F41D-4F12-BD92-C503B8BBE477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef4731c7c596ff788b68f7fbea3c5d09741ec39","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8030f9986986fad880fd985c185f4bac4cb00ff","datavalue":{"value":{"amount":"+0.7954136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2637247$002743C2-7F96-4824-A100-179D6DED228A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2637247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2637247"}}}}}