{"entities":{"Q3297839":{"pageid":3308547,"ns":120,"title":"Item:Q3297839","lastrevid":86722529,"modified":"2026-06-04T09:40:37Z","type":"item","id":"Q3297839","labels":{"en":{"language":"en","value":"Galois Connections for Recursive Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7223192"}},"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":"Q3297839$EBD8E336-6940-47AD-B407-89E0AA403A63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"804c74820ca3f960c5ae4efbf11e5864530d7d72","datavalue":{"value":{"text":"Galois Connections for Recursive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297839$BC312886-125E-41F1-B953-F1757B34AAB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86c6550fa16b569345f290e03943bc97dd2fc034","datavalue":{"value":"1440.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297839$05BF005D-3636-46E4-A842-2C2B97526B93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbac2a38e1ca969f75c12b7b43fc53d4a0303a05","datavalue":{"value":"10.1007/978-3-030-41103-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297839$708551FF-C117-42F1-A517-0F1FCB1123E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"27979b6fecde998746a1d86fcb1f0a4920fa93dc","datavalue":{"value":{"entity-type":"item","numeric-id":3297836,"id":"Q3297836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$2DE2D65B-5942-43D9-B3B1-AADDBB709768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297839$E021A63A-4F8F-4AEE-9629-F593B4BB0A88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297839$B52FF264-F483-4DBC-93B2-8EA445C954E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297839$94730146-921C-4986-B885-8409166485D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297839$BE9E0A55-7DCA-4F88-A7D4-5A43D14ECB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297839$8E8B210C-DA0E-434C-96A2-C559D07E7EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297839$D081C7B7-AC39-49E6-ABE4-D4C5D5E71C0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4af881fe2da053d44ae86da794952487c6e4ca82","datavalue":{"value":"7223192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297839$E2224413-9DB7-4A4A-851A-3C76E88ECB40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$65BCB0FE-1E70-42E3-9C1B-F2958184DD6E","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":"Q3297839$39B8A4BA-85D5-4E59-9FB7-54B67A02FAEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c916b08a96376e3b6b4b3bc3f06523873171350","datavalue":{"value":"https://doi.org/10.1007/978-3-030-41103-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297839$6F778B8E-B0C3-49B8-89BD-FA00ED347D8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5baef7503cb763ba9f078673ff1cf1658f2ac28","datavalue":{"value":"W3006303566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297839$7A950C0B-1B70-4185-98B7-FD50D9353B34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$DA6556D7-647B-4176-8CF7-B720BE570EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee4f835eeb4b0a4b78347e358a1cb5c85da8739","datavalue":{"value":{"entity-type":"item","numeric-id":5472797,"id":"Q5472797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$8B209407-9EAE-4F1F-98FE-F184D2EC66E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed3955ec9359be5a50e26c84885e35d6f9d9c1f","datavalue":{"value":{"entity-type":"item","numeric-id":3189844,"id":"Q3189844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$7DF8500C-4CF1-4DC0-BCAB-DB263E7BE2CB","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":"Q3297839$7DF7AB12-4181-4826-B1B7-168467BFB35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5bdcaa540bff7c2bb2bc19021ce1f0a31f5b57","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$11CB9339-4052-41BA-9B19-DBC40FCD6D45","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":"Q3297839$D72A863D-840B-494F-B795-6AF76D6CACB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b681dea59984987c46528d40b077aa53562103","datavalue":{"value":{"entity-type":"item","numeric-id":1330441,"id":"Q1330441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$00FB8C49-23D5-40F2-944A-474BEAA31A9B","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":"Q3297839$145FBE4B-00F9-4246-8BB1-438B75C08503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$65545851-3567-45CE-9136-BE24CB085C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2144fe5495fdeccad8e3a872dd20d5cc6bcce44f","datavalue":{"value":{"entity-type":"item","numeric-id":3415205,"id":"Q3415205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$7BB47526-6102-466C-A143-59019ED969EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$1571FF54-78E5-445D-AE3C-CEEF57BD4775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26a13eaa1ffaf6c36a372e60f964d28443c48d8","datavalue":{"value":{"entity-type":"item","numeric-id":2926653,"id":"Q2926653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297839$B19166BC-0115-4D5D-A107-19B4FB8888AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ca099715876eed91cb57a213b6b74ca56a0ad06","datavalue":{"value":{"entity-type":"item","numeric-id":4923551,"id":"Q4923551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973623ed98c3a825c39638411766b031a74c65d4","datavalue":{"value":{"amount":"+0.8990758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297839$12972D7A-AAD5-44D5-97F9-18DE9CF025F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2268eff9a6b8816bc50336e8787e5950cce82f","datavalue":{"value":{"entity-type":"item","numeric-id":5687240,"id":"Q5687240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451d083af7cdc760eab69a4428ff5334d70dab99","datavalue":{"value":{"amount":"+0.8934257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297839$81CB18D8-6BC1-4F85-8221-4CA55FCFE4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88a17c673e5a0f95a61f0000a1a64861389b607a","datavalue":{"value":{"entity-type":"item","numeric-id":1306714,"id":"Q1306714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451d083af7cdc760eab69a4428ff5334d70dab99","datavalue":{"value":{"amount":"+0.8934257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297839$B2AABC8B-7B29-4217-878D-28075639CB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3ead1a9b08b654bf08cdb2bd4f56bef4713c68","datavalue":{"value":{"entity-type":"item","numeric-id":2036385,"id":"Q2036385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6f41a0584803359399dbd3899b41833f0f3564","datavalue":{"value":{"amount":"+0.8858415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297839$1E418025-EC1A-4C9B-9E9C-5A864C883834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80548fcfe71ae17a812ca66312194e52ee6b23a3","datavalue":{"value":{"entity-type":"item","numeric-id":5704009,"id":"Q5704009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b8076229a5cef77c8bd2b1ace76d04bc3e30b6","datavalue":{"value":{"amount":"+0.88379705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297839$3BDB949E-EE5A-47D8-8C52-FC2B6FDC2615","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":"72da7845e8ed799919e547405669944846d9b960","datavalue":{"value":{"amount":"+0.88052875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297839$00EEBCB0-1A03-404E-B57C-61DEEE9B9AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd595d476d62290a61ae13841dba013427e262c1","datavalue":{"value":{"entity-type":"item","numeric-id":4944848,"id":"Q4944848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45053590d8131440e537c3d5fc004f133dbe8c6","datavalue":{"value":{"amount":"+0.8791239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297839$722E589E-9B9F-412B-A29A-98042AE3654C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f485f28ff130d0619a6bdb102f4132d10b7fad","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c909ae3fe12a15b4224b74c2fe03c9078864006","datavalue":{"value":{"amount":"+0.8767378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297839$09200C9F-7396-4F65-B38E-E6A5A852756D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b5a1842975a4d188a8c6221e0c6b1e5ae1eda8","datavalue":{"value":{"entity-type":"item","numeric-id":4435459,"id":"Q4435459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d4087236e7fbf522575eb62cd1aafc9555bc85","datavalue":{"value":{"amount":"+0.8742186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297839$BFFFD361-CE07-4A83-AEF0-AAB50E455A5A","rank":"normal"},{"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":"6a489ef4d9d4aa0e5b74722aab306c7f8d7becb6","datavalue":{"value":{"amount":"+0.8740322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3297839$8CFE8A9F-9EEB-4660-96E7-FC015A49C19C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Galois Connections for Recursive Types","badges":[]}}}}}