{"entities":{"Q5028315":{"pageid":7057892,"ns":120,"title":"Item:Q5028315","lastrevid":54220529,"modified":"2026-01-26T12:04:40Z","type":"item","id":"Q5028315","labels":{"en":{"language":"en","value":"Finitism, imperative programs and primitive recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471465"}},"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":"Q5028315$71F9CC13-14C2-4872-AEC4-988AC79ADE11","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":"Q5028315$2A058A82-2D3E-4637-A122-8862CC7B166A","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":"Q5028315$DE888B01-853B-471E-BF55-24AF2303CEA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"488e6207134e67ec131f48c4bb4bab2c61330f44","datavalue":{"value":{"time":"+2022-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028315$600EB611-B9F3-4D00-A863-0AF23C0C2778","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028315$5196DEC3-2A56-4470-A518-5CEBFF6787E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028315$064A8F98-4F52-4CC4-BEE2-70FEB8666928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028315$5D594C8D-422B-49FD-A342-9B08204196A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d1520154237d41cee394d509badf0aaec52df7e","datavalue":{"value":"7471465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028315$AFCB8F04-449B-49AD-92A9-624E71F86AA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028315$884191A6-9B10-4BA6-94E3-8ED4C08FD119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028315$00EA6712-E50D-4F1C-A082-E61528FBCD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc84681007c3fe2c99f3b9708fe8aa73b8abb12","datavalue":{"value":"finite partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028315$028BB3DB-B647-4ED9-BE52-66D20B3C3EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028315$57314C70-7A08-4302-991A-2193757EFAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaaa0bb98ae24d1ec5df2ad0bd3b4e3eab9986f4","datavalue":{"value":"imperative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028315$1BB748AC-DFB2-40F8-9486-9ED4D3C93DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6389c1b31dc8f4ec6f7008df93a48640f2bc2182","datavalue":{"value":"loop variant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028315$691B1F9D-699A-48B0-9112-31850F2E20FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13c5ee4146b03a6b7af22a05ebf1cf0f5ab70199","datavalue":{"value":"Parsons' theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028315$308F9331-A013-4E3B-8FCF-075049E982ED","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":"Q5028315$B738932E-4BDA-49DF-B1DF-D41DBED3CB38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e8d76cb35b98805e266a3362a3a8658cebf11ad","datavalue":{"value":"https://doi.org/10.1093/logcom/exaa076","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028315$1041B418-D2FF-4342-BC48-5C4BE30561AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3378a6dcca3ea6d49b9190fef2fd1b9de9f28c0","datavalue":{"value":"W4233250478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028315$E0947100-0769-4725-87C4-9D4B178D059E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a2fe9dd8e5ac7b2b2a23f9a496498256987d517","datavalue":{"value":"10.1093/LOGCOM/EXAA076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028315$A3C9947C-448B-46D7-97B9-56AE359F4947","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028315$3B96CC66-A96D-4AFF-B687-73456B3B895D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7512a91986c0524ab85409686713af859e8d5d67","datavalue":{"value":{"entity-type":"item","numeric-id":2177582,"id":"Q2177582"},"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":"Q5028315$77313EB7-C4EB-4EE2-899A-B0988C424DCE","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":"610443ce8261a30a8f81bbf9ee22a3628ec5f48d","datavalue":{"value":{"amount":"+0.8556987047195435","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":"Q5028315$222F3B84-1102-46F8-9229-A31120CC97D7","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":"a08f1852f7c3689bf64d5d24d02cf4ee7d83c28d","datavalue":{"value":{"amount":"+0.7898820638656616","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":"Q5028315$EB731016-2F19-4C0C-A68F-BC7CBC9E0DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b87346d68f6b0c9f794b9d73552b7ce1806181b","datavalue":{"value":{"entity-type":"item","numeric-id":5253927,"id":"Q5253927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08f1852f7c3689bf64d5d24d02cf4ee7d83c28d","datavalue":{"value":{"amount":"+0.7898820638656616","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":"Q5028315$0801644B-9D5F-4089-8374-A8F507B39821","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":"5ff950d0900cc6e72c01661b2def79e506fdcb32","datavalue":{"value":{"amount":"+0.789415717124939","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":"Q5028315$4692C1D1-9C06-4638-8565-151B37E40ECE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028315","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028315"}}}}}