{"entities":{"Q674412":{"pageid":676261,"ns":120,"title":"Item:Q674412","lastrevid":63625347,"modified":"2026-04-11T14:26:36Z","type":"item","id":"Q674412","labels":{"en":{"language":"en","value":"Term rewriting theory for the primitive recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 986678"}},"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":"Q674412$A5A442BE-47F3-4B4D-9A71-720A83FC9BD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efb2ad6edf7ff6b4b9a3d579bb6b002f2e3a5568","datavalue":{"value":{"text":"Term rewriting theory for the primitive recursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674412$0A700CA3-91B5-479D-A923-8B168FD7C649","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53b33fa9bc710131ee58000644af50fc93af58dc","datavalue":{"value":"0871.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674412$2817C64A-61D7-48E7-A2F4-67F3F3CD78BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"655942bfa88239f285fb7a749232dca9a8097dbc","datavalue":{"value":"10.1016/S0168-0072(96)00015-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674412$A423DDD5-8659-40BE-92EC-B881A3676B26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b0552020aab38b42e70bf55c1e6eb6d73410d39","datavalue":{"value":{"entity-type":"item","numeric-id":186024,"id":"Q186024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$92F40389-9096-47DF-ADE6-462674552D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$8619B9BD-5A7F-47DC-BABF-CA9EFFD3F117","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$0574704D-339E-4374-B4A0-272328726E8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d250258e50f25ba7a5c107932b647b4e128b8c9c","datavalue":{"value":{"time":"+1997-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674412$CFAE456E-6135-49C7-9ED6-EBD4425473FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674412$C65A4B2A-EEF9-4AC2-8389-3B5F3BC5CF7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd889c9c2b768b19bb90ccd830516327d98b51e2","datavalue":{"value":"986678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674412$0D110EA3-C03C-4714-ADFE-B2F6A1E18F1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q674412$C69EFA79-4B68-4C23-9DEC-D057E3C555D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q674412$DF310A35-75B2-440E-81BD-3A4769D70BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d24ed321f127ef264cc8f3cd8928f352bcaff6a6","datavalue":{"value":"parameter recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q674412$852237B6-B298-4465-8BC5-4D560385992A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1a2eb20f549befcab4bd57d31dc61a4528ccaeb","datavalue":{"value":"simple nested recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q674412$CFEC4BC9-82AD-4AAD-8413-79C1DFD198D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"127fdad4960097c62edb9c95ec1799e654072ef4","datavalue":{"value":"unnested multiple recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q674412$8149AE89-C68E-40F1-B295-1060FDF74D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbfcf03f8e17a6d10c65cb0f1d605033b776a766","datavalue":{"value":"derivation lengths","type":"string"},"datatype":"string"},"type":"statement","id":"Q674412$125B516A-259F-4733-8359-BF9FA6A60D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q674412$FB9E57E3-E7CB-4094-BD56-3F95E07661BD","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":"Q674412$E45BEDC3-0823-40E5-8261-9C1A3CDE0CBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"173eb0ca706b90c3f5e98576319b1aac6f73c7d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138831,"id":"Q3138831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$C8F2004F-476E-4E06-BBA8-592777FA92D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627dfc40f56d32772b1586e3c2b075a4cffb4a9e","datavalue":{"value":{"entity-type":"item","numeric-id":3682477,"id":"Q3682477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$F1637309-0EB2-4079-B833-5D00EA327395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7688551f090e9181f0269fd49ffdb1e72e2e175c","datavalue":{"value":{"entity-type":"item","numeric-id":3138832,"id":"Q3138832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$430276B8-8376-4F5C-8BEF-239536195678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f75a27c256e5d35d7168c2d6b68a42a02f7366","datavalue":{"value":{"entity-type":"item","numeric-id":1308644,"id":"Q1308644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$AA3212F1-6296-4F06-AD9C-CAFB3DD77CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$35D912FD-976D-4276-9256-CBEDE70FDDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f09e58d4f789e937d7fdef8aac599ff07e9cac","datavalue":{"value":{"entity-type":"item","numeric-id":5629622,"id":"Q5629622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$0ED75726-5DA4-40DC-A02D-F4439445656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc61720e8cd523b89e8af65a751646ff6a0957b0","datavalue":{"value":{"entity-type":"item","numeric-id":1338198,"id":"Q1338198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$280BD4AD-0266-4EC9-8260-5958D3CFAEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ecd282533f72abe85687585b23b01adf6e1cf0","datavalue":{"value":{"entity-type":"item","numeric-id":5096206,"id":"Q5096206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$7CDE52D9-175F-4911-9C3A-78EFE91B6F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$BBB3B848-B836-4FAC-AB51-AC9628429C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4afd0b3b0b8757574f62e3ae80a63d3876f24e","datavalue":{"value":{"entity-type":"item","numeric-id":5533181,"id":"Q5533181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$B7280AF6-64CD-498C-8A6C-F69BFF77B028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$29075821-A782-4CAA-8D9D-DD6C61B19C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e2a112510c4213854ba517e180e9758ba8b52c","datavalue":{"value":{"entity-type":"item","numeric-id":3960847,"id":"Q3960847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$C9525AF1-DEBA-43E5-80C4-BC2F3A5478DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44ecf115a49b41cb1f4afe9b09b0ad255af8c61","datavalue":{"value":{"entity-type":"item","numeric-id":4133625,"id":"Q4133625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$02748813-90A3-4D63-928C-C82990EF50DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$4F49D31C-5AB8-4959-B948-AEB69D017ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacb5aa102ce6c71274c34a5360472cea903ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$714421B2-84D2-4442-9EE4-B56D25B3DD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a46b20ae0ee21789871d8e63f85f91d2a1e7cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1112020,"id":"Q1112020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$753A373F-9A85-4ABD-93EB-2DF6FC82B3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc714b0cbcf111c4a333e0730ec73a3647c3035a","datavalue":{"value":{"entity-type":"item","numeric-id":3478403,"id":"Q3478403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$7B28431D-FE09-4AA6-B0BA-AABC50FA7657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aee742b249ec678df42186125f5988137d31aa","datavalue":{"value":{"entity-type":"item","numeric-id":1267850,"id":"Q1267850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$DDB5B9BC-BC0A-4A1E-A4C3-19FB2B51980C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"193daa4d7defff4984bceaf0041ebd59afb15df3","datavalue":{"value":{"entity-type":"item","numeric-id":1908812,"id":"Q1908812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$ED4D5D81-DA65-4F0A-9070-C224365C20BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8f5bf3bbbb90d2771a6bc1a5bd5d42d5f4b4df","datavalue":{"value":{"entity-type":"item","numeric-id":673975,"id":"Q673975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$F9F5911C-ABA9-4A97-9243-7E72035B581F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96402c587e01419c67cf21e59f14d59551744da5","datavalue":{"value":{"entity-type":"item","numeric-id":1374676,"id":"Q1374676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674412$A822DAA2-F3C5-42A5-B09D-562088DEA051","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc6534683b14003bfe732fbc918acab48ffe6b0b","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00015-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q674412$34E8E6DE-C562-4762-90B4-6833557E8776","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99a0ec372062fedc41d0bf6f3ddc5bfc55bd82be","datavalue":{"value":"W1996792588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674412$723D6A41-7A1E-4277-843B-B327652FC1D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a3cf8c5d48fe0550acfd82378ab273d76d810a","datavalue":{"value":{"entity-type":"item","numeric-id":5878912,"id":"Q5878912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a66335a02101fd896a03a80696c93e60b3378f7","datavalue":{"value":{"amount":"+0.8492484092712402","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":"Q674412$0FC18495-2288-48B2-B692-E0473D2DCF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6385d4a95c988267a30b98baae30830dc6d1315d","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d43e01adf7bc12f98dfe37c6f9f17f2ab5fa20","datavalue":{"value":{"amount":"+0.810136616230011","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":"Q674412$B0B238AE-127D-4B95-875F-6B0C9D8F98DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f87eb5bac78dbdf618a58c7ed46a3bb394aeed","datavalue":{"value":{"entity-type":"item","numeric-id":3460505,"id":"Q3460505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d146d5a4afb885f923cfd2758b28bcc4b24bd895","datavalue":{"value":{"amount":"+0.8082992434501648","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":"Q674412$7FB924F0-BAB3-487C-9E1E-013786EE8C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ff1fb2751727afffb0d7607de020c9fece5b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5096206,"id":"Q5096206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273e25d5cdd15a27162d7a8d5a2b368c9d1308d6","datavalue":{"value":{"amount":"+0.8013213872909546","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":"Q674412$DC63A989-F83E-4F0B-BD97-1F1BE5BB751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55848ac079818b14624a6b4bdfbab5e5412c84fa","datavalue":{"value":{"entity-type":"item","numeric-id":5935986,"id":"Q5935986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e73f9efe540b567b69f93d0f5c7be1e0bf0f595","datavalue":{"value":{"amount":"+0.7965817451477051","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":"Q674412$2B0C5FBB-D2B1-4396-83EA-4ACFECF654E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Term rewriting theory for the primitive recursive functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Term_rewriting_theory_for_the_primitive_recursive_functions"}}}}}