{"entities":{"Q1396582":{"pageid":1407322,"ns":120,"title":"Item:Q1396582","lastrevid":67345164,"modified":"2026-04-12T17:00:22Z","type":"item","id":"Q1396582","labels":{"en":{"language":"en","value":"Logic, meaning and computation. Essays in memory of Alonzo Church"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1946027"}},"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":"Q1396582$61459F28-2868-451B-B926-C9367FB6B3B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c03bef50eab0262ceb49f4fc89dcee088b5c439a","datavalue":{"value":{"text":"Logic, meaning and computation. Essays in memory of Alonzo Church","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1396582$889BD2F7-B1D0-4893-95E6-E61C7442EAA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aece0022d395e26c67d399b81256e4f10324e60","datavalue":{"value":"1017.00057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396582$49C1388A-21C1-4466-8758-CBA49ED0B17B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a1cc4e398eb5d81a21b68eacc416647ae411adda","datavalue":{"value":{"entity-type":"item","numeric-id":163447,"id":"Q163447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1396582$CFE6751C-6B88-4033-95F5-3226FF14BF72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d5175729cb20542c71b41a11ea8faa451a2929","datavalue":{"value":{"time":"+2003-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1396582$255265F7-6571-43B1-A3D1-E7C1FFC3D54F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e6403679792a45dba683eafb675bca95c0d8fab","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Apostoli, Peter}, Logic, truth and number: The elementary genesis of arithmetic, 3-59 [Zbl 1025.03057]  \\textit{Corcoran, John}, Second-order logic, 61-75 [Zbl 1023.03516]  \\textit{Dunn, J. Michael}, A representation of relation algebras using Routley-Meyer frames, 77-108 [Zbl 1039.03051]  \\textit{Forster, Thomas}, Church's set theory with a universal set, 109-138 [Zbl 1031.03066]  \\textit{Gandy, Robin O.}, Axioms of infinity in Church's type theory, 139-147 [Zbl 1023.03009]  \\textit{Keenan, Edward L.}, Logical objects, 149-180 [Zbl 1031.03010]  \\textit{Mac Lane, Saunders}, The lambda calculus and adjoint functors, 181-184 [Zbl 1023.03010]  \\textit{Massey, Gerald J.}, Atomic Boolean algebras and classical propositional logic, 185-189 [Zbl 1028.03010]  \\textit{Meyer, Robert K.}, Improved decision procedures for pure relevant logic, 191-217 [Zbl 1023.03014]  \\textit{Shapiro, Stewart}, The ``triumph'' of first-order languages, 219-259 [Zbl 1021.03502]  \\textit{Smullyan, Raymond}, Equivalence relations and groups, 261-271 [Zbl 1031.03065]  \\textit{Barendregt, Henk}, Discriminating coded lambda terms, 275-285 [Zbl 1021.03506]  \\textit{Grue, Klaus}, \\(\\lambda\\)-calculus as a foundation for mathematics, 287-311 [Zbl 1030.03013]  \\textit{Leivant, Daniel}, Peano's lambda calculus: The functional abstraction implicit in arithmetic, 313-329 [Zbl 1031.03019]  \\textit{Loader, Ralph}, The undecidability of \\(\\lambda\\)-definability, 331-342 [Zbl 1031.03020]  \\textit{Martin-L\u00f6f, Per}, A construction of the provable wellorderings of the theory of species, 343-351 [Zbl 1050.03038]  \\textit{McLarty, Colin}, Semantics for first and higher order realizability, 353-363 [Zbl 1031.03082]  \\textit{Shepherdson, John C.}, Language and equality theory in logic programming, 365-392 [Zbl 1034.68018]  \\textit{Anderson, C. Anthony}, Alternative (1\\(^{\\ast}\\)): A criterion of identity for intensional entities, 395-427 [Zbl 1031.03007]  \\textit{Burgess, John P.}, Nominalist paraphrase and ontological commitment, 429-443 [Zbl 1022.03003]  \\textit{Detlefsen, Michael}, Peace, justice and computation: Leibniz' program and the moral and political significance of Church's theorem, 445-467 [Zbl 1028.03004]  \\textit{Holmes, M. Randall}, Tarski's theorem and NFU, 469-478 [Zbl 1031.03067]  \\textit{Mar, Gary}, Church's theorem and randomness, 479-490 [Zbl 1022.03002]  \\textit{Martino, Enrico}, Russellian type theory and semantical paradoxes, 491-505 [Zbl 1031.03012]  \\textit{Parsons, Terence}, The logic of sense and denotation: Extensions and applications, 507-543 [Zbl 1023.03004]  \\textit{Richard, Mark}, Analysis, synonymy and sense, 545-571 [Zbl 1023.03521]  \\textit{Salmon, Nathan}, The very possibility of language, 573-595 [Zbl 1019.03500]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396582$2DA2BEB3-169C-42A8-AA25-69ED8603D4D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396582$D4E9A846-BF0D-4A2E-9F49-AADA232FA6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396582$8CE7FAEE-8867-408D-BD53-219AD6A4C1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4962ac2b76902b20a583852d7e601719d224c503","datavalue":{"value":"00B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396582$E695241F-A7AA-4328-AC20-EDB209F02983","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b0c228c6e5b7d277a856ead32f35fb80cb2f9ab","datavalue":{"value":"1946027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396582$F41021D7-EB98-4D08-B5E8-6C34483542EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396582$630BEAB1-A9B5-427F-9C07-9C1674EC1DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cb817205bf12ec6b94aa094b00df39c4ff5351","datavalue":{"value":"Meaning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396582$CA3545C4-3536-41B4-AFBE-6AB6D937157B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7733f4707cd6367a6ff84835298a3aa55a9016e","datavalue":{"value":"Computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396582$604379F9-50F7-40D6-9C72-124138A373A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e303fd1cd766b07e23d74c0632526b793060418b","datavalue":{"value":"Essays","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396582$86F902FE-723F-4895-996A-A99770FDDE38","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":"Q1396582$294D4784-B62D-444F-8B29-0863178AEA40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic, meaning and computation. Essays in memory of Alonzo Church","badges":[]}}}}}