{"entities":{"Q1208421":{"pageid":1219170,"ns":120,"title":"Item:Q1208421","lastrevid":67060260,"modified":"2026-04-12T14:41:52Z","type":"item","id":"Q1208421","labels":{"en":{"language":"en","value":"The undecidability of pattern matching in calculi where primitive recursive functions are representable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166432"}},"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":"Q1208421$1BF3CD31-F40A-4291-AF2D-7730C8A2E521","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8f9a415186b1b25fcfaa4736f5813fd7485b81b","datavalue":{"value":{"text":"The undecidability of pattern matching in calculi where primitive recursive functions are representable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208421$27CADEEC-B393-4164-924C-B352517DE718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96c08e926047d9b01cdcba97ac098def8226e041","datavalue":{"value":"0773.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208421$3D8F1B1E-0072-4232-ADFC-781BEAECFB63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78ceac6df892d19ca7af344f41391bc5aa34731b","datavalue":{"value":"10.1016/0304-3975(93)90175-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208421$86E4CCBD-A557-48DC-9C26-553B5DD69515","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$3ABE367A-AE11-452D-845C-7156D29913A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$3360BEC3-20BF-4154-B8AA-7F39749BC96E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208421$06B5C9F0-D4FE-43D4-88C0-C60437ECA592","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208421$C332258E-BF1C-43E9-A03B-1BF1EF0A2284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208421$9DE0B9C8-D32D-4340-BD28-31301854890F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208421$02DF3932-26BD-47FB-A078-8F1A329579E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208421$4A913E5B-0C46-4F59-B4F4-5A3A70866A31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f21bf4e1d2cecffcfc328c85c274c4461b509f5d","datavalue":{"value":"166432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208421$37B559D5-A338-469C-B70C-C2E71B870ED0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208421$4601FF82-76FA-41AD-93C3-1B56E7AD66BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80083d2ce539391996f0949a764a22e2ad51b872","datavalue":{"value":"polymorphic \\(\\lambda\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208421$A48C5FC1-9518-44EA-ACAE-80006C148484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f91050ae40ec483f231e3956c5ecd134e23377ae","datavalue":{"value":"Girard's system \\(F\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208421$CFBE21FF-69F6-4273-9CD4-02EB6E1B7D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aeee382e36f323a2408c69858d25f4d5fc8923c","datavalue":{"value":"calculi supporting inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208421$778CDA33-007A-4B05-944F-D3687252C728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9222b45683c57a19ca10d74cc6b57ff0bbc1572","datavalue":{"value":"G\u00f6del's system \\(T\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208421$1B3F5603-BF60-420A-9602-7063FCBD8792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16852d397daf2bbcaad561fcfc45e655fe8e884c","datavalue":{"value":"Hilbert's tenth problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208421$3EF48FC9-8561-4F2D-8853-6D1AA1128353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208421$3920FF1D-2252-4AB4-AE3D-351927153AF3","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":"Q1208421$4EFF0173-6E9B-4193-AF93-4F1FD0875673","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$6B9C0049-2118-46D0-8681-C0E92F7BBEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$04369495-A9E8-4DEA-AD4A-22A4434D01B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$2A0F0A93-7453-4FB3-9017-9D0F30573083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bfcd42e102881e7dbb2feb75bbef84cb51882c3","datavalue":{"value":{"entity-type":"item","numeric-id":3986688,"id":"Q3986688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$88C00AD3-9E79-4904-AF56-CE5724AF2180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9344cfab702a03b184c2c5541cebac716f2f6eaf","datavalue":{"value":{"entity-type":"item","numeric-id":4035236,"id":"Q4035236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$45DAB08E-4C1F-44D9-AD59-8C21FFE0255A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$8D315F6F-8DFB-4068-BA67-E1621A94E6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$AE80A45D-5272-41F4-82A5-273148625616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$99E44151-F8D9-4D19-B1AB-7D7A86CF909C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f38f8d83c5d0ae69e89eb682e129720a43deae","datavalue":{"value":{"entity-type":"item","numeric-id":5668779,"id":"Q5668779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208421$779A88BB-3C04-4A5F-8324-58D0DD52DD47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4e186d10725037eebc8ccf5108fe51f511bae92","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90175-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q1208421$E03C7EA6-EBCC-488B-A828-B9D2151349E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"045a927f4bb037198a93d9780f06f82c576e7e25","datavalue":{"value":"W2072809974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208421$26916A8B-2953-40CF-B31B-93515829A9BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50558b97b346b6ebb1810d2fcf5f71c1baee2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3986688,"id":"Q3986688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62634c4a2506b2762f050c8e2231fdaf94d766c8","datavalue":{"value":{"amount":"+0.7886427044868469","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":"Q1208421$FA7F1DC0-137C-4F61-A83B-0D81E00FC294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6d2df76a741cf581e954cfda428b2466142500","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71115704d4f029d877c670ef7c9ecd9eb2c593f2","datavalue":{"value":{"amount":"+0.7878590226173401","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":"Q1208421$B2A4BB9D-2307-44D2-BFA0-129199143BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab10f7b68645b8268d1dd457fb8356626471a8d5","datavalue":{"value":{"entity-type":"item","numeric-id":4795875,"id":"Q4795875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45936099b5ee942e5dd0c322b55266735b918278","datavalue":{"value":{"amount":"+0.7734559178352356","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":"Q1208421$7233ADB4-F63F-4BFF-9DF5-A6E71C694928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be43b2971e0f053af8f4332ae40481fcc15a3421","datavalue":{"value":{"entity-type":"item","numeric-id":3025159,"id":"Q3025159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45936099b5ee942e5dd0c322b55266735b918278","datavalue":{"value":{"amount":"+0.7734559178352356","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":"Q1208421$FB76C217-1805-4FD3-9ED4-7CFAB61D365A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c76f5d78be4f753ecc80f8356d875c15e159f11","datavalue":{"value":{"entity-type":"item","numeric-id":4681365,"id":"Q4681365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a044b4d82f2720bf4db4e0b4365f033ab9c9d18","datavalue":{"value":{"amount":"+0.764543354511261","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":"Q1208421$5BC193A4-052B-42D1-84BC-0F14E93DD7DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The undecidability of pattern matching in calculi where primitive recursive functions are representable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_undecidability_of_pattern_matching_in_calculi_where_primitive_recursive_functions_are_representable"}}}}}