{"entities":{"Q5575558":{"pageid":7605118,"ns":120,"title":"Item:Q5575558","lastrevid":41320030,"modified":"2025-04-28T16:49:17Z","type":"item","id":"Q5575558","labels":{"en":{"language":"en","value":"Formalized recursive functionals and formalized realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3292867"}},"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":"Q5575558$30B74574-E358-4F9B-8BB9-01615874BE7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"404526b9573d5c4b317b9005218376d66a2ec69f","datavalue":{"value":{"text":"Formalized recursive functionals and formalized realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5575558$78B67AC0-E17A-4BE4-AAC2-B2F1C06D6B9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67c58b8b5a3b27c0df489ca0e27a2ece780aa53c","datavalue":{"value":"0184.02004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5575558$6257A347-3EC1-4ABE-AE65-DE65595A4BA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-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":"Q5575558$DDBFE188-FBF9-4602-9CF3-42620238EC6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c52ea744989c98c38baf4e1fd5f64fac4cb3d6a4","datavalue":{"value":"3292867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5575558$FDC52939-B385-4A4F-A6BB-A5A0C6E26B0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5575558$F7901788-012B-4A51-B52B-CE9851030C96","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":"Q5575558$C72FA987-70DF-4964-A337-31C3D848E964","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0c3ab47b5dd5f72b5e25a3cea27abe31eca02df","datavalue":{"value":"https://doi.org/10.1090/memo/0089","type":"string"},"datatype":"url"},"type":"statement","id":"Q5575558$E30C36E4-3555-40AB-A7AD-1340F9BC1DAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d3afe92ab5da3e08a00c68e190da7f7c53a969e","datavalue":{"value":"W1983523043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5575558$5089C01D-7285-41B4-A546-4EF90A91060B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a3664ccfb2ab46b3070c56030efb0226d8e3b82","datavalue":{"value":"10.1090/MEMO/0089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5575558$01C1A07B-3D00-4009-9DDF-83FAA713F705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7fdd3d6b9cc141f6d005556f1ba7c68d933a429","datavalue":{"value":{"entity-type":"item","numeric-id":6672169,"id":"Q6672169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5575558$350C1923-50C8-4EA4-8E7D-8BC83D5B6372","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3e579ff2efacb42b9d38f2f0e1af9f50e1a4fd27","datavalue":{"value":{"entity-type":"item","numeric-id":3299492,"id":"Q3299492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5575558$C7CD4127-B544-498C-B0C7-237AA2A07438","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5575558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5575558"}}}}}