{"entities":{"Q1405984":{"pageid":1416724,"ns":120,"title":"Item:Q1405984","lastrevid":68630136,"modified":"2026-04-13T01:03:02Z","type":"item","id":"Q1405984","labels":{"en":{"language":"en","value":"Foundations of the formal sciences. II: Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10--13, 2000"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1977343"}},"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":"Q1405984$D53DD00A-326F-4CD8-A0A9-84AFD634CE65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c143d2f32217cbbc2f9e7c7760d681227680b349","datavalue":{"value":{"text":"Foundations of the formal sciences. II: Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10--13, 2000","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1405984$19CECB28-E4D8-42E9-9D18-48308B009628","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00061b8e20ada18358fe92530358a6c56787e947","datavalue":{"value":"1020.00010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405984$779ECC98-D5AE-4750-851C-B87BBFD71AE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"787dcc6dd11cb904cd0731cf31ea976c84f215b9","datavalue":{"value":{"entity-type":"item","numeric-id":178964,"id":"Q178964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1405984$D73FB746-840D-4461-9FA3-6A5D502E94FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0050397e71b267dc726595b0d386375319de60bc","datavalue":{"value":{"time":"+2003-09-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":"Q1405984$A4E5A0A2-7698-4809-8584-2137A1C738EF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1a25322bc567cdac40d66b009d6357bc23c153f","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference (1, 1999) has been reviewed (see Zbl 1019.00520).  Indexed articles:  \\textit{Barberousse, Anouk}, The diversity of models in statistical mechanics: views about the structure of scientific theories, 1-23 [Zbl 1205.82007]  \\textit{van Benthem, Johan}, Mathematical logic and natural language: Life at the border, 25-38 [Zbl 1036.03516]  \\textit{Bovens, Luc; Hartmann, Stephan}, Bayesian networks in philosophy, 39-46 [Zbl 1036.03500]  \\textit{Chapuis, Andr\u00e9}, An application of circular definitions: rational decision, 47-54 [Zbl 1072.91523]  \\textit{Cohnitz, Daniel}, Two-dimensionalism and the metaphysical possibility of zombies, 55-62 [Zbl 1036.03501]  \\textit{Giusto, Mariagnese}, Topics in reverse mathematics, 63-87 [Zbl 1036.03043]  \\textit{Horsten, Leon}, The logic of intensional predicates, 89-111 [Zbl 1036.03503]  \\textit{Jansen, Ludger; Strobach, Niko}, The so-called materially valid inferences and the logic of concepts, 113-118 [Zbl 1036.03514]  \\textit{Kikuchi, Makoto}, Analysis and design from a viewpoint of information flow, 119-122 [Zbl 1036.03511]  \\textit{Kracht, Marcus}, Features in phonological theory, 123-149 [Zbl 1059.91083]  \\textit{Kutz, Oliver}, New semantics for modal predicate logics, 151-162 [Zbl 1036.03512]  \\textit{Makinson, David; van der Torre, Leendert}, What is input/output-logic?, 163-174 [Zbl 1040.03023]  \\textit{Mart\u00ednez Fern\u00e1ndez, Jos\u00e9}, The Gupta-Belnap fixed-point problem and the theory of clones of functions, 175-184 [Zbl 1036.03507]  \\textit{ter Meulen, Alice G. B.}, Situated reasoning in time about time, 185-202 [Zbl 1072.91662]  \\textit{Osswald, Rainer}, Generic ontology of linguistic classification, 203-212 [Zbl 1034.03036]  \\textit{Rotter, Martin}, Techniques and methods of science from a structuralist points of view, 213-234 [Zbl 1044.81514]  \\textit{Tiede, Hans-J\u00f6rg}, Proof theory and formal grammars: Applications of normalization, 235-256 [Zbl 1036.03515]  \\textit{Wehmeier, Kai Frederick}, World travelling and mood swings, 257-260 [Zbl 1036.03513]  \\textit{Werning, Markus}, Synchrony and Composition: Toward a cognitive architecture between classicism and connectionism, 261-278 [Zbl 1067.91056]  References, 279-300 [Zbl 1032.03500]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405984$46E8195D-9833-4611-886A-400A04E767DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405984$7D9D3DFD-D41C-425A-9707-22171D34895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405984$01401A4B-D5DA-4C7F-A06B-5FC5281A8EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405984$EA52FB34-DB3D-4BD9-AC0F-F4D2C2904E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405984$4AB001B1-6A46-4720-A0D3-AE7BDDE7D32A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76ab5d2739aefec521518fd4a2ff609c088adb94","datavalue":{"value":"1977343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1405984$248AFFDC-D85D-44E0-ACFE-07B289FE665B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06e0e09163be10e68f1ff4143b040bcedd99ef68","datavalue":{"value":"Formal sciences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405984$75D26BBF-7FD9-4C63-853D-3A1A565C2540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6698e0a473452498d5d8a4099667064fc5c2315","datavalue":{"value":"Mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405984$97665224-2F27-4EA8-9684-C3C924F146A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40a42d979c99bb76e76bdfb0f208f6007b99848","datavalue":{"value":"Philosophy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405984$E9EF432F-7224-44F2-BCC1-8844703835DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38f83664f087bcb463d4a0fb7732fdd9e3d0e92","datavalue":{"value":"Linguistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405984$AEA7A115-945F-4CDF-80F9-39354FFDA6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca95d18af6b8bec20c149b9212bebb9e6a7625f","datavalue":{"value":"Bonn (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1405984$CAD965F1-5224-4E1E-8F16-7721F38BF7A5","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":"Q1405984$4168FF68-C344-4CD8-8C95-8ADC5FEC777F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundations of the formal sciences. II: Applications of mathematical logic in philosophy and linguistics. Papers of a conference, Bonn, Germany, November 10--13, 2000","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Foundations_of_the_formal_sciences._II:_Applications_of_mathematical_logic_in_philosophy_and_linguistics._Papers_of_a_conference,_Bonn,_Germany,_November_10--13,_2000"}}}}}