{"entities":{"Q5089010":{"pageid":7118586,"ns":120,"title":"Item:Q5089010","lastrevid":55415299,"modified":"2026-02-17T15:57:09Z","type":"item","id":"Q5089010","labels":{"en":{"language":"en","value":"A Generic Framework for Higher-Order Generalizations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559276"}},"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":"Q5089010$E34D816F-9E1D-40B0-B4EA-BBE0727FD5AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfbc6aedeac132fa8fdf22a422318272d7dd6c21","datavalue":{"value":{"entity-type":"item","numeric-id":1694472,"id":"Q1694472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$4D083B92-7355-4B07-965C-592D298AECA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22aae427d987903b086f7261fd1e4d8ee37a346c","datavalue":{"value":{"entity-type":"item","numeric-id":351994,"id":"Q351994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$0A41A9F6-0E83-443F-B8A9-86A949AC0C0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089010$9C4E3F76-88FA-41E8-A71A-4BE4502C55FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089010$C4B56899-DAC8-4038-8762-48801FD41552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089010$04FD5132-DEB1-42AF-8D24-81B003628C78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9addc7ac4df9f44b934f474659d241f744b0c6d2","datavalue":{"value":"7559276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089010$3A79D48B-C5A1-4234-A3C9-771DCC223C92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d99a0926969ff78460c1f7ac18ea816db4d8755f","datavalue":{"value":"anti-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089010$531390CE-E53A-4B64-A414-67866B04A0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9f9e0137c0b9aba13c1f764f1887c8597beb8c","datavalue":{"value":"typed \\(\\lambda\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089010$175A93E8-C58D-4D8C-9EB7-7D8DA06F73DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4603f82dc4dacd03fa9303f6f1300cd055586dd","datavalue":{"value":"least general generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089010$B951A773-21AE-42CC-B399-54BDEBA3AF0B","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":"Q5089010$7C909FF3-2B4C-4142-B900-9F69ACF7D070","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a151328b13af2ab3ceda3f3c48979005bd9f6bb6","datavalue":{"value":{"entity-type":"item","numeric-id":1671154,"id":"Q1671154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$D8999B5C-D8B6-49F9-AC7E-71F51F83CED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75c759d19d6abb986a4e2ed849a1d98b82096a48","datavalue":{"value":{"entity-type":"item","numeric-id":2296704,"id":"Q2296704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$F2F59368-181D-4F68-9D24-6C05C5401B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e425caf9cf7e302cd5a877befa0199262b3311","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$FAB93545-26E4-4A2F-8B70-2BB29440A3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$6755CE1F-A1FF-445B-B44E-1288D0425E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37594abd7e16a8852dc3ba4359b18fdb5fbfa74c","datavalue":{"value":{"entity-type":"item","numeric-id":2401634,"id":"Q2401634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$AA6F77A0-1515-438F-B47E-B30E493CCF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb3137ec136249d77e62c3d4b9c959a9485fb47","datavalue":{"value":{"entity-type":"item","numeric-id":2958379,"id":"Q2958379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$9D0A3D2D-559C-424A-BDE9-FDB89710F4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0dfce9058ec9e7df125de82f01de860173b64","datavalue":{"value":{"entity-type":"item","numeric-id":2362208,"id":"Q2362208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$B769A9E5-6E73-4313-8D48-0E7C3957695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae69d775e9e5be247c3b40edf17a76b45bc81ddf","datavalue":{"value":{"entity-type":"item","numeric-id":5494322,"id":"Q5494322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$6012F2D8-4759-49E2-968F-F64FE1E0E89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f053ea7eef251c837b55df533caab74e83ddff","datavalue":{"value":{"entity-type":"item","numeric-id":2352488,"id":"Q2352488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$8DB70475-F978-408E-833C-4471C2FEE2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766964ed770f17368ef6d7d908286406ac544300","datavalue":{"value":{"entity-type":"item","numeric-id":5369491,"id":"Q5369491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$4A38D0D0-4261-4EFB-A9E5-61E73AD9DB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef60c720fe129cd5387bdbdd8a251de34d820c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1799269,"id":"Q1799269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$A004707F-DDFF-46DD-845F-AAE7D0B348A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$D8D6709E-1354-47FF-A024-13C955BF48DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355ba040b4f683319f6d50009f8f2e01c234b1e9","datavalue":{"value":{"entity-type":"item","numeric-id":2946592,"id":"Q2946592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$543672D1-7DF5-49EC-A5B2-AA12725029B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$DC5783BE-21AD-4EE7-A97C-257DDEC9FA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$0658E216-4BB6-4B75-8BF6-FE11230FAD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063a3566baee927d0306df53e4c9874669d54176","datavalue":{"value":{"entity-type":"item","numeric-id":5739525,"id":"Q5739525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089010$B90F5004-6DBB-4DA2-9F22-DB1A31F7B098","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2ac81d8ffb5f33fc23360624ad6145f5d833b10","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSCD.2019.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089010$2048925E-C9D3-4A52-AACC-121ED04CD1B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c59a059cc562f12a5963cc5c890554a18493ead1","datavalue":{"value":"W2953744622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089010$255891BA-4F0D-4C88-BAF4-0F8FE5208538","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93e589d9d327892222a91241c5af949ee27380f4","datavalue":{"value":{"text":"A Generic Framework for Higher-Order Generalizations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089010$E52070C9-E382-486C-8E8A-BEEF882A49D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"398275acf796081139070af6e75eba4eb35971cc","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089010$E6AA6F80-B8D6-4FAA-A6FF-61D24F6CEEAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78db81a52e13cc5f15f37e7929f323e66993e62","datavalue":{"value":{"entity-type":"item","numeric-id":2958379,"id":"Q2958379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ac37a51e1afaad8e5622351cb58ad72168a8fa","datavalue":{"value":{"amount":"+0.8656116127967834","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":"Q5089010$397C503E-6F65-4702-BF3F-F6F9191D7061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f643c3af58865dbf8275cc595893e134cc61192","datavalue":{"value":{"entity-type":"item","numeric-id":2362208,"id":"Q2362208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be45b85c9c2c1c8994db2f742578117a1617711d","datavalue":{"value":{"amount":"+0.8464723229408264","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":"Q5089010$33297140-79CD-41EF-B749-290A422C2D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bffc270f8b4957d8bb81ed3acc9f2f50586bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4993338,"id":"Q4993338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99f02384351211dd6bb3288503e112ca841d2f7","datavalue":{"value":{"amount":"+0.8447811603546143","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":"Q5089010$A7363EBA-7927-4467-9777-4DF78B01643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d9e1a47e9a7e2e6e8cfde0815e7bdfac71a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5139277,"id":"Q5139277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2549fbaaf3bc8856d5dec46f6504cfeaec633a40","datavalue":{"value":{"amount":"+0.8436875343322754","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":"Q5089010$942DE1E9-21A5-4C3D-A6C5-D322827A65F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93edfd845d60c56672462defc9facae3febaf21c","datavalue":{"value":{"entity-type":"item","numeric-id":4246979,"id":"Q4246979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5729bab80f0d25ff3af19780a0dab00e5d541d1","datavalue":{"value":{"amount":"+0.8173760771751404","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":"Q5089010$9EA3251A-39F3-43C6-90A3-53F4DD714EA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089010"}}}}}