{"entities":{"Q1346222":{"pageid":1356961,"ns":120,"title":"Item:Q1346222","lastrevid":70208028,"modified":"2026-04-13T13:10:19Z","type":"item","id":"Q1346222","labels":{"en":{"language":"en","value":"A formal identification between tuples and lists with an application to list-arithmetic categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 736402"}},"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":"Q1346222$97358093-ED95-4087-96E0-507A38BAC19C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9c94c429aa599ddd5138b02709849210ddcb2a2","datavalue":{"value":{"text":"A formal identification between tuples and lists with an application to list-arithmetic categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346222$BBC910EC-8D54-45F5-8280-DD4648622CBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d67b1a6941de4f73805038a6c50091ce2cb726","datavalue":{"value":"0815.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346222$89B92DEF-38B4-49A7-B4B0-26D932BFE883","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd19067cbec995ef7149bbe9b912062e617be2bf","datavalue":{"value":{"entity-type":"item","numeric-id":1346221,"id":"Q1346221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346222$C0EE63D4-8856-41FD-95BF-2A530C4BC676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fffb11e3413fa5cc969a61a424e2554954849dc7","datavalue":{"value":{"entity-type":"item","numeric-id":236752,"id":"Q236752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346222$81068152-5A98-47D0-835F-F423A9A5058B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346222$CED3C1A0-AF81-46B3-AFDA-E9FD08A9EB00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346222$7F1FAEE8-6CAE-44BA-8DF9-103AA55F1AE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63363922c803e5bf02b091d219b37a0b52aee2e3","datavalue":{"value":{"time":"+1995-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346222$AA2A02B3-98DF-4642-8FCF-51861BF59E3E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef39b7d6628aa22b5bdc43f9410fdeca24609e6f","datavalue":{"value":"We may say with confidence that in many papers about general programming languages either the distinction between \\(n\\)-tuples and lists of length \\(n\\) is avoided, or those objects are identified, but only at an intuitive level. That type of identification, considered formally, leads to non- trivial problems, making difficult the typing of the functions used to deal with lists, i.e., \\(hd\\), \\(tl\\), cons\\dots   In this paper, following computational intuitions, we present a construction of a list subject as a coproduct. This idea is the key concept that permits us to prove directly some of the presented results about list-arithmetic categories. This is a most useful construction because we construct recursive objects on the basis of the expected semantics of a list object.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346222$06DB18BF-07D7-43A2-9839-E0D19D062B12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346222$142081E5-94DF-45F3-A3BF-C9DD6F4BB18D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26cc627d6360268f41bdd6b0ada2d8166ca3d65f","datavalue":{"value":"736402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346222$E885CEAC-BA12-4271-A70D-DC39963087DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89638413375dd53b078a0aad3bccd53bb277c2e1","datavalue":{"value":"list-arithmetic categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346222$C0ADD2B6-9BE5-49F7-BD57-356B8E6EB4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f51322e1e9be875164ee7a5ba1b364bf13fea3e","datavalue":{"value":"recursive objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346222$03F882E1-ACDB-44B9-828E-4DC6F175844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf90e979b8aa05796f492ec99f424fbfc712526","datavalue":{"value":"list object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346222$E6025208-BAB2-43C5-8CE2-F9FC3CF9110D","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":"Q1346222$E206B776-90EF-45DE-B4FD-90B82B272014","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1aa686ddf1e17a2f249c2cc01de4426ecd748c99","datavalue":{"value":"https://doi.org/10.1007/s002360050005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346222$357A1B0F-8961-4F67-8E80-6108DF95C162","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f89543d97d729d501b44e664bb41c693fc43df5","datavalue":{"value":"W2044544879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346222$1315BD25-1C7A-42B9-A2C1-AA592EEE2A5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54630b8cd166e2e13216262c33b63cf8138dfdc4","datavalue":{"value":"10.1007/S002360050005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346222$03455043-1FAE-4AAF-B9F2-5CA961580003","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf06d2e75a63ef64abbd3e4aff7e96c161e74faa","datavalue":{"value":{"entity-type":"item","numeric-id":752170,"id":"Q752170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e991105024fea3e8df670fcdd597c3398cffe4","datavalue":{"value":{"amount":"+0.84814703","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":"Q1346222$0E83347B-2E27-42DD-8953-ADAFF37943A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585d093e631774372cea6c3d57b90bc49b5b7d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4005182,"id":"Q4005182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8781174bf142c9adbfa0cafefea5747d0f9d4e2c","datavalue":{"value":{"amount":"+0.8348803","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":"Q1346222$98F64EB4-CB46-4A18-9729-DBC20E74B96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb22d69030fe69cd24997c0b1ce07633529ed59","datavalue":{"value":{"entity-type":"item","numeric-id":3498416,"id":"Q3498416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b36b19381880d344ea10ece5a98daf41568207","datavalue":{"value":{"amount":"+0.8310431","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":"Q1346222$513CBB69-F21B-4F5D-8726-E5A925D81290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcc329b84c63d6fa69b8b53d405adfa7ed9f7a1","datavalue":{"value":{"entity-type":"item","numeric-id":5195282,"id":"Q5195282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2f491ed86ac8812f6b92424b59e313723ab470","datavalue":{"value":{"amount":"+0.8288713","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":"Q1346222$7BE85DB4-87DE-48B8-8B75-B4019109C307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e695dfb9da8e1dc26f1a45df65fc0e81f71f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":2762219,"id":"Q2762219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3a2b61c7a8eefadcc6c04c9c5f52c5778770d3","datavalue":{"value":{"amount":"+0.82831573","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":"Q1346222$46AAA83B-5A71-40D0-A97C-C9167BA1A309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4225dfa6e411607ff0db4c9123de52a01b3a0f35","datavalue":{"value":{"entity-type":"item","numeric-id":1817230,"id":"Q1817230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff9ab495e9ba2bff1570802c65c429a9b506eba","datavalue":{"value":{"amount":"+0.82768077","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":"Q1346222$6EFBA657-40A8-4C85-A043-7A0F045E73B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a21507f73e47d89502e2cb614c3c0acfaef698a","datavalue":{"value":{"entity-type":"item","numeric-id":1047183,"id":"Q1047183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b581263a4c50240cfc055d6232d079becdc8b00e","datavalue":{"value":{"amount":"+0.82712054","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":"Q1346222$BF064A0E-A9A3-4A17-B982-3DAC78FBF2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3dabf53b532b56f6753adb98fdaa68247b6831c","datavalue":{"value":{"entity-type":"item","numeric-id":2707234,"id":"Q2707234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866ac2c9c7ab98273b2f57a669f544f73ea8a1d8","datavalue":{"value":{"amount":"+0.82661426","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":"Q1346222$EDE836FA-2ABC-405A-8541-A0851D22F8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8efa6153173325c600bc095f29a280ef3fbb29e","datavalue":{"value":{"entity-type":"item","numeric-id":515212,"id":"Q515212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c8682d04d74aeae73c944b2839fb3148b36085","datavalue":{"value":{"amount":"+0.8264692","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":"Q1346222$17E37BFC-03BC-4010-8C53-E0BB5FC73DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f080cff831911e633c1694bf0fbad5c00e871e","datavalue":{"value":{"entity-type":"item","numeric-id":3718695,"id":"Q3718695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6373b7c6483f39da7fbd652b971f535601d9bd3b","datavalue":{"value":{"amount":"+0.8260161","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":"Q1346222$98CD9265-F0E9-4462-A469-1B90D07325E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal identification between tuples and lists with an application to list-arithmetic categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_identification_between_tuples_and_lists_with_an_application_to_list-arithmetic_categories"}}}}}