{"entities":{"Q3939797":{"pageid":5969702,"ns":120,"title":"Item:Q3939797","lastrevid":55042543,"modified":"2026-02-03T02:52:06Z","type":"item","id":"Q3939797","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3756468"}},"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":"Q3939797$3642A09D-CA2F-41D1-83F8-E7A08FFAC798","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de7ed1435f0b14f9b86fda3c990754e839ad06a0","datavalue":{"value":"0482.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939797$770D394F-BA54-4842-9125-BE94F57A6F98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3301a6b980c5e366145dcc00594aa89b08fc93","datavalue":{"value":{"entity-type":"item","numeric-id":1058512,"id":"Q1058512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3939797$74CEF39A-3CFE-4257-99B5-25EE1C69BA69","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":"Q3939797$B9505B5D-5011-4731-8FC8-770C9CDD14A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939797$390284ED-FDE8-4534-ABC5-60E6BAC5A551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939797$57D24B04-F26D-4A16-89D8-2E30E6CB60C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f6ac6440082e07134ba2eb1b7a8e0a686a8d287","datavalue":{"value":"3756468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3939797$2E6DF5F3-029D-4258-8D0A-739F3AB43C2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08638a15c54e5570f5ce4baabc8ee6628b82e172","datavalue":{"value":"functional interpretation of transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939797$467B18E5-8016-40F5-BD7D-3B762F9ED56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f766f03cf0b959cbcaeca4c8eccd2953c3ed5f03","datavalue":{"value":"primitive recursive functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939797$D29D4751-CB12-4B41-801D-BA20F26FEB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a4c03b2268d830f4b14afc428fb200959412b35","datavalue":{"value":"syntactic expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939797$7B67A564-A0E1-469E-BF60-7CE5D5DED4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a6c5cf67e2eaec818e2c5ce093d91d09f18f1c4","datavalue":{"value":"infinite primitive recursive terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3939797$3A31252C-34E4-4C38-8A9D-8E64B51B1423","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":"Q3939797$911950C2-3CF5-419C-B1F9-EC54D20FE9EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3939797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3939797"}}}}}