{"entities":{"Q1827398":{"pageid":1838140,"ns":120,"title":"Item:Q1827398","lastrevid":69422340,"modified":"2026-04-13T06:53:49Z","type":"item","id":"Q1827398","labels":{"en":{"language":"en","value":"Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083409"}},"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":"Q1827398$1D3D1974-A971-46E4-AC56-BB09780A8CBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d6cab782f9fe1bf2562f9dd9a6e926c691ba0b1","datavalue":{"value":{"text":"Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1827398$B272203F-CBCC-402C-8338-0EB4E9546063","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce1d3a48731ffb2bce56eab5275e9eaaa629e851","datavalue":{"value":"1046.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827398$FEB4B369-117B-4AE7-9EEB-22FA8800FE37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$FEA956B3-6BF0-4D35-980D-2BF0FF854336","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":"Q1827398$678C4093-E9E0-4BA8-9F0E-60D4356D5C2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1827398$8E82249B-B13F-477B-88F5-119BD68EE90D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827398$38FCA57B-B87B-4765-8BC9-397097933F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827398$5FED719B-3234-4CF5-8B71-FE998681E015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827398$7A7E7A36-D2F4-4027-9D95-A2CF2EF2CD84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c6f865a5c7cdb2e513e1dedc2e4ad7c8770b0d9","datavalue":{"value":"2083409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827398$E2649E78-23C1-430C-A48D-1BCFB1F93659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b4d044f430450b252e17ff4e2df1ce8b5e4b893","datavalue":{"value":"unipolar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827398$CAC825A9-A77C-4E01-811A-257CDA31217C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b10168794991f8fc3b7721df6b5cfac700422cd0","datavalue":{"value":"primitive-recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827398$1CAB8EC1-AB76-4646-B729-54CD26ED6B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0207ca3900dcecadda3cd2b1a144d3a3e6bc57e4","datavalue":{"value":"intrinsic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827398$0EA274F1-19E6-420C-9596-7525678493BB","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":"Q1827398$F6CB69D3-0910-4207-B05F-4BFF3E1E7E7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7d6b454f3c858528f10b26b15b8bc3d16aec11c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1827398$EF4AF38B-A258-48ED-BB6D-6324DF251813","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"822d17e9743be8db8293e5c54f90b68899dce1e8","datavalue":{"value":"W1999297774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827398$3417D2A4-FA81-49C9-8695-DB5E8E5C5043","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea8c1f5940a40e8655aa16d1c0ac9365c9d64b7","datavalue":{"value":{"entity-type":"item","numeric-id":3682484,"id":"Q3682484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$E7A538A5-81C4-4F2E-B659-941C943E32B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ceeb9d1d61c6f5a256858dc451469f1b7db716","datavalue":{"value":{"entity-type":"item","numeric-id":4650284,"id":"Q4650284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$384F8CC6-251E-4219-B4EA-09B0BD55F2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$4ECD97A4-3DAF-45F0-98C0-412E705EBFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$8335A9C1-C899-4F59-8E9F-219BE9C1B4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458922d3171c52e76b99618d035744887bf64782","datavalue":{"value":{"entity-type":"item","numeric-id":5714440,"id":"Q5714440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$CE0D653B-E715-4DF2-8652-0D0B4DC4A14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683a46f331c4509ebb717490a3c704f662ef3419","datavalue":{"value":{"entity-type":"item","numeric-id":5957855,"id":"Q5957855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$B4F69D9F-F709-4154-8284-4639D310C9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75072c5bce5a3ad953643dfb9953f029de8fe98","datavalue":{"value":{"entity-type":"item","numeric-id":3781073,"id":"Q3781073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$F587D6F9-F7CA-4334-849C-A632D8846188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$F0F33476-7D98-4384-B46D-03294FEBCF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b533f9290e16b7753893188b8dbe265e96125e","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$603B6556-EAA5-45B2-BB27-CD4F1F26E98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$8CB9CBC8-AE02-453B-85D6-4AC99A3D7075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f2ccab9193bb053da1a9b2571d3b5f979d9014","datavalue":{"value":{"entity-type":"item","numeric-id":1920237,"id":"Q1920237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827398$3542897D-234F-40D4-835B-C8E6EBBC1D93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4906378135522485bde4b02b77e8d6d4238ff3c5","datavalue":{"value":"10.1016/J.TCS.2003.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827398$F9AC0006-C96A-4A6B-A1FF-D3BD2E10CDAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcf81b5a98d239ca0f7674fca5d914d800276da","datavalue":{"value":{"entity-type":"item","numeric-id":5957855,"id":"Q5957855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28362fb2fea621efd3b6a4fa0c6a1eec6db4cf1c","datavalue":{"value":{"amount":"+0.805003821849823","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":"Q1827398$077A0661-5029-402A-A181-E0AE8A689944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f7ceb45eeeb1497c04df78da98e95ac8f4b5b3c","datavalue":{"value":{"entity-type":"item","numeric-id":5195245,"id":"Q5195245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ce605907978d1357b83a9c85ed9ebf4216b998","datavalue":{"value":{"amount":"+0.7626303434371948","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":"Q1827398$9FA879B5-20AF-410A-B29B-69F6FBCFC436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b71be1676baf7c82bdcc407454be076814d951","datavalue":{"value":{"entity-type":"item","numeric-id":3138832,"id":"Q3138832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f62f729ce2e63226f76bb5e9408387abc0c3a706","datavalue":{"value":{"amount":"+0.7566916346549988","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":"Q1827398$8313B406-E57C-4875-B8BF-DE2B415A05B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442ac36bb417514e27cd9ff039b47e32d6b5fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":5311268,"id":"Q5311268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a14ca3d0fec6dc742a8f525fdccc4ede201227","datavalue":{"value":{"amount":"+0.7516295909881592","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":"Q1827398$23DBA132-1F7F-4826-B505-3AA2DD53CA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa699000a64677631072625f1ff24c948ef9db8","datavalue":{"value":{"entity-type":"item","numeric-id":674412,"id":"Q674412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80f9c48b1ba5ac464bccbd18916409acda58b59","datavalue":{"value":{"amount":"+0.7493152022361755","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":"Q1827398$294F5F4F-3E8D-4B17-8450-BB880A9E3892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intrinsic_reasoning_about_functional_programs._II:_Unipolar_induction_and_primitive-recursion"}}}}}