{"entities":{"Q3856734":{"pageid":5886639,"ns":120,"title":"Item:Q3856734","lastrevid":54540206,"modified":"2026-01-28T06:00:25Z","type":"item","id":"Q3856734","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3657760"}},"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":"Q3856734$F5D570DC-5FC0-4D09-BB1D-8D8FAA7CA05C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c9213e6bbdd39df6b239711e25311466519e7b9","datavalue":{"value":"0423.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3856734$47B9DB5A-510D-4F73-9787-969E8D26A4A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab1edfc4dd6c1c9811dd9eaca29c1ac0000ab7e","datavalue":{"value":{"entity-type":"item","numeric-id":1076006,"id":"Q1076006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3856734$A54E14C3-FE79-43D5-A0A3-60C058280762","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3856734$40B6DBC5-5F9C-41E9-829F-5A68C148D042","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3856734$3E3483CA-45FF-4465-847B-BAEE6D9D1EEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a9cff8a6474defb8b922378edabbd53c162cba3","datavalue":{"value":"3657760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3856734$17B6E822-E969-498C-9BBE-BD24297608E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3856734$51CB3B6B-E267-4C96-95BB-1F998A8026C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5098c5cce88513b45dcaba7b28d587ac6e55c263","datavalue":{"value":"typed and type-free combinatory systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3856734$A2423EC9-BA82-45F0-B223-6C5B6158C8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9c5bf461916c0ac299baaceca619a535e738059","datavalue":{"value":"typed lambda-calculus with pairing and projection constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3856734$24C7ACEF-3952-4F3C-A7C6-A4D476F675EE","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":"Q3856734$70B25067-6EED-4ADF-A541-E5B700A2806F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3856734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3856734"}}}}}