{"entities":{"Q1344735":{"pageid":1355474,"ns":120,"title":"Item:Q1344735","lastrevid":67658628,"modified":"2026-04-12T19:11:55Z","type":"item","id":"Q1344735","labels":{"en":{"language":"en","value":"Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 723328"}},"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":"Q1344735$BFA4D1FB-62C2-456C-9904-44A4120A482D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80c3a35522c1cea11f7a84264e3b2b72b8c6802b","datavalue":{"value":{"text":"Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344735$DDBF0A20-41BC-466A-8F19-6110696C801E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4367e5b9e16f48f42bb5472121ad6f19ab36c87a","datavalue":{"value":"0807.00012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344735$88CABE1F-799B-4002-88FC-E652F9BA1B10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9144438c0c6423ef10a9ae011c7a38a1555ba28a","datavalue":{"value":{"entity-type":"item","numeric-id":163604,"id":"Q163604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344735$3CF22FBB-052A-4C21-9E2B-01CBC6F8C0CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d503d12ba3bee791ac3a443dae83034312baad6","datavalue":{"value":{"time":"+1995-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344735$DF81DD8F-E7E7-41D1-A613-78FBE87F1EB7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ffc36d3bc04bbe026d1a4aebf248c363170f170","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{von Wrigth, Georg Henrik}, Logic and philosophy in the twentieth century, 9-25 [Zbl 0825.03001]  \\textit{Buss, Samuel R.}, The witness function method and provably recursive functions of Peano arithmetic, 29-68 [Zbl 0829.03036]  \\textit{Lambek, J.}, Some aspects of categorical logic, 69-89 [Zbl 0824.03035]  \\textit{Mints, G. E.}, Gentzen-type systems and Hilbert's epsilon substitution method. I, 91-122 [Zbl 0835.03023]  \\textit{Rathjen, Michael}, Admissible proof theory and beyond, 123-147 [Zbl 0833.03018]  \\textit{Louveau, Alain}, On the reducibility order between Borel equivalence relations, 151-155 [Zbl 0826.04001]  \\textit{Mitchell, William}, The core model up to a Woodin cardinal, 157-175 [Zbl 0824.03028]  \\textit{Ambos-Spies, Klaus; Lempp, Steffen; Lerman, Manuel}, Lattice embeddings into the r.e. degrees preserving 1, 179-198 [Zbl 0819.03032]  \\textit{Arslanov, Marat M.}, Contributions to the history of variations of weak density in the \\(n\\)- r.e. degrees, 199-208 [Zbl 0824.03017]  \\textit{Cooper, S. Barry}, Rigidity and definability in the noncomputable universe, 209-235 [Zbl 0852.03019]  \\textit{Makowsky, J. A.}, The impact of model theory on theoretical computer science, 239-262 [Zbl 0854.03040]  \\textit{Nute, Donald}, A decidable quantified defeasible logic, 263-284 [Zbl 0820.03014]  \\textit{Burgess, John P.}, Non-classical logic and ontological non-commitment, avoiding abstract objects through modal operators, 287-305 [Zbl 0825.03025]  \\textit{Pelham, Judy; Urquhart, Alasdair}, Russellian propositions, 307-326 [Zbl 0825.03024]  \\textit{Segerberg, Krister}, Accepting failure in dynamic logic, 327-349 [Zbl 0838.03027]  \\textit{Seidenfeld, Teddy}, When normal and extensive form decisions differ, 451-463 [Zbl 0818.90003]  \\textit{Nagorny, N. M.}, Andrei Markov and mathematical constructivism, 467-479 [Zbl 0817.01012]  \\textit{Wole\u0144ski, Jan}, Contributions to the history of the classical truth-definition, 481-495 [Zbl 0822.03002]  \\textit{Coquand, Thierry}, A new paradox in type theory, 555-570 [Zbl 0821.03005]  \\textit{Nelson, Edward}, Taking formalism seriously, 571-577 [Zbl 0811.03044]  \\textit{Tieszen, Richard}, What is the philosophical basis of intuitionistic mathematics?, 579-594 [Zbl 0822.03006]  \\textit{van Benthem, Johan}, Logic and the flow of information, 693-724 [Zbl 0831.03011]  \\textit{Cresswell, M. J.}, Relational nouns, 745-759 [Zbl 0831.03016]  \\textit{Pearl, Judea; Verma, Thomas S.}, A theory of inferred causation, 789-811 [Zbl 0939.68844]  \\textit{Spirtes, Peter}, Building causal graphs from statistical data in the presence of latent variables, 813-829 [Zbl 0831.62002]  \\textit{Sudderth, William D.}, Coherent inference and prediction in statistics, 833-844 [Zbl 0812.62002]  \\textit{Binmore, Ken}, DeBayesing game theory, 927-945 [Zbl 0819.90146]  \\textit{Harsanyi, John C.}, Normative validity and meaning of von Neumann-Morgenstern utilities, 947-959 [Zbl 0829.90011]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344735$CFEAE7CF-C284-46D1-BEFF-06B2E0889E48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344735$B49F2D21-B0BC-48AC-BE54-0CA71FDEFD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344735$6F816D3B-CCA2-40D6-A09B-4049F0889D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"502c6764a528f60081e8271f2abc18e5b3b1e9f2","datavalue":{"value":"01-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344735$61B534B1-05D5-4EC1-9E78-F0EB24BC7D55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57334904245829f473b31638367a621795a7b58d","datavalue":{"value":"723328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344735$387E61CA-39F3-4573-83D6-E35B2B04257C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344735$4E585641-2E1A-4F2F-B4C9-CD4B4D296264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4458c9b1e2937dfc0b43533c2f62211eb514027e","datavalue":{"value":"Methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344735$73FEF18F-2064-47FD-AFDD-3BE6DA1FD28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40a42d979c99bb76e76bdfb0f208f6007b99848","datavalue":{"value":"Philosophy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344735$5FD6435D-860F-47DB-A015-17F519FD1C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fefa7cc8103d8b97ab63ebb247f8f46cfa4f6043","datavalue":{"value":"Science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344735$2AB73C0F-C5E9-461F-A152-702F8C9B9F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344735$D4525240-5138-46B1-A2CB-E715F7451240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f6848b87b5c1580cb5945e73c2242a4760ec9f","datavalue":{"value":"Congress","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344735$8701D9A4-090F-40AE-BF8B-6881551AA69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"115ce2edbc241f688716c5b791094ecbcce3cc72","datavalue":{"value":"Uppsala (Sweden)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344735$1D077297-F8BB-4CB2-AAEF-47138EBF088F","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":"Q1344735$D9D3D9A0-A313-40EA-80B4-0447BBE809C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic,_methodology_and_philosophy_of_science_IX._Proceedings_of_the_ninth_international_congress_of_logic,_methodology_and_philosophy_of_science,_Uppsala,_Sweden,_August_7-14,_1991"}}}}}