{"entities":{"Q1167720":{"pageid":1178469,"ns":120,"title":"Item:Q1167720","lastrevid":66286005,"modified":"2026-04-12T08:47:46Z","type":"item","id":"Q1167720","labels":{"en":{"language":"en","value":"Primitive recursive estimate of strong normalization for predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3773585"}},"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":"Q1167720$73A92AC1-B747-4C43-A43F-414222AE0E3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5e2b86b0dc9ef0a585c6dfc6c499f6e0c770776","datavalue":{"value":{"text":"Primitive recursive estimate of strong normalization for predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1167720$DBB4AA22-FE82-48C4-B6A9-B396897D67D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06e2e8c0ea7f704e1443e81b2fe59158e8cffb45","datavalue":{"value":"0492.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167720$45E4953C-0FEB-4DDD-A66E-E160D4934DC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33253ca9808ebae781677809808143d4b2653527","datavalue":{"value":"10.1007/BF01629443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167720$EF6239AC-80BE-4673-BDD0-0A8A4F0B0E5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167720$12C3EFE2-ED7D-4694-B55D-0A861536D4FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1167720$094C3AD2-CE7E-4E88-A4B5-A9C653ABDD8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167720$E82E7763-DB18-422C-B779-D8D3C206A8E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55be22a247f21e3d66481aa62485cca4845285b1","datavalue":{"value":"3773585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167720$51F904BB-CAC8-4E69-8551-07401F858019","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27d4d786f23235a23a73ce9b219d582575f5143","datavalue":{"value":"primitive recursive bound for strong normalization of lambda-terms of finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167720$72551359-C4B4-4102-BE38-299B4A3E97CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b336acc1a2a9943c1b7597223af4ac6fdba76c","datavalue":{"value":"reduction sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1167720$5A43FCA9-6483-423C-92BA-6164D719C27F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167720$20728D3F-EADA-4CF7-9108-BA37A00B1374","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":"Q1167720$850E4C44-73F6-479C-B723-2AF579DB3AE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1167720$DCBB14EB-9F2F-49DC-BFCE-A321CB6DFAC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c98072d10786d50c0fff2e6cacbab6819b16dc9","datavalue":{"value":"https://doi.org/10.1007/bf01629443","type":"string"},"datatype":"url"},"type":"statement","id":"Q1167720$0995E3A1-B370-4052-BECA-4FE75A5FD375","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d9a7f5540adee495b6b7f90a89eba602861c1b5","datavalue":{"value":"W1967382676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1167720$DCC6E5C7-A536-4141-9610-C0973DF95376","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Primitive recursive estimate of strong normalization for predicate calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Primitive_recursive_estimate_of_strong_normalization_for_predicate_calculus"}}}}}