{"entities":{"Q5009708":{"pageid":7039285,"ns":120,"title":"Item:Q5009708","lastrevid":55388146,"modified":"2026-02-17T15:17:22Z","type":"item","id":"Q5009708","labels":{"en":{"language":"en","value":"Predicative theories of continuous lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7379293"}},"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":"Q5009708$062F04BD-962B-4F82-8C3D-6A136B0EFA9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16520df715eaeacc82f2bd124a0e13fbc43f9f45","datavalue":{"value":"10.23638/LMCS-17(2:22)2021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009708$C50AB5E7-80AD-4DAA-8577-A934B1281273","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9aecb6ededd34480101a3f509344c31123c7055","datavalue":{"value":{"entity-type":"item","numeric-id":1734271,"id":"Q1734271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$6ABD67AE-7078-4557-BF1B-26FF9641D420","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d568e2ef8fb63864b6d6f453e43251e7302bcaee","datavalue":{"value":{"time":"+2021-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5009708$692BE9DC-DA25-4AF8-BA0B-84F9CB55F090","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9274ec85e3ce32cec9dfa00554d5f0f7d4073ba","datavalue":{"value":"https://arxiv.org/abs/2006.05642","type":"string"},"datatype":"url"},"type":"statement","id":"Q5009708$E75DB500-7C5C-4831-BBF7-FAE598CD396D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009708$77DB864F-CFF0-4948-9D86-7376E724AC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009708$21CA80D4-F47D-4E91-953E-BF9264161EED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b047e264e45ce3e71f9ac638799a1337e584765","datavalue":{"value":"7379293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009708$E840231A-E386-4AC4-9F34-23DAFAECE3D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db9d488ea6d0894eaa7e9169e2916c4c7e67eef","datavalue":{"value":"continuous lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009708$9299E89B-E3BB-42A6-AAD5-A482EEB85CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b958549a658be38231e51514cd177981f91f307","datavalue":{"value":"locally compact locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009708$0BF4891A-1163-47E0-BB3A-EDBCC3FD6909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a928ec24de5b0742d9cfc9020c66b5f2b354c853","datavalue":{"value":"proximity lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009708$D098CD68-97A3-43A2-99CE-B4C86AAF324B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e641b2f2f094759207e4457d5599c8b1bae1e68","datavalue":{"value":"entailment relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009708$4EF41259-7D9F-406E-A092-20ECAC9E469E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1b8f16cf8a1d15b48e65fd146fe74bc71a1466","datavalue":{"value":"point-free topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009708$C1C6497B-7FEA-4C62-8F82-BC81526EC633","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":"Q5009708$13123CE0-5EAB-4A39-963D-82720278BAF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$B2BB30F4-F592-485D-BFE2-43FF13092CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$6258496F-653C-4D78-B7BF-C36CBD03188F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f0a63d2c9b7bac2d65c24493d26685d2b7c0a6","datavalue":{"value":{"entity-type":"item","numeric-id":4907839,"id":"Q4907839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$EF55ACA1-94A0-46B3-812C-866C5FDDC5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a07335756c76d08a5b67fa5b961f51f270f139","datavalue":{"value":{"entity-type":"item","numeric-id":1427774,"id":"Q1427774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$B4542C96-A637-4373-BB23-7476EC98DDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d40550fddd78fa96713d6f04c43b101012a561","datavalue":{"value":{"entity-type":"item","numeric-id":1295213,"id":"Q1295213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$2F805B4A-2613-43C0-8C54-4A4DE3A63FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfb124f04bfdfe8aadf6c513fa09542cea2eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5731806,"id":"Q5731806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$8DA346C4-4C2B-47D0-84AB-2F52A7DD83CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dce28ab971e6370c235c238e62f5b4e7250ef19","datavalue":{"value":{"entity-type":"item","numeric-id":4265614,"id":"Q4265614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$99FB68E1-ABBA-4C6C-9F8A-B5BF4B7A7C10","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":"Q5009708$BAEF91B3-9A0C-4F67-A5F4-FACCEF936225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$A81A181A-2CF0-4FA7-A167-87CB937428A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfeaa317381eb214646c85ad0a14a73c946a8d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4373424,"id":"Q4373424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$9E83C27D-670D-40A5-AAFC-9524F8919B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d2c2d6359cec0ef8fd4c73efd8df0ae4f2052f0","datavalue":{"value":{"entity-type":"item","numeric-id":2182316,"id":"Q2182316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$97D9CFF4-DA71-498B-8C86-882C6DF397BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7909993d72fefe567d67491e498a56c66e5f1e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1903697,"id":"Q1903697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$E8EAF2EC-F546-4280-9ED4-08BF84ABB264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$A75105DB-8385-42EF-9051-4DE216EE0E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$1966C04D-C068-4788-9824-1F68BEBF8E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8afed4f8bc90915a5891107a91dae4b4fb612a1","datavalue":{"value":{"entity-type":"item","numeric-id":4246953,"id":"Q4246953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$7DDF7EB9-746E-4416-8007-1024059AFB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39462ea106658cf953d877d119dd7fa89e3cbb3e","datavalue":{"value":{"entity-type":"item","numeric-id":4331079,"id":"Q4331079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$F119F563-6868-4CBF-AE86-AEDE8D5A6920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2555b8d7d53428e60e9984552fcbee694ec7889e","datavalue":{"value":{"entity-type":"item","numeric-id":1688959,"id":"Q1688959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$080465AE-382C-49EC-8105-399B59637B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96018a99b8366943bf6654b4677e7e411906125d","datavalue":{"value":{"entity-type":"item","numeric-id":3481701,"id":"Q3481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$93794B87-F84A-464B-A09B-7E11346152A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7406857ede3ac3a439bf82484f21d07eda28f9d4","datavalue":{"value":{"entity-type":"item","numeric-id":4868226,"id":"Q4868226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$6F052180-72AE-44C9-8455-34F4307427C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$8B616386-F223-4009-AEF0-D5699E89C338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$2586EF68-DB3C-4E4A-9E72-5F31C846F2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3728670c4af7ca2884e08b4c7b79d1fb36dbab","datavalue":{"value":{"entity-type":"item","numeric-id":4024899,"id":"Q4024899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$9F8799E5-E967-45D0-AD61-4A42C89D0D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b777d3d5abd6e3d56e1ca27b0b2c402b5d1e15c2","datavalue":{"value":{"entity-type":"item","numeric-id":649839,"id":"Q649839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$745858B1-487B-40AC-88E7-2C20505FB68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$C7BEEA6B-797B-467A-8FA2-3A99B0AA2A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23884631887fc88408f6964fc07e7d111ece1960","datavalue":{"value":{"entity-type":"item","numeric-id":2367538,"id":"Q2367538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$8F84761F-8691-474A-AC28-24505C1C40FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bb8889c852dc10d430467d6c141777d71ca8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3156489,"id":"Q3156489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$1DCE13DE-0AE5-4F96-98C3-4D41F7A31571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5e00fb5d9ecb7ba49a4ddb6ed9cdc2e99ae7d8","datavalue":{"value":{"entity-type":"item","numeric-id":1434362,"id":"Q1434362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009708$7DAAD24A-210C-4160-87FB-4C9D62CE983F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b928bd32966eca9814af77f4c682b5d0068618","datavalue":{"value":{"entity-type":"item","numeric-id":4246953,"id":"Q4246953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f250da70525b4f909448e74dcf372c46d65c673","datavalue":{"value":{"amount":"+0.7534242868423462","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":"Q5009708$94449CAB-5CCC-46DF-B043-9FF332BD19EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f6aa73b46e1726e34e340f50ef2c8fb40058ae","datavalue":{"value":{"entity-type":"item","numeric-id":1744452,"id":"Q1744452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f59170ae37a8d44e85c52546bf27e057152a09","datavalue":{"value":{"amount":"+0.7449020147323608","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":"Q5009708$24125920-5159-4C0C-BA8D-EED9D0C19E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a3e1747be3b1f3607b97f0f460c8f6a6e593b0","datavalue":{"value":{"entity-type":"item","numeric-id":1068927,"id":"Q1068927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4d33a5f924c55b7c878afba72f1a989ebe9149","datavalue":{"value":{"amount":"+0.742911696434021","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":"Q5009708$5A40A73E-BE8C-4DA9-B56E-0B10CA4B3326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfce9a08ef5bffb09b5f25e7e05985bddc20347","datavalue":{"value":{"entity-type":"item","numeric-id":370336,"id":"Q370336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbe25318dba3a7e0d04932b0922829d20c121f8","datavalue":{"value":{"amount":"+0.7407607436180115","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":"Q5009708$E0C4733E-3FBC-412D-B14F-965014203BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"482ea1960c4821e340bf4c3e4d7e51f554ad08d4","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6691e2be597147c8a4fdf8d00123fd4781be8c9","datavalue":{"value":{"amount":"+0.7387460470199585","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":"Q5009708$AE1C8330-DD8D-4504-9A6B-E8A1CE10E3AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5009708","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5009708"}}}}}