{"entities":{"Q1345481":{"pageid":1356220,"ns":120,"title":"Item:Q1345481","lastrevid":43046012,"modified":"2025-07-17T05:08:30Z","type":"item","id":"Q1345481","labels":{"en":{"language":"en","value":"Logical methods. In honor of Anil Nerode's 60th birthday"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 730300"}},"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":"Q1345481$ED8B20B4-A76C-4213-9920-1ED71ACEBD56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3685e9a752a5f8effa72a2d48df4aa04e3489a1e","datavalue":{"value":{"text":"Logical methods. In honor of Anil Nerode's 60th birthday","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1345481$F5D278DE-9153-4606-8A28-D14C09749E08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20c42b1830f3eb87cff4480f4280c92dbf3b4c18","datavalue":{"value":"0810.00003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345481$26E7260B-A4FA-4A95-B6D7-FEE5732367CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8070874c39ff21080ebbd159c5a183b0ba2e391a","datavalue":{"value":{"entity-type":"item","numeric-id":188056,"id":"Q188056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345481$B7FB68BC-CFFD-4205-B1BA-18C29826ED81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0cdb8d4632321c5e466c8887652aba3de4959ca","datavalue":{"value":{"time":"+1995-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1345481$F4AA900B-3FCD-4883-944C-A43BE045B5CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19ef5b36c5641ae940cbfba075ba50e1635485c8","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Remmel, J. B.; Crossley, J. N.}, The work of Anil Nerode: A retrospective, 1-85 [Zbl 0824.03001]  Bibliography of Anil Nerode, 86-91 [Zbl 0824.03002]  \\textit{Ambos-Spies, Klaus; Ding, Decheng; Fejer, Peter A.}, Embedding distributive lattices preserving 1 below a nonzero recursively enumerable Turing degree, 92-129 [Zbl 0819.03031]  \\textit{Barback, J.}, Prime isols and the theorems of Fermat and Wilson, 130-142 [Zbl 0824.03021]  \\textit{Cenzer, Douglas}, Effective real dynamics, 162-177 [Zbl 0823.03034]  \\textit{Cherlin, Gregory; Martin, Gary}, An integer lattice arising in the model theory of wreath products, 178-193 [Zbl 0824.03012]  \\textit{Cholak, Peter; Downey, Rod}, Undecidability and definability for parametrized polynomial time \\(m\\)- reducibilities, 194-221 [Zbl 0820.03026]  \\textit{Crossley, John N.; Shepherdson, John C.}, Extracting programs from proofs by an extension of the Curry-Howard process, 222-288 [Zbl 0821.03017]  \\textit{Dekker, J. C. E.}, A bird's-eye view of twilight combinatorics, 289-313 [Zbl 0820.03029]  \\textit{Downey, R. G.; Remmel, Jeffrey B.}, Effectively and noneffectively nowhere simple subspaces, 314-351 [Zbl 0824.03019]  \\textit{Gasarch, William; Martin, Georgia}, Index sets in recursive combinatorics, 352-385 [Zbl 0824.03023]  \\textit{Ge, Xiaolin; Richards, J. Ian}, Computability in unitary representations of compact groups, 386-421 [Zbl 0839.22002]  \\textit{Hird, Geoffrey}, Recursive properties of intervals of recursive linear orders, 422-437 [Zbl 0816.03020]  \\textit{Khoussainov, B. M.; Dadajanov, R.}, Algorithmic stability of models, 438-466 [Zbl 0818.03017]  \\textit{Kontostathis, Kyriakos}, The combinatorics of the Friedberg-Muchnick theorem, 467-489 [Zbl 0820.03024]  \\textit{Kozen, D.}, Partial automata and finitely generated congruences: An extension of Nerode's theorem, 490-511 [Zbl 0824.68076]  \\textit{Lempp, S.; Lerman, M.; Weber, F.}, Minimal pair constructions and iterated trees of strategies, 512-554 [Zbl 0819.03033]  \\textit{Lubarsky, Robert S.}, Intuitionistic L, 555-571 [Zbl 0823.03028]  \\textit{Moses, Michael}, \\(n\\)-recursive linear orders without \\((n+1)\\)-recursive copies, 572-592 [Zbl 0824.03020]  \\textit{Ng, Raymond; Subrahmanian, V. S.}, Dempster-Shafer logic programs and stable semantics, 654-704 [Zbl 0824.68021]  \\textit{Plotkin, J. M.}, Who put the ``back'' in back-and-forth?, 705-712 [Zbl 0856.01018]  \\textit{Remmel, Jeffrey B.}, Polynomial time categoricity and linear orderings, 713-746 [Zbl 0832.03020]  \\textit{Scowcroft, Philip}, The disjunction and numerical existence properties for intuitionistic analysis, 747-781 [Zbl 0827.03036]  \\textit{Shore, Richard A.}, On the strength of Fra\u00efss\u00e9's conjecture, 782-813 [Zbl 0820.03037]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345481$49A0DECA-3808-42B4-BF9A-28BFA3605272","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345481$F1D6928A-2FF0-4D2D-9393-43516FADE11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345481$E5F545A0-D4DC-44B4-A2E1-C9744EA01A36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f4c4b403e25ce22e10de8306f76f6748fd95193","datavalue":{"value":"730300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345481$A5D7F35E-D4A1-471C-90A3-9CA2F4E42ABE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ba693af497dda4600b60f0524e490cf5665b0e","datavalue":{"value":"Logical methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345481$918942B4-3576-4366-839D-3C126E3376A4","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":"Q1345481$FC918903-3D44-4EA0-AC27-2A1BD3C3EBB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1345481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1345481"}}}}}