{"entities":{"Q1825192":{"pageid":1835934,"ns":120,"title":"Item:Q1825192","lastrevid":73878447,"modified":"2026-04-14T17:35:50Z","type":"item","id":"Q1825192","labels":{"en":{"language":"en","value":"Intuitionistic theory of functionals of higher type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4120166"}},"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":"Q1825192$45F98B59-2901-48C0-822B-3D47A93A15EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27b74d65df5239758c4c0a2de4cfed8370ce659c","datavalue":{"value":{"text":"Intuitionistic theory of functionals of higher type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825192$B9B6BA7A-2C3E-45EC-8C2D-2D094AC51CD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c63347200faf260f30f3401741da84fe55557782","datavalue":{"value":"0684.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825192$74776454-5755-4533-82B4-1EB975C6FC37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ea297736d17276b7664b36bfebc028ab2b6db09","datavalue":{"value":"10.1007/BF01158558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825192$96E8281F-017B-4B2B-82C3-80D0E1DCF565","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f663740e54c3fe97b489c67dc68e16ca95869299","datavalue":{"value":{"entity-type":"item","numeric-id":1080423,"id":"Q1080423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825192$D520D56F-2385-48BB-A303-408B65022AF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825192$5FEF3C4A-021A-4E4E-A9DB-2CECF6AB9183","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1825192$6250ACF0-FE43-4257-AECF-C341C32CDE7E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84cb6698ee764629c8f9222158b5e6c708cdd783","datavalue":{"value":"See the review in Zbl 0667.03045.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825192$45E317BB-F7B5-4BE2-A83C-2388347137C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825192$992A7196-F0F9-4A2A-AC5D-79B8DFDC26E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5cf78b908c5dd3d2240147903b24eef69cc5e24","datavalue":{"value":"4120166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825192$21BEDF60-94E0-426C-8CC4-8380F181D800","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ef7860a4083581f34185c6d658c1ca805511e4","datavalue":{"value":"natural number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825192$4FF07470-8FE0-4CDE-A816-FEF8D994BEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fb185c337462873c00586864cb6ccebae19fe","datavalue":{"value":"recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825192$00F231A0-A53E-4CA2-A379-04A0B230FAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"517963d16b6cf848a50d660becf2a5c194a0fb98","datavalue":{"value":"theory of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825192$6BF0A24E-3C4F-44AB-B8D1-99D457275C14","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":"Q1825192$D1CA4457-1D08-4445-9D75-AFF929B433B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34715ffb7eccc6fbef2150db1063ec86b25bd1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1234293,"id":"Q1234293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825192$ADE8AFEB-12E8-4830-A703-A7E6F769F31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4a43f477c9f95ad9247a6dc76ab192301e5859","datavalue":{"value":{"entity-type":"item","numeric-id":754198,"id":"Q754198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825192$41BAA0CD-8C14-447F-9E8C-2371DB6A5497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e392de9e32176a97ba1ea63437302e1ba70c2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4182505,"id":"Q4182505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825192$A56E5946-4C86-49E1-BC76-32DA797B68F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25b81bd336fa26f6a3461c1dbd6a29212fbbe4e","datavalue":{"value":{"entity-type":"item","numeric-id":4405158,"id":"Q4405158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825192$4C1D5039-F1B3-44D1-B356-96B4B4FFBDC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic theory of functionals of higher type","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_theory_of_functionals_of_higher_type"}}}}}