{"entities":{"Q3947643":{"pageid":5977548,"ns":120,"title":"Item:Q3947643","lastrevid":55071511,"modified":"2026-02-03T09:39:47Z","type":"item","id":"Q3947643","labels":{"en":{"language":"en","value":"Completeness, invariance and <i>\u03bb</i>-definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765752"}},"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":"Q3947643$AF3811B9-E480-4846-814F-5EB66B6E05E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"788721f0f650da8f1c610de0fcb2be0e59752185","datavalue":{"value":{"text":"Completeness, invariance and <i>\u03bb</i>-definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3947643$D70D3B8A-1CC6-4A77-9B0F-B552B20E1C36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bbccbd53fb10bea7a57f05cfc043e726efc39b3","datavalue":{"value":"0487.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947643$A068A6EB-037E-49D0-89F0-EACC7F992826","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7d7269cded1a3960e827887f13654447fc310b6","datavalue":{"value":"10.2307/2273377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947643$AA514468-3AD2-4B13-9FD7-1E591C740CEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947643$2C2CA448-B165-47E2-BDCA-38FA27FD4AE1","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":"Q3947643$C881D6F9-C3FF-4157-AA36-16282F832034","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947643$73DD46DC-0D5E-496B-B633-03C618F0B0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947643$4ABB1DE1-4FBD-4361-936E-030BB7E92A2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad9cbf646e7855a2d6d276c90c9d931139fec2ab","datavalue":{"value":"3765752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947643$CAE09929-824D-465E-B2CE-EBBACEE66A34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d506702094430eca810da656db888382b74dda6","datavalue":{"value":"lambda definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947643$901C1E30-AB5E-4114-BD0C-21B56AEEEDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c5b6d4e8ad8279c4c58c2ebaa2f080fbeaaad2","datavalue":{"value":"lambda conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947643$466D9699-DE3B-4E7D-8F9A-C2693BF95B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f3de2219c4a3944415da064ce8caa31b3c42dd","datavalue":{"value":"models of typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947643$C50313CB-37E5-480B-81C0-BE85DA1E4EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a068a363187808a9cf4da727e4e17b6f855cec41","datavalue":{"value":"term models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947643$89254B23-34E4-4DF1-9A0A-C2E459D45834","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947643$20598677-146A-4A81-86BB-A73F0FCC6639","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":"Q3947643$1B280A5B-E039-4271-9A71-747EDDE69FD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4b33be24afad8c8b44741f723ad80e32c31b82d","datavalue":{"value":"https://doi.org/10.2307/2273377","type":"string"},"datatype":"url"},"type":"statement","id":"Q3947643$F900EBEE-43C7-4694-AC76-FAF0F3C5646B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1d740fb86ed3a20f50ff3470878cb7c5cc49220","datavalue":{"value":"W1497630311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947643$240ABC07-89E3-411C-8B8D-58700C1CF622","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947643$B9BF8BD1-A821-4D48-AF1C-92264DB59266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947643$CBD64E32-AA1D-4690-BDCF-7408B50F32B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ce06304bf3709cc235c3276b4f500aec1ac468","datavalue":{"value":{"entity-type":"item","numeric-id":1239309,"id":"Q1239309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947643$C39D8D05-F86B-4CA3-B9A6-DB1ADA3BDC1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3947643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3947643"}}}}}