{"entities":{"Q2563158":{"pageid":2573901,"ns":120,"title":"Item:Q2563158","lastrevid":44359488,"modified":"2025-11-22T07:42:15Z","type":"item","id":"Q2563158","labels":{"en":{"language":"en","value":"Consistent extensions of pure combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3423995"}},"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":"Q2563158$5F2F80F3-8530-40AC-A28C-FA1249437673","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"711efc9019b995f4f048963ab0a0c31dc515f2c7","datavalue":{"value":{"text":"Consistent extensions of pure combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2563158$F97CEB57-4748-426E-B030-5DA864B2E57A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae6ba27ed24b262771cab5041e3980c5716a87da","datavalue":{"value":"0269.02006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563158$1D024493-273A-4C60-97F4-C953F0FF3B10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe9d7ebd81431dbfaf15c876dfd6294bc4820cf","datavalue":{"value":{"entity-type":"item","numeric-id":1056742,"id":"Q1056742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563158$F5F28C9B-E7DE-46A1-85C5-4AEAE5BD6CE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2563158$98AF1187-E3DC-436B-9C83-C6C8FDAA0CCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-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":"Q2563158$4D252F69-ECF5-41A2-AC4A-CF46486A2A51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563158$DD4853FC-9880-42C6-A11D-D95889E80A27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d984607fc93eca85efeb3670ab000869ab658462","datavalue":{"value":"3423995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2563158$973D4344-FDD2-430F-BF1D-28BF2354FD9A","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":"Q2563158$B2E56916-90F8-4DC0-B16C-9E90FCB2EB48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2563158","badges":[]}}}}}