{"entities":{"Q5369491":{"pageid":7399065,"ns":120,"title":"Item:Q5369491","lastrevid":40692722,"modified":"2025-04-04T09:23:33Z","type":"item","id":"Q5369491","labels":{"en":{"language":"en","value":"Functions-as-constructors Higher-order Unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6792359"}},"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":"Q5369491$6557DAE1-F5E1-45AF-823F-388D9086E868","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"179734f1da534b3807538de647896134d41d711e","datavalue":{"value":"1387.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369491$EBECE5F6-6289-4988-8B54-81C5E35F05BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59f4b4605f2cb1b1aab15c5b5f5f6f54ccfea295","datavalue":{"value":{"entity-type":"item","numeric-id":2134935,"id":"Q2134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$697C396C-B881-411A-9CF2-BFD8726D9529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$B93E65E9-09D4-4386-ACBF-D7F9D5CC045C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eae4cdb5001296cfa1d627ad5453506a5832f064","datavalue":{"value":{"time":"+2017-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369491$932AE20B-C58F-47B3-92C3-1FF0B899D5A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369491$71167BA3-4B63-4451-B723-CD6B9FD47EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369491$8192F508-82E9-4ED4-B4E8-85EDBBF9749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369491$E87BF89E-780B-40DA-934C-5363DC6E4EB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66965aa4c5c266df54d2ab342364644fc76684b8","datavalue":{"value":"6792359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369491$071046E6-583E-4FF0-8445-FE9C256D4720","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369491$5C8B36CF-3AFD-4F52-8AF1-0EF39504EF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d20148f29912fad087875f01e84c4e147dee38cf","datavalue":{"value":"pattern unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369491$AE698C2B-AE69-4AF1-ABF8-1B72E5A9A908","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$947ACB8B-3B2B-4DAD-B8C7-5908AAF915F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$8404C5AA-D663-435A-A899-959835856595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d5babe97f2f56351f377ba7c3d7378d6a3c2e47","datavalue":{"value":{"entity-type":"item","numeric-id":30355,"id":"Q30355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$646EEE01-961A-47F2-93C5-E8F9B5E39899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3e00406e30ce785ebbefaf806da7a5b8ebf8458","datavalue":{"value":{"entity-type":"item","numeric-id":33172,"id":"Q33172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$60920916-2519-4B94-A193-ED6C7326A019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58035a6d5b9e51c740620804674c88b1baad9226","datavalue":{"value":{"entity-type":"item","numeric-id":15842,"id":"Q15842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$ACE7EAEB-E5F3-4A88-BB02-D28105B9CB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$CE78E694-8F20-4DB1-8585-12FDFF1C6B06","rank":"normal"},{"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":"Q5369491$AF61E35C-A26E-47B1-B282-D744F531E948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e1a240c321e56a4c4972fd8e23ea8cd8e21bff0","datavalue":{"value":{"entity-type":"item","numeric-id":21744,"id":"Q21744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$91531368-CDB0-4840-BCD2-F3DC55F49956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$74849219-A7CC-4F8C-928F-F53A270687EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$74549412-F9B4-477C-B75D-C3C4C5CA5C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42d0367ffc4d2b82e6fb2192cfde6351c1daa402","datavalue":{"value":{"entity-type":"item","numeric-id":31432,"id":"Q31432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369491$705C8B05-7718-49B6-90CB-0EC0D98D8D28","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":"Q5369491$185F878F-E548-4F8A-A64A-A3870D0FD1F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"034df761f8c9e1ec0dac15e91501a56e222ba0ce","datavalue":{"value":"https://hal.inria.fr/hal-01379683","type":"string"},"datatype":"url"},"type":"statement","id":"Q5369491$800FCAA1-9E80-4E43-BCD7-8756A37FDF7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9275acb20da74999611fc5a8ad16d6da1c878f68","datavalue":{"value":"W2484664235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369491$5B3069F2-B095-4235-B04B-8180D8EEB748","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eaf23d97c053576af955ed386f6ad473090a7b2","datavalue":{"value":{"text":"Functions-as-constructors Higher-order Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5369491$2167D11B-1C00-45A4-A511-F611814A638E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36c430c07128ca5e1c25f02948dc8211e4ca4341","datavalue":{"value":"10.4230/LIPICS.FSCD.2016.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369491$8F851434-0345-4056-91F1-D57E82EC2BDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43317b0439812acc45af5b0f0111f1610b53ff92","datavalue":{"value":{"entity-type":"item","numeric-id":2134936,"id":"Q2134936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0162a07273f11a9a21451306bafc6298d8db47","datavalue":{"value":{"amount":"+0.96778524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369491$93B6A416-33A0-4340-9499-151C7BC91285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2f0bb38b56f759cbb69a7dc3cbce032e16f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4527b019006c68ecfe44c0054063bdcdb86cd4","datavalue":{"value":{"amount":"+0.89132094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369491$A8440EB4-29F0-4CCF-8B8F-F3E520D59DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf74e94c142a2c3844f66b3c9176851bd89389e","datavalue":{"value":{"entity-type":"item","numeric-id":3978983,"id":"Q3978983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0844322a8fea88b5233609ee00c1d462adc570","datavalue":{"value":{"amount":"+0.8509689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369491$07B1F45D-F6A0-4155-83AE-2C8661AAF7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8cfc62f194e1a46925f1c419da149c1b055305","datavalue":{"value":{"entity-type":"item","numeric-id":2778824,"id":"Q2778824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32df939454b2ae0f468ee0338218e31b0d88e56","datavalue":{"value":{"amount":"+0.84711045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369491$8B5937A1-6D98-4734-863B-A55A0CD98B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee60e3c0c9f608e85ef83e663dbf3bfe41ca06b","datavalue":{"value":{"entity-type":"item","numeric-id":1089782,"id":"Q1089782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2bae06c999a94b42b7a538d9348f125bb0b3277","datavalue":{"value":{"amount":"+0.84108126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369491$A08DDF53-4648-4648-8038-D8CCAF8653F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25b8f52428493ccf7994fe2ced0015cf3204118","datavalue":{"value":{"entity-type":"item","numeric-id":2866332,"id":"Q2866332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6549fab4b6ad5bca920608d20746566b4ac171c","datavalue":{"value":{"amount":"+0.8385731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369491$5C4F9CA1-EFEF-4780-8ABD-83BA6602604C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ce7943a21a23a8d9b0653e2f31b405cdd64ba9","datavalue":{"value":{"entity-type":"item","numeric-id":3836527,"id":"Q3836527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18acf36534cd6d597ee0b8f240371bb40773192d","datavalue":{"value":{"amount":"+0.8346797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369491$14A266A2-212D-4AF3-80BF-09F7A5D724FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2420aaa708034c752dba71ebfef2c5ad8df0085","datavalue":{"value":{"entity-type":"item","numeric-id":2913927,"id":"Q2913927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8555c54e2b058f293e3e92ac4005e5a35d21ff2","datavalue":{"value":{"amount":"+0.833558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369491$04132F4E-F660-4BDF-9205-DA9EAD7DC776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aab98369bd6f305a70a505f806194fdbf53be7d","datavalue":{"value":{"entity-type":"item","numeric-id":4494383,"id":"Q4494383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b7244a00168465877c02fb2c7de40e944fe804","datavalue":{"value":{"amount":"+0.8327934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369491$D7A9DAD1-C01D-4AD3-8FC5-F5B3E4BDF5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25874115f7b5639622ddada8abaf228c3ee7bf7f","datavalue":{"value":{"entity-type":"item","numeric-id":3527294,"id":"Q3527294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4755d6d47b19f7f36abe7fcc0cbc3ec5910f00d6","datavalue":{"value":{"amount":"+0.8324829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5369491$6B564B2B-CF36-48BD-A04D-0D29CF3B9563","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5369491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5369491"}}}}}