{"entities":{"Q4744243":{"pageid":6773823,"ns":120,"title":"Item:Q4744243","lastrevid":37197490,"modified":"2024-07-30T09:01:11Z","type":"item","id":"Q4744243","labels":{"en":{"language":"en","value":"What is a model of the lambda calculus?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3799613"}},"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":"Q4744243$BD73822F-3F6A-4D89-A9F8-1165C08707E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"288626bbdef623839320d253e9f321c9ebee91b9","datavalue":{"value":{"text":"What is a model of the lambda calculus?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4744243$31FC29E0-B506-403C-8646-10F29271B877","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a882d377f95aa75c09794dee7f0fedf7e842b789","datavalue":{"value":"0507.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4744243$45BA88AD-36AE-408F-80F6-6CD8625BC116","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b46c1dad29a54a74a221c843efdc5a88ab9efcd","datavalue":{"value":"10.1016/S0019-9958(82)80087-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4744243$B9C52E3F-0DD5-441F-81CD-B45350ADCEEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4744243$621CF52E-D2C8-4DB6-82DF-5ECBD4F90F6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4744243$5E2BADD6-171B-42A5-B260-3E281FA5CF0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q4744243$9FAF07C2-9182-4698-8F60-7BBC56790CB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4744243$FB9CE118-FC91-4436-AD37-3ECD1C7441F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"557537ef1487abdd610deebe6c82fb17b86656f5","datavalue":{"value":"3799613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4744243$5FBE059D-C68D-4D20-B058-3BF9560D5C81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4744243$75E13385-375F-4939-81EC-60D80DA985CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4744243$A07DC87E-D787-476B-9CF2-0B4344F42549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4744243$B1571114-C4C2-4D69-8329-116B330BCA8D","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":"Q4744243$2590809C-2B94-4E82-8409-019A130F61FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c293945543686652a01e8b2ca1b5f619baba497","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(82)80087-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4744243$44D064EE-1D8E-4BF2-B054-266E52B591CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3158c5b60bb4c86aa1c8525e4cfd419076977149","datavalue":{"value":"W1978856319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4744243$927F3D98-3064-424A-B603-18627EA0D42D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4744243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4744243"}}}}}