{"entities":{"Q7361392":{"pageid":31519715,"ns":120,"title":"Item:Q7361392","lastrevid":105365336,"modified":"2026-10-07T13:35:47Z","type":"item","id":"Q7361392","labels":{"en":{"language":"en","value":"Properties of Orderings and Lattices"}},"descriptions":{"en":{"language":"en","value":"AFP entry Order_Lattice_Props"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce8464946814f258b6a085be4c07202207462f38","datavalue":{"value":"https://isa-afp.org/entries/Order_Lattice_Props.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361392$B6F20115-6E29-4A3C-BDD4-2BBAB0403F76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8096502b9da70fcca6bebcdf976f1e511fee9ef8","datavalue":{"value":{"time":"+2018-12-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":"Q7361392$8165A9C5-613D-47E5-AD27-A1FBC1CF16EA","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"791c9af3f632028a8094f425e13128d157950d83","datavalue":{"value":"Georg Struth","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361392$F7248B73-5128-4076-B6A1-E534152E3925","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98ca23bee6685ebf773cfff4f0938b90e1e4caf5","datavalue":{"value":{"text":"Properties of Orderings and Lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361392$6BBF062C-6F75-43A3-B46C-40CBAE4557E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67a716805e47b5b8cc116450910ae728d6215d2e","datavalue":{"value":"These components add further fundamental order and lattice-theoretic concepts and properties to Isabelle's libraries. They follow by and large the introductory sections of the Compendium of Continuous Lattices, covering directed and filtered sets, down-closed and up-closed sets, ideals and filters, Galois connections, closure and co-closure operators. Some emphasis is on duality and morphisms between structures, as in the Compendium. To this end, three ad-hoc approaches to duality are compared.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361392$C22FD7F7-8A0B-42AB-A76D-E0AAF0CFAA38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b2e611a60bbb1cbb1ab23d8301e40dbbe2b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":2915136,"id":"Q2915136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361392$51616E97-5BD6-45D9-B323-DE4432E22A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361392$CE91564C-2124-439F-90E5-0CC0CB09AB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361392$F3974F7C-E9DA-4FE7-8550-82CCADEC1C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361392$8EA1677E-F13E-4330-A68A-B98686810B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5cab1513e2457c77b799379237c33e5461fd89","datavalue":{"value":{"entity-type":"item","numeric-id":2829259,"id":"Q2829259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361392$7CDF68F8-A751-4046-B6A1-3EC59A517488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35593f56c469c37182022e5dfe9dfc791c8656c","datavalue":{"value":{"entity-type":"item","numeric-id":3098056,"id":"Q3098056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361392$7F2AE112-86A9-4D21-9208-7652879EFDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361392$37C449A4-F48D-4074-B188-FF17E504BBF2","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361392$53F92207-8941-4F86-B264-2B70267837CB","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"a4f736a78ec41288f78e3c0d6553d1178e87e9d5","datavalue":{"value":{"entity-type":"item","numeric-id":7360831,"id":"Q7360831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361392$49205AFB-8C51-4CF8-BE12-E991DE251066","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361392$DC562C6C-2524-4DC9-911A-BD579C9393B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Properties of Orderings and Lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Properties_of_Orderings_and_Lattices"}}}}}