{"entities":{"Q2177582":{"pageid":2188325,"ns":120,"title":"Item:Q2177582","lastrevid":53725370,"modified":"2026-01-25T15:07:09Z","type":"item","id":"Q2177582","labels":{"en":{"language":"en","value":"Finitism, imperative programs and primitive recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197408"}},"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":"Q2177582$B7635566-F6AA-4738-AE03-EF5A86A79401","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"610695bc929a7a39cd24772047a7207b1c30271a","datavalue":{"value":{"text":"Finitism, imperative programs and primitive recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177582$F9DDA0DA-2484-4CBD-AEBF-F794A04FF9BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8a3c1a302e95c47df2a674031e63c3917a49407","datavalue":{"value":"1485.03144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177582$26FADBFA-359F-4528-9C3B-38B83948B675","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eee6af759fff4d392c6025ba5465795691a804cf","datavalue":{"value":"10.1007/978-3-030-36755-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177582$5F3853B3-E9A1-4824-A313-0B6CEEAD63F2","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":"Q2177582$27E80389-66B4-4D73-A423-A677171419D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-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":"Q2177582$DAEE19BF-D780-4346-B755-C526BB2EAE6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177582$5588B86D-83F8-4F96-9277-A9722D331526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177582$E98AAAF8-4132-4966-921C-3B7D3523F520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177582$16273918-C18B-4C4C-90CE-BF10F33CA150","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89fc9c9d44efa133ac6b8a95457f95f4d90b470b","datavalue":{"value":"7197408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177582$F6B5A918-05C3-4486-B7AD-8BABBDE0C305","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177582$373E623A-BB30-4AF7-AC02-6DED9A272BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177582$D8E421C2-EBC9-4F59-8D29-EE3B4FF9AB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc84681007c3fe2c99f3b9708fe8aa73b8abb12","datavalue":{"value":"finite partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177582$AF69750D-E3A5-4CCE-964B-620857F9DC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177582$5B926EA8-D0EF-4AEF-9ABB-03481B0554A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaaa0bb98ae24d1ec5df2ad0bd3b4e3eab9986f4","datavalue":{"value":"imperative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177582$F8C574DF-DE9F-413C-8CD6-1042BAFFB3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6389c1b31dc8f4ec6f7008df93a48640f2bc2182","datavalue":{"value":"loop variant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177582$BDCE6532-1C2D-473E-B9C7-75C697306646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd58ad98176f695192d683c0f37af29de5f550a","datavalue":{"value":"Parson's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177582$A93DE9BF-C404-45AC-BBB1-D0E43B2A387E","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":"Q2177582$F4004607-0B9E-4684-9620-CA228FB09E8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c34ada74c9d287a97c81b8b426e4b16c89cc55ca","datavalue":{"value":"https://doi.org/10.1007/978-3-030-36755-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177582$E60B868A-8326-4441-83D7-40AEF8C19A8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"326ff0292e0f31f767d14381df4f6d76e6f934a9","datavalue":{"value":"W2995404324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177582$F1E2FBE7-605A-4D74-98C0-778B622D3322","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a06bbb54e5ce0dcbb77f3a0fbc5a13092f9901","datavalue":{"value":{"entity-type":"item","numeric-id":5028315,"id":"Q5028315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94023efd18a773ad8569786b84a5394321bb4e13","datavalue":{"value":{"amount":"+0.8985711336135864","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":"Q2177582$E8641978-1CDF-4689-877F-6F9430744212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464b1b597b39facb5417138c20290aebf034086c","datavalue":{"value":{"entity-type":"item","numeric-id":5488257,"id":"Q5488257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5bd5127a68b8a04af96170aca7ce5726ce6111","datavalue":{"value":{"amount":"+0.7586158514022827","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":"Q2177582$23FFDFCC-7E7E-4215-B960-F30D93E693BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1db2193c5761bbdd5905ab715d2e3d7b811325a","datavalue":{"value":{"entity-type":"item","numeric-id":4227555,"id":"Q4227555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59192a1fc1f04d6a5f69a5b25887799c7bce88cc","datavalue":{"value":{"amount":"+0.7527806758880615","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":"Q2177582$6BAD2811-25A8-4A68-8259-F34961AAF71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d23bf58c85c8bd2d658f1ba7b6e64661bbde824","datavalue":{"value":{"entity-type":"item","numeric-id":4793041,"id":"Q4793041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c002d6d577c938f2bff43de6cc6837f0ebe62087","datavalue":{"value":{"amount":"+0.7443483471870422","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":"Q2177582$F5D65999-0E4E-4611-8AFB-E4C4B8406456","rank":"normal"},{"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":"c002d6d577c938f2bff43de6cc6837f0ebe62087","datavalue":{"value":{"amount":"+0.7443483471870422","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":"Q2177582$69595398-58B3-42E4-94F2-D581ED23C961","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2177582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2177582"}}}}}