{"entities":{"Q4256147":{"pageid":6285748,"ns":120,"title":"Item:Q4256147","lastrevid":46845138,"modified":"2025-12-25T17:16:29Z","type":"item","id":"Q4256147","labels":{"en":{"language":"en","value":"Higher-order narrowing with definitional trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1309204"}},"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":"Q4256147$2ECE1860-4D66-4A38-85D6-E68FFFCCDCF2","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":"Q4256147$7F7F61A7-B1C8-43F0-8C6D-BF3422CDCB6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a9010b945a814f58b375a5755854c82dc7b2204","datavalue":{"value":"0926.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256147$B41CE1C2-24C4-4818-835C-02225654B3D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e85db021b94fc56afe838f9c7c351f26a67087d","datavalue":{"value":"10.1017/S0956796899003330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256147$AC16CEB3-3CE7-4A39-BF3F-1684B7FFB0D1","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":"Q4256147$840F6E6E-A100-401B-8197-B2415DFC8F58","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":"Q4256147$162110A0-FB0B-4A39-9904-349230DA718A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256147$DF50DFD3-A7CF-4259-ABDF-F4E6B5A8C43E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71d9a55352a0175487e313516c8c126b663aae3a","datavalue":{"value":{"time":"+1999-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4256147$B3AFE9FA-23A5-4E36-AA15-83D548A9E627","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256147$165277B9-4D2F-4325-9DD8-30E4E5E3310B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4586830457df5bcade267850efbaace2ffe5886c","datavalue":{"value":"1309204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256147$9B6A9E4F-62E2-4E17-9121-81B4D2454E5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5db1997b7995d7138ba696df28cae9e67a424da","datavalue":{"value":"functional logic languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4256147$5D2633A0-3044-466B-AB25-49926EACE01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f82e5b3fddf0920d7af80635fcdd17881d7b23","datavalue":{"value":"rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4256147$CC1175D9-8C0F-4763-AA38-8951ECC52C73","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":"Q4256147$75E95E9A-2E40-4514-B7DB-D85A64163237","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0969334c1cf26f7faa26dc818301170c911fa610","datavalue":{"value":"https://doi.org/10.1017/s0956796899003330","type":"string"},"datatype":"url"},"type":"statement","id":"Q4256147$0A5EF19A-C2E7-4D30-874D-C0998909E4D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c19dadb71d695e1d72f37f838cd34bf2007ce1ee","datavalue":{"value":"W2013131987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256147$19C4FA40-B938-4AF7-B140-F764CD3EBC27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d062558506e9b5ffabf0948b13d724e6ecc52b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5055857,"id":"Q5055857"},"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":"Q4256147$A9DAA7FE-CE6B-4DC7-AAC3-1124A7EFDEE3","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":"6c606ef92cb2467cbb07ff61d7edb381c687de4e","datavalue":{"value":{"amount":"+0.8406243324279785","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":"Q4256147$AEDE9DF9-6B98-4C9F-88A7-6FA06C8B97CB","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":"eaca66530652b9de1129a177c01db43ec4e36e46","datavalue":{"value":{"amount":"+0.8398143649101257","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":"Q4256147$0BC992C2-0DE4-44C5-B735-D34837156477","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":"d9db22517d79b80968d8c447b38b4e217d88f060","datavalue":{"value":{"amount":"+0.824249804019928","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":"Q4256147$A52F7704-86B4-41D1-8788-DCD414FA3E16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4256147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4256147"}}}}}