{"entities":{"Q5055872":{"pageid":7085449,"ns":120,"title":"Item:Q5055872","lastrevid":47786077,"modified":"2026-01-02T16:51:35Z","type":"item","id":"Q5055872","labels":{"en":{"language":"en","value":"Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631304"}},"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":"Q5055872$01C40F14-3AF8-43F4-A62B-FDEDADB77603","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"158bb3e36673625a53457e4a12ee8312b2ce227e","datavalue":{"value":{"text":"Unification of higher-order patterns in a simply typed lambda-calculus with finite products and terminal type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055872$16CF8C79-44C2-4516-A35C-01C5067A4B3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baa9885ffe34b4f02064634378de21e2c18a4d07","datavalue":{"value":"1503.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055872$D8DCEA5D-75CB-4D33-A525-D011E28E553D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06dc39b307a6b2ba455651efe8451454390986f9","datavalue":{"value":"10.1007/3-540-61464-8_64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055872$16A937B9-9858-4EDE-810F-0C770E36A42A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6133d6e22c8a0c50700cc6fbaa99b58fb93eb956","datavalue":{"value":{"entity-type":"item","numeric-id":5055820,"id":"Q5055820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$310DDD97-37F0-44BC-8AA7-AE2769BEA7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07161db1e8f2e19f8cd9751578ad00734a1fc394","datavalue":{"value":{"entity-type":"item","numeric-id":844196,"id":"Q844196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$06B4D5E2-E389-4E4F-BBEE-8D1FEE4502A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$B0C8E2D2-0905-4DB2-B9E7-676A17CE6C53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055872$D0C39C9C-72D0-4621-8EDF-7A406DB920E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055872$A31F1544-C263-4FDD-921C-FFB1333F32C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055872$A87AE0DC-4863-4757-B184-DB8EDC4EEF73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf062b0ec596f1a5bd788084a008f86fceaf7cdf","datavalue":{"value":"7631304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055872$DDE48F32-54D9-4A3F-BAC8-E55FDCAB499D","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":"Q5055872$DE57AAF5-F4E6-488E-A9C0-1EBBFB2FFEE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9494d5084e6f210664776b423ce13c3f74db851","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_64","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055872$CDEC9B71-2305-4CCD-89AA-FCC8521ABE47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f53cf91f4da42ccd6ce29f09ff10df7e616ab8bf","datavalue":{"value":"W1544708439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055872$5A326C52-22A5-4C30-BB70-52AD55BAB7E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daf7bad1890a034b4e71a6cde1221dcde5a29c5","datavalue":{"value":{"entity-type":"item","numeric-id":4281490,"id":"Q4281490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$4A18F134-181F-40B4-AA2C-9904A55D36E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c252405abd976dcaf3cbe6a893c67bf7aa0b754b","datavalue":{"value":{"entity-type":"item","numeric-id":4630299,"id":"Q4630299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$11F4F8A4-7D7C-4C8D-866F-ED4D0035FCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dfff62635f570967f8a1905ba5609cb1e1ea4a","datavalue":{"value":{"entity-type":"item","numeric-id":1274966,"id":"Q1274966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$1EE59185-A26E-4886-B48D-37C568DC8E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$5E967655-B70D-4B9E-8D8D-55DD7B18BC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$9743EB69-27EA-4EF7-A805-79AF04889878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$090A51B3-EDAF-4AAD-94A5-D448CD9AA23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e054dc5c627c624b017a498debf02f5214e3a91a","datavalue":{"value":{"entity-type":"item","numeric-id":4537518,"id":"Q4537518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$B6E00FB2-8C7A-4A80-AFF0-8CDA768F6BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$09526974-1B6D-4F8D-B730-0D0B28E408A4","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":"Q5055872$288B3387-9FC6-4936-BC06-94E6FD0121C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a863517901a3f6f127be35b27a5fd134ba792ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1159627,"id":"Q1159627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$907FCEE4-AC4B-47B3-BB00-51FE885C2162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055872$A5E171AD-1A04-4E51-B557-529D1AF775DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357040841b6bd18fb9d302a090c8f4eddd701d05","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ae914f1863db3c4e81fb9260f392495e098f3c","datavalue":{"value":{"amount":"+0.839144766330719","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":"Q5055872$47A5363F-BB8E-4C89-90F6-B856042784C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9d48c224e8997095f4522db9c499bacb9b9750","datavalue":{"value":{"entity-type":"item","numeric-id":2367541,"id":"Q2367541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539a8cdb977adf3e1493aa4560fbff5e9e22bf6c","datavalue":{"value":{"amount":"+0.8360974192619324","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":"Q5055872$B4BFA0DF-4DB9-46F5-A30D-9E511D967655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c8dbe14cd4e8534f8053deb0c126e579b3c940","datavalue":{"value":{"entity-type":"item","numeric-id":3410202,"id":"Q3410202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741027458f36af100f00c8ec0b8e35b50f84435e","datavalue":{"value":{"amount":"+0.8288432359695435","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":"Q5055872$E5157959-CAA5-43B4-A92C-0A4221ED5CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e4fda4dd295d5e1fd362ff8368829164096e30","datavalue":{"value":{"entity-type":"item","numeric-id":1274966,"id":"Q1274966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a3b9d8a8d51f2f0e0b8685558d061fba581570","datavalue":{"value":{"amount":"+0.8156369924545288","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":"Q5055872$B75A7CED-238A-425B-83B5-31CF876C97B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364585e4c07db3bfa9ad621ad00a1bff043fc70d","datavalue":{"value":{"entity-type":"item","numeric-id":4885622,"id":"Q4885622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c169e7165198deda09d0ee4e23143e6033ead63","datavalue":{"value":{"amount":"+0.8136622905731201","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":"Q5055872$E63448F6-0732-4CB4-BBE8-608217FB3840","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055872"}}}}}