{"entities":{"Q477602":{"pageid":479369,"ns":120,"title":"Item:Q477602","lastrevid":42548188,"modified":"2025-07-02T16:58:36Z","type":"item","id":"Q477602","labels":{"en":{"language":"en","value":"The termination of the higher-dimensional tarai functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6378639"}},"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":"Q477602$05340E29-951F-4F87-AFF1-8C6AEF120C2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"626caa60df47906d6b33d9b3022e8c53dfc01026","datavalue":{"value":{"text":"The termination of the higher-dimensional tarai functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q477602$E8A65646-0814-465B-9226-D41772110A01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2cdd97cc7d99457933c35016763a977054f16ed","datavalue":{"value":"1302.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477602$31FA08E7-66FF-44B0-B6D1-346ED5917B48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95bab18c4f3bd1641e967bc594db4c599b7f82bd","datavalue":{"value":{"entity-type":"item","numeric-id":477600,"id":"Q477600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477602$7191C1A1-74BE-433F-9DCB-72171ABAB96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd67e89efce052e533ba4fbaf52ce4fc02e9e78","datavalue":{"value":{"entity-type":"item","numeric-id":477601,"id":"Q477601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477602$3AE83EE7-80B8-4F06-A1D2-29EE94F77362","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477602$66A8728D-7604-4240-AC84-C19C57DC41F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"647b7a1b0f81a95dd0d55b044a22a9b52645ffc6","datavalue":{"value":{"time":"+2014-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":"Q477602$BD7EAE63-E5B2-4242-A772-1F440A45C395","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477602$E1E7C71C-0B20-48D0-9F89-B5C7B6ED4842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477602$E87537C1-BF33-40B2-B20F-ADAFB5260F1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"237e17ef9dcbc600f5bafd96cca1cc8029449cf8","datavalue":{"value":"6378639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477602$BEB3AFF8-18CE-43DC-BBDD-D69976664865","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5dc80e8db5e6a6056d830e44a8fc8d61359d25","datavalue":{"value":"tarai functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q477602$88EBDDED-CCDD-47B4-B051-5B96204A465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q477602$A9997789-FDD7-4964-B7F5-F5EC6B084EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q477602$5B83E5EA-7C0A-4102-9781-BA31DFEAFF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q477602$0A352702-7CA5-4B1E-B9AB-B760A514E658","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477602$DEFDF97C-2064-4433-A0DD-03804229F00F","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":"Q477602$70530CF9-3D47-48AA-B6E0-D62642E7A381","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1271a825c7d6d7ab444763c3171ed63282052c2d","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2014.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q477602$EEEB4D0F-728D-43CF-ABF4-E038165CBD99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e09100d71c4f1d569e172a82830f26c7d2a41a3c","datavalue":{"value":"W2011275393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477602$5CFB03E2-409B-45A8-8856-AA9B0DEF377D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"560a6a1db9a7e7b49f18edf43deb5d7d8e5674b1","datavalue":{"value":{"entity-type":"item","numeric-id":4016552,"id":"Q4016552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477602$951E0C39-9FB0-45B2-9D72-8E31C27C01B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4252f412990f92944bc662cd3970f0d122c2c799","datavalue":{"value":{"entity-type":"item","numeric-id":1259437,"id":"Q1259437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q477602$C42C34AE-A0D9-4183-BFD6-24BE22745860","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce1b3220c9be911595b9b55372b9d79d3964d0d2","datavalue":{"value":"10.1016/J.IPL.2014.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q477602$6A5161D4-86A3-46C1-BB3A-5F6664DF9836","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f3f524f1667a0e5a501c303f67b90013a5b682","datavalue":{"value":{"entity-type":"item","numeric-id":3741829,"id":"Q3741829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3e8a5c9f08e7ba670dd560026ccf09eb14567d","datavalue":{"value":{"amount":"+0.8361536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477602$4ED38F3E-4EAA-432D-8C32-62811F0CC6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e2ec192535e1bab9a595fc8179f1de98122e6b","datavalue":{"value":{"entity-type":"item","numeric-id":2988414,"id":"Q2988414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71cb0c04726cabf364ea03416e44e53ad0de99f","datavalue":{"value":{"amount":"+0.83277273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477602$CEEE74B0-A7C5-48CC-AF00-650F835AA7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94f1218c87452543a9ba37f7249114b19353c02","datavalue":{"value":{"entity-type":"item","numeric-id":5149865,"id":"Q5149865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed79dfb38b9e53851e30b9eeae9693fe977dd05","datavalue":{"value":{"amount":"+0.82440346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477602$E1D34115-BB29-4A32-8160-A8746A8496EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73178049244eae5a87bcf127fff187f7d1e424e","datavalue":{"value":{"entity-type":"item","numeric-id":581571,"id":"Q581571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5f218c272860a0bdcf4d70eed403bed66a8d15","datavalue":{"value":{"amount":"+0.8220812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477602$39573A9E-CA69-40D0-97FE-DF3E2D637C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"238e6b362b2316ae6fab5e6e5bfd2b5ec62ce5cb","datavalue":{"value":{"entity-type":"item","numeric-id":2036346,"id":"Q2036346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f951b0ef8d256a71de590f93a14986d4b9b0a1","datavalue":{"value":{"amount":"+0.81988883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477602$98334B8F-913F-40F9-B40E-EE88946A8E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f5453d791e9ae8381fb0ab28d0e5addbd92f2f","datavalue":{"value":{"entity-type":"item","numeric-id":3743755,"id":"Q3743755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e47cd3935fd6c196de2e103de9882a929621a77","datavalue":{"value":{"amount":"+0.8193159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477602$27EDCE02-3E6A-4BE6-9C72-FC912B9A23B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1c02554da3613880c337729b239eb27fb53387","datavalue":{"value":{"entity-type":"item","numeric-id":3189238,"id":"Q3189238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98222038d7e94a15392763af589086d53ea35e7d","datavalue":{"value":{"amount":"+0.8190243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477602$9D9029F8-5FFC-4D25-898E-9B1A028140B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4055986974a5c136a479047eb44b922ba10306f2","datavalue":{"value":{"entity-type":"item","numeric-id":890526,"id":"Q890526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21c2085b7b38e6d97fba9e623575f3b2171da9c","datavalue":{"value":{"amount":"+0.81878114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477602$D282FAAD-CD89-4EA0-BE30-4F8B65A626C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94f2be28620bfca2c1e2d9c62d9b9b8ef4eea05","datavalue":{"value":{"entity-type":"item","numeric-id":4916737,"id":"Q4916737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287e50ecfa241335f60aeafe8d9800ab3e33a18a","datavalue":{"value":{"amount":"+0.8182576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477602$5321007E-F34B-4A41-BF01-895302CF958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2bca3bee97fc0493c2ff394b63f3ce05d58bd4","datavalue":{"value":{"entity-type":"item","numeric-id":1949406,"id":"Q1949406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5189ff6274d430d25341ec3792aea6c757cc3ef9","datavalue":{"value":{"amount":"+0.8123906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q477602$5E3F0F8D-1901-4B33-B68F-7A7D3526FC14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:477602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:477602"}}}}}