{"entities":{"Q1125622":{"pageid":1136371,"ns":120,"title":"Item:Q1125622","lastrevid":69700812,"modified":"2026-04-13T08:48:32Z","type":"item","id":"Q1125622","labels":{"en":{"language":"en","value":"Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19--25, 1995"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1376301"}},"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":"Q1125622$8973383C-5202-46EF-8242-CAAA61772A1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acd773c855b6126e4ec3417055ef134c8b33f202","datavalue":{"value":{"text":"Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19--25, 1995","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125622$529C106C-A532-4F54-B2B3-B5EB01457B36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ca00460f64a58ccf22a79b6151dbb171180798c","datavalue":{"value":"0927.00020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125622$4885C791-6AC9-4D07-8867-8264C141F25E","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":"Q1125622$9FAF8866-3536-4CE1-A47B-E9A3D69FBC9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01a219b50371d4e88ced51e1d6f1fa2b7760e9ca","datavalue":{"value":{"time":"+1999-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125622$CDADF529-3E77-419E-B994-15F03910E1DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"382be3f4a552e402b6a209c40fc234f097f71a91","datavalue":{"value":"The articles of this volume will be reviewed individually. Other papers of the same conference have been reviewed (see Zbl 0885.00048). The preceding conference (9, 1991) has been reviewed (see Zbl 0807.00012).  Indexed articles:  \\textit{Forti, Marco; Honsell, Furio; Lenisa, Marina}, Operations, collections and sets within a general axiomatic framework, 1-24 [Zbl 0951.03005]  \\textit{Hellman, Geoffrey}, Some ins and outs of indispensability: A modal-structural perspective, 25-39 [Zbl 0946.03004]  \\textit{Fruchart, Thomas; Longo, Giuseppe}, Carnap's remarks on impredicative definitions and the genericity theorem, 41-55 [Zbl 0946.03073]  \\textit{Sieg, Wilfried; Byrnes, John}, G\u00f6del, Turing, and \\(K\\)-graph machines, 57-66 [Zbl 0949.03034]  \\textit{Berarducci, Alessandro; Intrigila, Benedetto}, Linear recurrence relations are \\(\\Delta_0\\) definable, 67-81 [Zbl 0952.03067]  \\textit{J\u00e4ger, Gerhard; Kahle, Reinhard; Strahm, Thomas}, On applicative theories, 83-92 [Zbl 0951.03054]  \\textit{Kohlenbach, Ulrich}, The use of a logical principle of uniform boundedness in analysis, 93-106 [Zbl 0954.03065]  \\textit{Mints, Grigori; Tupailo, Sergei}, Epsilon-substitution method for the ramified language and \\(\\Delta_1^1\\)-comprehension rule, 107-130 [Zbl 0954.03061]  \\textit{Caicedo, Xavier}, The abstract compactness theorem revisited, 131-141 [Zbl 0955.03044]  \\textit{Veldman, Wim}, On sets enclosed between a set and its double complement, 143-154 [Zbl 0951.03060]  \\textit{Lambek, J.}, Binary relations in the social and mathematical sciences, 155-163 [Zbl 0947.03049]  \\textit{Battilotti, Giulia; Sambin, Giovanni}, Basic logic and the cube of its extensions, 165-186 [Zbl 0965.03009]  \\textit{Ono, Hiroakira}, Some observations on noncommutative substructural logics, 187-194 [Zbl 0951.03022]  \\textit{Westerst\u00e5hl, Dag}, On predicate logic as modal logic, 195-207 [Zbl 0979.03018]  \\textit{Chagrov, A. V.}, A first-order effect and modal propositional formulas, 209-217 [Zbl 0957.03029]  \\textit{Fitting, Melvin}, Herbrand's theorem for a modal logic, 219-225 [Zbl 0947.03024]  \\textit{Wolter, Frank; Zakharyaschev, Michael}, Intuitionistic modal logic, 227-238 [Zbl 0955.03029]  \\textit{Jervell, Herman R.}, Dynamic datastructures, 239-247 [Zbl 0957.03064]  \\textit{Leitsch, Alexander}, Resolution and the decision problem, 249-269 [Zbl 0958.03008]  \\textit{Guerrini, Stefano; Martini, Simone; Masini, Andrea}, Modal logic, linear logic, optimal lambda-reduction, 271-282 [Zbl 0951.03019]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125622$E8789684-0B8C-42C3-BF10-4F8EF8E67484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125622$CEC0CFBB-C826-4D6A-B8FD-4DBEEEF92C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125622$813F11B3-BCC8-4BC1-B556-CEE381B15C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125622$79063536-E0AA-4B13-8939-B6A9F5BFC91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"502c6764a528f60081e8271f2abc18e5b3b1e9f2","datavalue":{"value":"01-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125622$AFCAE500-100E-47EB-82C8-BCB30D3B1B61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fb242e6cfb77003d6888ee6c9b484bb369de8ba","datavalue":{"value":"1376301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125622$AB037F00-C92D-407B-8B23-17412182E4F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125622$3F09C2F2-A0B8-4181-9A7F-5C2C3BC90A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f88f841e32230577912b041166dc22acf2db95d","datavalue":{"value":"Foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125622$1E50B34C-5695-4C60-9735-6375BE342D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4458c9b1e2937dfc0b43533c2f62211eb514027e","datavalue":{"value":"Methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125622$D71039E6-0DEF-4E72-9D17-6A242E7ABC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f1d6d54424b5fa027905d7210f59eb578fea91f","datavalue":{"value":"Philosophy of science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125622$7791EBD5-3CCD-4602-8280-2AE76B610922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba51dcc92ccecebe63ef77f99e710a09e514b5f8","datavalue":{"value":"Florence (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125622$CC4EBF03-F478-44D2-9E4D-3805649F6DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125622$8F3292DC-B3AE-4BAA-8E52-AC999D52EDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125622$BF470E10-D469-4160-BED9-711F00E6A666","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":"Q1125622$19DF4712-2C38-45C4-9D1B-9725366E9C09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b8c16600cdfdbd1560951cb9628e23f77faaa5","datavalue":{"value":{"entity-type":"item","numeric-id":5933227,"id":"Q5933227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f0fa6a259eb7e03de7d0850274aa25826efccc","datavalue":{"value":{"amount":"+0.8675333857536316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125622$26528B7C-CF4A-46AC-9DD5-7B60B5C436BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433825e5e39a85ff34c03c365d65d580a72b3fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5933175,"id":"Q5933175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d43e34d01e0cae667dbcecf76837cc69941d013","datavalue":{"value":{"amount":"+0.848467230796814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125622$9716DB46-4AA6-4B92-A1C7-EF55EBE5AAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"711abd135dae9cbb2f1b8caac71b4363dae1b5e4","datavalue":{"value":{"entity-type":"item","numeric-id":1396586,"id":"Q1396586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64d3d3f5fdf8756d58d0e0fb676a4840208055a","datavalue":{"value":{"amount":"+0.8124533295631409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125622$1D88C7EE-B016-4422-87CF-F6F81AB68487","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic and foundations of mathematics. Selected contributed papers of the 10th international congress of logic, methodology and philosophy of science, Florence, August 19--25, 1995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_and_foundations_of_mathematics._Selected_contributed_papers_of_the_10th_international_congress_of_logic,_methodology_and_philosophy_of_science,_Florence,_August_19--25,_1995"}}}}}