{"entities":{"Q3007585":{"pageid":3018309,"ns":120,"title":"Item:Q3007585","lastrevid":51269336,"modified":"2026-01-17T13:07:38Z","type":"item","id":"Q3007585","labels":{"en":{"language":"en","value":"Programming from Galois connections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908633"}},"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":"Q3007585$23971177-53CB-411F-8D12-93B27E4D546F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b1474acdba81861d69083e70ebace175b82dd83","datavalue":{"value":{"text":"Programming from Galois Connections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007585$75ECDBC4-8AC7-4978-96BC-61B8A496AE7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da2300e6cf22de3f9aa856df23a32213e8008db4","datavalue":{"value":"1329.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007585$2AF90E1F-6417-4153-8883-4E8921F041C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d1d7ced977b65919657f5e0674f9cd8367ec066","datavalue":{"value":"10.1007/978-3-642-21070-9_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007585$DBA4E6C1-A832-47B8-ABA5-5BE1C93E4958","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":"Q3007585$1847611C-8A44-4E2D-82AF-D576678D98AD","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":"Q3007585$862A614B-44AF-409B-8198-ADBF668D1369","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007585$AF036051-2BCE-47B3-96A1-5CBEC3005F3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007585$A330357C-5918-45FA-9C93-2BAB9CC42F8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e334f8c0f9c666905cc64765804f6c7a9bdb1f2","datavalue":{"value":"http://hdl.handle.net/1822/24608","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007585$E71A3493-5E29-49D4-8D1E-05B1FC30FA68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007585$C71731F9-D208-4931-8D46-4A7A6971F3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007585$A889192C-04D4-4A0E-8BFD-03548621857A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007585$192725D7-DAA6-4594-B89F-B0D4ED6B8460","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1085da2af2d1eac5dada907daecff305ca1c0309","datavalue":{"value":"5908633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007585$D04A9B2F-BD66-49B1-BA5C-3B0067BD57C2","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":"Q3007585$E10EAE10-6CF0-49B8-9374-A7A3AE49BF17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d1545c419f037868ff3bbef0578e90166357957","datavalue":{"value":"W2115926421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007585$9D2358F0-69B4-42D1-BE91-8DB208FA4334","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a22fa7be21a5b1b1d19d69ff2110b83b91e040e","datavalue":{"value":{"entity-type":"item","numeric-id":1931902,"id":"Q1931902"},"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":"Q3007585$DA777B88-1B88-4581-96A0-293D93C89D28","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":"b9c4126009312f3fe2197c8b6ac43b045d40dfc0","datavalue":{"value":{"amount":"+0.7561933994293213","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":"Q3007585$39FF38C8-9E00-4FBD-8654-23E36154C49E","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":"22bc163cf3d216204458060f3e9f12e25b3ab061","datavalue":{"value":{"amount":"+0.7529467940330505","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":"Q3007585$13D57ECA-AFA1-4E97-89E7-4F3C20AE47BA","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":"26337f6d31d26f61b81ce6000757fd9c8fb7d917","datavalue":{"value":{"amount":"+0.7331823110580444","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":"Q3007585$3E51DB51-D4AA-49E2-89A4-67198BB684F7","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":"6c200296d1440ad8e03319b6bb0a8d4a25d3fc33","datavalue":{"value":{"amount":"+0.7331649661064148","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":"Q3007585$B0922757-E9A0-4B91-B5FD-7F646046C088","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007585"}}}}}