{"entities":{"Q2985779":{"pageid":2996504,"ns":120,"title":"Item:Q2985779","lastrevid":58098042,"modified":"2026-04-03T19:19:26Z","type":"item","id":"Q2985779","labels":{"en":{"language":"en","value":"Constructive Galois connections: taming the Galois connection framework for mechanized metatheory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713913"}},"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":"Q2985779$9248C2F4-0534-4086-9EED-0F8ED71417AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c48578f00ee81f71260d9e9fea80a9324d8a416b","datavalue":{"value":{"text":"Constructive Galois connections: taming the Galois connection framework for mechanized metatheory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985779$5FB5C848-72CC-498A-B9CA-6833895DB800","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92b8e6fb5e0911218094d2a5cc87fae115e6fdd4","datavalue":{"value":"1361.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985779$41972491-41C2-4510-A609-26DB525AD2A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b0ab78d6901360f97e9c1736a2b1a8613f28d82","datavalue":{"value":"10.1145/2951913.2951934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985779$0F9F0EDB-477B-427D-AE58-34DA567B4584","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":"Q2985779$9D7740D1-55CD-4858-80F0-916F1843155E","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":"Q2985779$BE9144D8-6A82-43DD-B86A-C39A6CE0D6D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985779$F507DA80-82B6-4EF5-9049-49038D3F8A2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-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":"Q2985779$11352E3B-9ECE-44A0-B392-537A448B9DC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f011049d263024b869f71b7cc199251a0409f83","datavalue":{"value":"https://arxiv.org/abs/1511.06965","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985779$DD6F8362-AE38-430E-91F4-75BC41A7C286","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985779$94908F76-77A4-4650-9398-AB4CE061419F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985779$FD2BD080-6055-4228-AFED-0639B62E9AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985779$D8B5A6FB-1B23-402C-9FB8-3305C2C049A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985779$E72DAE7C-FBBC-49E9-8675-38933EF9E98A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"508953c31cc61b2e92b26a210a8c9d18a7abd725","datavalue":{"value":"6713913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985779$99707C7D-A7CF-4939-ACA2-44C83AB978D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985779$291923EC-5709-4832-9CF0-A4DA0401DEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985779$90251962-BB3D-4ED4-B244-DC6154A832F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985779$A12975C6-E841-464A-A2A5-387CB1ADE15D","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":"Q2985779$560EB3DC-7F2F-4ABA-9460-9F463A7A9443","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4aecdba9e5aedceafa85fe6ba50a1893d35f7563","datavalue":{"value":"W2282057970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985779$D46E1504-6C70-47FB-B028-34462DFE342C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1233d8feb996e112e2eb3a8541cc8ef050a18618","datavalue":{"value":{"entity-type":"item","numeric-id":4972068,"id":"Q4972068"},"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":"Q2985779$55E2220B-3EF2-4901-9BFA-59AE281CD1C9","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":"d069c12edcf95b3de33d7c8b7a3a978c89b490af","datavalue":{"value":{"amount":"+0.846107006072998","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":"Q2985779$667333EA-CB3C-48CB-803F-E6106850E144","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":"e08637686f61dec0dd09d97127c92ba54f2395f8","datavalue":{"value":{"amount":"+0.8125337958335876","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":"Q2985779$94B3E2CF-D55E-4D78-8B16-A85BF1267E94","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":"3df84463fadbe18a1f7bb88e4297a01779f4055a","datavalue":{"value":{"amount":"+0.7510839700698853","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":"Q2985779$3E4B94A2-BB7A-4E26-8838-CE5DD232C135","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":"19c3bd0cec04a5411c036881dd3cf7541cb4216f","datavalue":{"value":{"amount":"+0.7364426255226135","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":"Q2985779$F8EFB5A1-9DC5-4F2E-81C9-570822566BB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985779"}}}}}