{"entities":{"Q5967003":{"pageid":8143799,"ns":120,"title":"Item:Q5967003","lastrevid":102134270,"modified":"2026-06-06T03:33:49Z","type":"item","id":"Q5967003","labels":{"en":{"language":"en","value":"Variable binding term operators in \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3632439"}},"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":"Q5967003$48435068-C29E-40CC-AC96-8861400F4016","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65cdccd4e341ddb442f7c308297d70c3b38983ad","datavalue":{"value":{"text":"Variable binding term operators in \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5967003$76B022FC-95FE-4011-8F0A-2AB7498FFC79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b68312e4306cb92e9b7a96ce1f5feda5be9d8da7","datavalue":{"value":"0407.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5967003$4107EF75-AA72-4372-8267-5F86EA4A6611","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5967003$1B5C490F-051F-4D32-9C65-CBC54BDA571E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5967003$E13E8347-B305-474F-B772-467EF7AF5323","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q5967003$CF54620F-47E4-4F6F-AD4E-D168B8EE498D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5967003$B00FF766-ED49-45CD-BB3C-B39B44CF1160","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df18c5398b009f82b49a783b838f86b60212cdba","datavalue":{"value":"3632439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5967003$E536685D-A13D-4363-9BF6-A76F1BB6B27F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58972cf6c07c3f44fc2a810339e004360bfc53fc","datavalue":{"value":"Lambda Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5967003$2900633F-7B82-40C8-A825-5413AF2043A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b930bec6b33711b861a6424faf6c483f9c10b33","datavalue":{"value":"Variable Binding Term Operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5967003$1FA59AEC-D3B3-4F26-B747-72D6678876AD","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":"Q5967003$6C7A0E62-C16F-4171-844E-F93669C0A5BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da737339712effdb854034c7db8ddc659bab2247","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093882809","type":"string"},"datatype":"url"},"type":"statement","id":"Q5967003$B6B29765-F914-4E07-9ECD-0C5E8EAA0D9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b651d035c8c9a2b4ee705d292130a746bf8a8c82","datavalue":{"value":"W1966914926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5967003$47A03542-8D63-4C94-947E-D3135617BAE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5564fb4ed0a984623e2c6b71d9428b7e4fb93fa9","datavalue":{"value":"10.1305/NDJFL/1093882809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5967003$A4EFC96A-FCD9-40F2-978E-6F08DFD884F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Variable binding term operators in \\(\\lambda\\)-calculus (scientific article; zbMATH DE number 3632439)","badges":[]}}}}}