{"entities":{"Q4972068":{"pageid":7001647,"ns":120,"title":"Item:Q4972068","lastrevid":58377393,"modified":"2026-04-04T23:10:33Z","type":"item","id":"Q4972068","labels":{"en":{"language":"en","value":"Constructive Galois connections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135418"}},"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":"Q4972068$01358C1C-535E-421D-A4D9-0882FFA7F4CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50971478c3a66de8b5938c32d2727772800c2e64","datavalue":{"value":{"text":"Constructive Galois Connections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972068$C0EAB2FE-DD73-423C-858B-55155A763E2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26695631eb15b608f77cba1f3e7712b8d2cebc4a","datavalue":{"value":"1493.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972068$E97B2312-2E18-439A-805A-8F0A6CEE2CCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"169dfbf67c6f2cba920620b97cb7747b431297f1","datavalue":{"value":"10.1017/S0956796819000066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972068$696AD90D-BB57-4CCC-BE15-49CC6A5F3E62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9372aa4dab1947c95f05f80315d01e8e7e5821","datavalue":{"value":{"entity-type":"item","numeric-id":2844697,"id":"Q2844697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$6D08E13B-EBBD-45F8-A55F-58530D5E5878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfe8e697dde8bf1003cd4a4fc5d8975b7fbc356","datavalue":{"value":{"entity-type":"item","numeric-id":2802429,"id":"Q2802429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$68C1CE84-F749-4060-BBA8-14FBDBA7C759","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$13CB47C2-D248-448B-B748-2AFD1C2CC785","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972068$D91D3CC0-4EFC-41BF-9E4A-39E19B613324","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"641689a81fb66d478f67ac68c75504e6b1a27d34","datavalue":{"value":"https://arxiv.org/abs/1807.08711","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972068$BBF44FCA-4418-40B4-86EF-0711ECAE3B33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972068$46F0DDCF-E2FB-4D5B-B232-AB2581A3D83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972068$111A0C3F-E43D-4163-883F-F2B2F9921290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972068$7544520C-E9AD-4B28-8997-B3AF1C0D417C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972068$DAA3E7B7-CFCF-44F1-BABC-5F30D1CCA005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972068$D42BE9F9-B8D0-4131-8407-05BDE293109D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0affb5468abf73b85e2c1b7d9b7ef6c0cb4fde4","datavalue":{"value":"7135418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972068$975273A6-86FA-4BA8-AB66-A546318EEAC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d72ab927629ec388c848089eb858c4f64bea438","datavalue":{"value":{"entity-type":"item","numeric-id":21956,"id":"Q21956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$3E0B4DA2-BD98-4C56-B995-DE160501A769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cc9c769c3668a0a1aa50bb552f5f533bb41a964","datavalue":{"value":{"entity-type":"item","numeric-id":31808,"id":"Q31808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$61065341-F9F0-4783-90D6-C82D62124127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$6E47913D-87FB-4264-A9F2-16F19D239F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8859dd07b075ca56b99edd7026e1e517c43d961e","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$5846F106-CD5A-4B0D-AF09-181C0610EEBD","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":"Q4972068$7C745D03-43CD-42DD-A597-E5334B7AA99A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4be0642b71cb95dc6639f87789502666c8ece30","datavalue":{"value":{"entity-type":"item","numeric-id":5370922,"id":"Q5370922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$E15DA451-87EE-45EB-A40D-9961AA2E9769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37608e38f742df134374e93f7c3d644330567f9","datavalue":{"value":{"entity-type":"item","numeric-id":5756494,"id":"Q5756494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$9A17F125-13B9-427C-A3CB-0FA8F0097E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825ab4c172520052e5230110b703709aa8296785","datavalue":{"value":{"entity-type":"item","numeric-id":4885873,"id":"Q4885873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$8C178AA3-8423-42BA-ACE4-131AB0A411F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$DC169159-944F-4B64-8BE9-A5A978CD8E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7be68e1be31d2ce9700b09f1fd401d03db7ae02","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$AE6A963F-2306-4C82-A057-C3C39CCD5022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ab9cec473c39d1eda43d5cb22727844c9ee500","datavalue":{"value":{"entity-type":"item","numeric-id":4934630,"id":"Q4934630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$F0EFAE92-4F98-4DD1-8FB2-435668D79A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$A502B4AB-9EB9-4F7C-9C11-15AB2F2046EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$2D40D26E-B5A4-4464-A9A0-7ACF91D5B289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$4D4D3DF1-00B0-4E91-9F4B-7E099C6B6CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$6128F1AB-F6AF-4428-BA93-174964E83AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15d80e47a1dbf6161b47b8b4326fb129601fac4","datavalue":{"value":{"entity-type":"item","numeric-id":5408396,"id":"Q5408396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$177B57C9-3C7D-4280-8ED9-2A0EB99BCB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c24b6063cf159d05a9dee0a2119142d626211a","datavalue":{"value":{"entity-type":"item","numeric-id":2985779,"id":"Q2985779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$54978B39-FB4F-45E8-87FF-8E1693EE90F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89594204a2dc3c58c834b5a8e9a37ca270048fc8","datavalue":{"value":{"entity-type":"item","numeric-id":2819861,"id":"Q2819861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$5F45B320-63CA-46B0-B966-B2E14C970E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39fc19332e98e54875e1f504e123420bff5e44b6","datavalue":{"value":{"entity-type":"item","numeric-id":2828288,"id":"Q2828288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$2D924C53-12CD-46F6-BBC3-0D945371D051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673c53f7986ecfc9954c3e2d862bb27d978716cd","datavalue":{"value":{"entity-type":"item","numeric-id":2802496,"id":"Q2802496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$318F0A5B-353F-404E-963B-4DCD7FB53A0D","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":"Q4972068$5C244014-3BDE-413F-9203-DBEE343C1B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bee9b6b5502020b52600310f143926474dc37d","datavalue":{"value":{"entity-type":"item","numeric-id":3522082,"id":"Q3522082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$789D6B3A-18C5-4699-9DF0-9E4B071A931B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$6D3FDE4E-EAA5-4329-B0C7-4091F72B5EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d62ea02120eac95c8276d66fe6e5d0de9a3986","datavalue":{"value":{"entity-type":"item","numeric-id":5096254,"id":"Q5096254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$B990D2DB-760F-4E9A-B5A9-DA9A7B03DE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$6B9D14E7-2E7B-4248-991B-5979342EB40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3080cfc3ee49639abe69b2a363e0e12a8a42225","datavalue":{"value":{"entity-type":"item","numeric-id":2908564,"id":"Q2908564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$87A026DE-EE4C-4A21-90DF-EEB8F9AFE571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55b91e5c798b087ec23f3a232894bb04f75c463","datavalue":{"value":{"entity-type":"item","numeric-id":3067474,"id":"Q3067474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$22A99B5B-D35F-4466-959F-1A864C2B3502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972068$0F6932BA-98E3-44C7-AF77-437A3A316DDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f6c48b7754fe3e2144cab0784a16ebd58fbfa05","datavalue":{"value":"W2963650512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972068$22B9096D-6801-4314-BC0B-3563DB05F9A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6523bc5497006ed5ee67d6d8b25428f538610bae","datavalue":{"value":"Q127545096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972068$10C670F8-88FD-4FBF-90DB-68CAEBF953AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"285d3319dba03f411a2b2fc187b64a42e66830d7","datavalue":{"value":{"entity-type":"item","numeric-id":2985779,"id":"Q2985779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced5e85feda259c6e417701b8de8ecd08ffd1386","datavalue":{"value":{"amount":"+0.9842705726623536","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":"Q4972068$CAD48472-0B7C-403B-AB29-49BA0C0DD288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"183d6ea76e5de27bb97849a8f9f6b9f8b014d4e6","datavalue":{"value":{"entity-type":"item","numeric-id":3296346,"id":"Q3296346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f322eead863a78c063f6facf7342c14e2e050d89","datavalue":{"value":{"amount":"+0.8717999458312988","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":"Q4972068$64E2B745-8EC9-4C14-99FD-8E2D0733BF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac202c4b4678a43f028362efb729beb06ced3655","datavalue":{"value":{"entity-type":"item","numeric-id":5408396,"id":"Q5408396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8942b40fc920a1e9efd6c2756b788ab602e78370","datavalue":{"value":{"amount":"+0.8210917115211487","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":"Q4972068$B616980F-7AA6-4CE8-A872-FFE544905E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6ce15a31d3c635a504d28c4ffe50d024b84e83","datavalue":{"value":{"entity-type":"item","numeric-id":4808686,"id":"Q4808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d92c5ba88252c467b17fe992ee5894ba334de2","datavalue":{"value":{"amount":"+0.7610604763031006","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":"Q4972068$7A18D278-D20E-4840-AA6D-F93D8C4BE232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d21aee1d53c0637dbb9234a7d7ebde7684edbe","datavalue":{"value":{"entity-type":"item","numeric-id":3297839,"id":"Q3297839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0b8e89b4bb67d253cd03d23ffe57f78119077e","datavalue":{"value":{"amount":"+0.7450114488601685","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":"Q4972068$633BA930-08C9-45FC-B4D9-05C381B17389","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972068","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972068"}}}}}