{"entities":{"Q5590804":{"pageid":7620364,"ns":120,"title":"Item:Q5590804","lastrevid":32189975,"modified":"2024-03-19T21:30:47Z","type":"item","id":"Q5590804","labels":{"en":{"language":"en","value":"A Short Proof of Curry's Normal Form Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3310080"}},"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":"Q5590804$8E007F6A-371C-4562-B021-45754E698082","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29f867a77d34ef40bbf53a2f561646074ca395c7","datavalue":{"value":{"text":"A Short Proof of Curry's Normal Form Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5590804$2F497149-9057-4188-9FC2-BC7097423EC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"177d2fe5f3092c834026a7dceb3e01ff0c16b89f","datavalue":{"value":"0195.02101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5590804$A91AB5A7-A347-4DB2-B7BF-F0C27CC9C324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6154cad2e0602142b8f11b3b0613d201cd92f508","datavalue":{"value":"10.2307/2037329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5590804$CD1E0078-483B-46FB-9C56-59DDB9F0D666","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9a326a8ee14cc4a238cb988ded3b3f969c6afa1","datavalue":{"value":{"entity-type":"item","numeric-id":1224572,"id":"Q1224572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590804$17041D5C-98C3-49C0-8E80-55D82D9D55F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b94e5145912d87d2d80056670122ccbbb4d420","datavalue":{"value":{"entity-type":"item","numeric-id":1839241,"id":"Q1839241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590804$F42ED2EB-225A-4CAE-B319-9053EA36F2A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5590804$253AF591-91C8-41D4-992C-441C9FF8F211","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q5590804$25F0CD84-816A-446C-B64F-D83CDF66C101","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d5c0f676f2163a521d2ee4ffdc9a4f710de9610","datavalue":{"value":"3310080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5590804$6384B050-AA9F-4900-B2E9-8DCB89D83FED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5590804$67453745-0D5E-482E-8A47-3E42B2F8A545","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":"Q5590804$1E1804EB-98CF-4DF0-A7E8-8060DFD1E966","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"109b65cd150bfebc02c72ef7932b0bf2faf68f30","datavalue":{"value":"https://doi.org/10.2307/2037329","type":"string"},"datatype":"url"},"type":"statement","id":"Q5590804$6A727C24-D90F-40BC-86D9-CBFC88BAEBA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf2bf7948b9d16cda88b3f07ce191d5e73359bfb","datavalue":{"value":"W4253714024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5590804$6D2EC02E-6BBB-4F28-8A89-1F53624CBC32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5590804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5590804"}}}}}