{"entities":{"Q5055857":{"pageid":7085434,"ns":120,"title":"Item:Q5055857","lastrevid":47786044,"modified":"2026-01-02T16:51:34Z","type":"item","id":"Q5055857","labels":{"en":{"language":"en","value":"Higher-order narrowing with definitional trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631288"}},"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":"Q5055857$AC56603A-B663-44CD-BA8C-C3D95D9C50F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7973afffa743ae65ac26087471002472ea1410f","datavalue":{"value":{"text":"Higher-order narrowing with definitional trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055857$4E79C287-7A04-45C8-8FA4-04D917F249C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"475679148e6940bb263f7ac3f0e2b5ed664ff10e","datavalue":{"value":"1503.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055857$BDEB16CC-AA93-49A3-86A3-A034CB53D098","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79ac434bcc008a4e8fb2b034f82d7dbbcccbd22a","datavalue":{"value":"10.1007/3-540-61464-8_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055857$095089DB-F8A3-4803-9F75-398C40852391","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284a0a3d9b0aa1479b8d064647908d17d9971b50","datavalue":{"value":{"entity-type":"item","numeric-id":293291,"id":"Q293291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$3CBA6F65-89C0-416F-B459-5A2BA5356E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"223489511b64196527b95b35561ffff391885c10","datavalue":{"value":{"entity-type":"item","numeric-id":4229810,"id":"Q4229810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$AB88DF20-9032-46DE-9233-8EADD13B7283","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":"Q5055857$BABE006A-25F6-4E7A-920D-1C1FA337D64C","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":"Q5055857$CE89F0DC-9311-46BA-ABF5-3AA81E548D39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055857$1B2632F7-69B3-4AA4-8076-83712F247E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055857$D571608C-6739-4014-89F1-4AAE95E873A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055857$B4C87E1A-9B2E-4374-8506-B1C8053104AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c720246e934e05d627b11801d16fef0dbefa364","datavalue":{"value":"7631288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055857$1F1392DB-1F03-4396-9581-9297C51D28E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32dae26506ed7b7d490e6f4de337f1bbf687f144","datavalue":{"value":{"entity-type":"item","numeric-id":15552,"id":"Q15552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$A6CA32D5-3D56-4331-90A7-4EA52FE18E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"77263c8b87dcdf4b5cd3179005e949596b9b5133","datavalue":{"value":{"entity-type":"item","numeric-id":20977,"id":"Q20977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$0152E8C4-95C1-420F-A09B-C6F04A71D00F","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":"Q5055857$D8C40ABC-6144-4F9C-B2D9-D4F44AD6B618","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"799964eff1c2706f7455e33cd1279a13c15707fc","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055857$1AB2C3F0-22CC-4524-AAAF-3599D5CB3791","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"878758460c7eaa8fe23d93578d0330537bdf9afe","datavalue":{"value":"W1550461844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055857$F3E3428A-59C1-4184-A926-35F7FE852168","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$13C34837-E9B3-46B9-B7F3-4F6963871F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ec3cfc46976e38fcb4d04fa4c6ffa0627484c4","datavalue":{"value":{"entity-type":"item","numeric-id":4327409,"id":"Q4327409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$B4383D09-830E-4B09-9A15-1E2E4445DD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f1e3ba141320a825b33539e9c804648ab89170","datavalue":{"value":{"entity-type":"item","numeric-id":5096313,"id":"Q5096313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$9C780369-CF1C-4BD0-97B2-C74887A94F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$4389599E-4B1E-4D2B-B042-463E72E272E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fc3ac50cdc68701590cf5e25ba53d4476472d8","datavalue":{"value":{"entity-type":"item","numeric-id":2638759,"id":"Q2638759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$1893F605-66CB-462C-8855-F74325DAE081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$A34363B4-50FD-44B6-98A0-2AD225094B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b42b44d2125269ee89913c1b59cd885cda36e5","datavalue":{"value":{"entity-type":"item","numeric-id":5055857,"id":"Q5055857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$B6365792-FE49-4C29-9D43-77217A0C9FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$5FF6FFE1-06FE-45F9-A2E5-0451D60F3144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$C1F932F5-5614-4E5B-B91A-C57C4E87C0EA","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":"Q5055857$D1096240-7ACB-47DC-8085-8CD4A5D1B2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41900839a0c3b2b417be2604da24b7f1f47cb5fd","datavalue":{"value":{"entity-type":"item","numeric-id":3992229,"id":"Q3992229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$7FD1D302-1BEC-4741-BC45-F3257B4B135B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633cf83c67ac473a486616e110e8d647c9885ab9","datavalue":{"value":{"entity-type":"item","numeric-id":5055875,"id":"Q5055875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$F21B2404-26DB-43F8-9797-77963907C84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e7eb75745b42d1e8b1dfbc0c8dea9db9c7c786","datavalue":{"value":{"entity-type":"item","numeric-id":5210802,"id":"Q5210802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$FEDA4654-6122-4100-B791-FC982BC96809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e3bfc575d41a97dd349ee2f6e064fd5266087b","datavalue":{"value":{"entity-type":"item","numeric-id":5096386,"id":"Q5096386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$61F9B81A-E809-4C24-8628-6BFC8C6DBB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055857$2BEF9BEE-84E8-4104-9EC8-1BC0F33B623A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7474baa0a80d340d546ff8f4fe61af0c4b0886fd","datavalue":{"value":{"entity-type":"item","numeric-id":4256147,"id":"Q4256147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fd1ce056be56e4f879a18a072e6b71da217c06","datavalue":{"value":{"amount":"+0.9874590039253236","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":"Q5055857$E61A73B4-011B-4F57-9B51-1754CB5FF494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62eddbd21770d795eaa8053d86ed9448aea1fa0f","datavalue":{"value":{"entity-type":"item","numeric-id":3525083,"id":"Q3525083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76960ab642803061abc821de0382085d045f0c0a","datavalue":{"value":{"amount":"+0.8319342732429504","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":"Q5055857$582CAC5F-5FEB-4720-AAE7-6B24F37BC938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f5e0fe0c4b06342484f1e8b7900801f58a952a","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bbd67e436bdc154d8f10c697c30b8f5aaaded69","datavalue":{"value":{"amount":"+0.8230781555175781","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":"Q5055857$FCBE4C4E-B4D5-45B4-B6E0-81EB571B561C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d03a1a77bedf2c1b4ce55c170183705b4b1a143","datavalue":{"value":{"entity-type":"item","numeric-id":4283239,"id":"Q4283239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a484a7a77b2f53acd51a0ba9006c90b8c1f25e45","datavalue":{"value":{"amount":"+0.8027248978614807","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":"Q5055857$462E9192-2243-4D87-A856-A3979AB8CE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e05334a5df87929eeaa7fc018ecef162919eba","datavalue":{"value":{"entity-type":"item","numeric-id":2456576,"id":"Q2456576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a484a7a77b2f53acd51a0ba9006c90b8c1f25e45","datavalue":{"value":{"amount":"+0.8027248978614807","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":"Q5055857$87FAC7DD-C12C-4585-8D94-4E5C60056682","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055857","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055857"}}}}}