{"entities":{"Q1931902":{"pageid":1942644,"ns":120,"title":"Item:Q1931902","lastrevid":69329520,"modified":"2026-04-13T06:16:43Z","type":"item","id":"Q1931902","labels":{"en":{"language":"en","value":"Programming from Galois connections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6126070"}},"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":"Q1931902$721A9474-F95F-44A5-A730-AA7E68119406","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6281d6ec277411b0e13b2738a87bd7bffa4630e","datavalue":{"value":{"text":"Programming from Galois connections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1931902$93B6DF36-A7DB-4FA3-9697-15E33A10CB30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64499094a66e02566c6466a8210086c7ef27524b","datavalue":{"value":"1257.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931902$BC8C217C-D8FE-4400-9F00-5A792D7E9CE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de02a9fa0078d5c4dd476379688b2208c97acc13","datavalue":{"value":{"entity-type":"item","numeric-id":1648869,"id":"Q1648869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$6C35614E-2B3A-437C-9D8A-EC3704506FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b471f64e9099db93b347de45c232b233ea6e17a2","datavalue":{"value":{"entity-type":"item","numeric-id":299178,"id":"Q299178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$05A04276-9F06-4800-8C70-692979B1EB52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$C3D2C08D-0B06-4BDC-BE7D-62F6064BF9DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a182d0b9d771c58d711172642e13babdf59a69c7","datavalue":{"value":{"time":"+2013-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1931902$97348458-44B5-481D-ABE7-18548585CCA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931902$CAF558FA-C53B-4D85-BDA1-27ABFDA9A7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931902$F6DC3D92-69E5-47F7-B131-17E3526E627F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931902$698E2EFF-1AA2-4FCB-AC6A-7077AA258348","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d91a6db1ff721b1e19ca219d36b97ab125c04f65","datavalue":{"value":"6126070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931902$A32CA285-BBE1-4DBA-9F48-481D730D686A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931902$3089F1FE-95AC-4083-9BD5-6E0342568FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e5f6a4488e8218c24dd76275ae41906f1646c66","datavalue":{"value":"algebra of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931902$6EE219EF-B8DD-4603-BD3C-1F526EE460F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931902$21116A9C-2332-4697-A730-1E53549B0591","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":"Q1931902$BBB4D26C-7EAF-4F2C-B6CA-9F3E4C2D7BF2","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":"Q1931902$47176BDF-2C29-4CAA-8C08-57B7A6561019","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cf5508cb1102c9874eead685f22582d4162af76","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1931902$08CA3E47-92AC-48A8-8F83-A4A32D4B97C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e73fb583a0d233d3d32d5255481e4c567ef564a2","datavalue":{"value":"W2180807186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931902$5E9B1669-2F0D-4023-9AF9-0BB6E2EA14A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20dc887c746c8531d17f345e8258f435bf7d4b29","datavalue":{"value":{"entity-type":"item","numeric-id":1881270,"id":"Q1881270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$6AB04B94-A2B8-4D96-BD7C-79D07301C27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b8f2843a7242ba011aa6e7f33280202a937137","datavalue":{"value":{"entity-type":"item","numeric-id":4738112,"id":"Q4738112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$FADB46C1-6B5B-4507-AFAB-750845381E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$3B2A99E9-2B31-4961-B167-38CF27963733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99e3a2fa0b3dc992fe693b31ccb754ab355596b","datavalue":{"value":{"entity-type":"item","numeric-id":4880524,"id":"Q4880524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$2280CA77-68C2-4483-A0A6-AE43AB05D3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572a096f23dd304fa5e085fcaff44caaac08f76e","datavalue":{"value":{"entity-type":"item","numeric-id":4651540,"id":"Q4651540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$8A0CAE6D-302E-4375-B52D-394905C5409C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$AF42942E-AC3A-45A1-AC65-5690E3672A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90ce2baffc43563f7c49b8f5f238edbcb4e1d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1391737,"id":"Q1391737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$A13B6B2F-FF5E-4A66-ABCB-62A4EFF61FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$BC6D6475-E45D-41C2-ABC2-06CEC2188F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ac860696e668a9ea3bf009a3485e439b6a4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3859249,"id":"Q3859249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$F5BF45FF-6AD2-46A6-B8CE-66744302FDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$090B07C5-4203-4A6F-BF61-14EC6A0E512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc05b7ff29191db20dc48a43ae02a396f221bf9","datavalue":{"value":{"entity-type":"item","numeric-id":3758891,"id":"Q3758891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$87155AAC-CFE6-4546-9980-B1AE14B2FF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f700a75ce07071ada4e1d187b51eb2723a50613","datavalue":{"value":{"entity-type":"item","numeric-id":5191091,"id":"Q5191091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$A01A9A68-3BB9-4968-A754-FA8BA1201E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8d252c4b63fb90083780691f3f8fc55c61a1bf","datavalue":{"value":{"entity-type":"item","numeric-id":969585,"id":"Q969585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$D41CA377-BDC1-47EE-8C31-486EA7B6F4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d812eae8ea1cce404e11241932c246d92342dacb","datavalue":{"value":{"entity-type":"item","numeric-id":5459191,"id":"Q5459191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$2FAA7FEC-E8D3-48F1-8D1C-CE52E1FCE6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$262C9BF2-1AC1-429B-A581-87ACE1EBE6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8076e856068392ebc38cef0f8bcd7e9e7eee247b","datavalue":{"value":{"entity-type":"item","numeric-id":929971,"id":"Q929971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$60114BC8-3E1A-44B2-8E98-B98AC8CF4BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f4f078a406b3592b17e09bdb000d0003e4047a","datavalue":{"value":{"entity-type":"item","numeric-id":4154035,"id":"Q4154035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931902$AA03907F-5A88-493B-954A-4982E1F664E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cda2a8084526f7d9e353e939192c5b6b612adaf8","datavalue":{"value":"10.1016/J.JLAP.2012.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931902$E57A4543-03EF-42E4-A7AC-31E4D1A58209","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa46a956faad38e3f1771e7b96a1754e6c4a524","datavalue":{"value":{"entity-type":"item","numeric-id":3007585,"id":"Q3007585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c194eb99439a67c0900a943fd52011876283c675","datavalue":{"value":{"amount":"+0.9961161017417908","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":"Q1931902$D9DF6E24-8F40-4C72-9790-DC898D12D641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af44f3cd7fb0a4d7d5fdddd36e27db2e9375e1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3758891,"id":"Q3758891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f8a04f423c43820b7be16fcbbaee6a6e09ca7c","datavalue":{"value":{"amount":"+0.7598115801811218","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":"Q1931902$4163FAC6-173D-4A05-945B-3766E2947081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da4c67953efef8136a5e23f9969b09c785b7e7a","datavalue":{"value":{"entity-type":"item","numeric-id":4738112,"id":"Q4738112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cc3164a23bdb051f57a2cf702170b1d6d841e0","datavalue":{"value":{"amount":"+0.755881130695343","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":"Q1931902$D04B0C29-3A96-49CB-AA96-35B9978F289E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da60b29e04e6ac8d2ab0300c84bf164060040650","datavalue":{"value":{"entity-type":"item","numeric-id":2374306,"id":"Q2374306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc3c04ba8188cc0f6d522eec913958ffa1379c4","datavalue":{"value":{"amount":"+0.7379746437072754","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":"Q1931902$330A784D-E1DA-48FF-B397-4A13D55A0379","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":"71e300c5756370d33a6da2f40ab26656a487887b","datavalue":{"value":{"amount":"+0.7292302250862122","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":"Q1931902$F5770A37-DBD1-49CB-BDCC-8290D8BAF822","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming from Galois connections","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programming_from_Galois_connections"}}}}}