{"entities":{"Q1202155":{"pageid":1212904,"ns":120,"title":"Item:Q1202155","lastrevid":69876864,"modified":"2026-04-13T10:56:26Z","type":"item","id":"Q1202155","labels":{"en":{"language":"en","value":"Nonmonotonic and inductive logic. 1st international workshop, Karlsruhe, Germany, December 4--7, 1990. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 108257"}},"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":"Q1202155$4FBDC704-71CA-42A5-AF48-A6F976EBE582","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5337aecce60bd7fc70b2d9a014605a4d2663944","datavalue":{"value":{"text":"Nonmonotonic and inductive logic. 1st international workshop, Karlsruhe, Germany, December 4--7, 1990. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1202155$62B5A278-A77F-4EFF-B827-BB30F45F40CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"290e2027742ddcad580aeba0b62d15e51bf7a231","datavalue":{"value":"0768.00011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202155$DBCA9318-CF25-4D9F-B1C7-2295412D417E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1202155$B7C69ADF-A6CB-43C9-83FA-AACE5FC54405","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1202155$F9AE1F66-2EB7-46ED-8CCA-2FBB13DD187F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0042f89db9ef11f5df3c8b8ad35779f34af9e257","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Brewka, Gerhard; Makinson, David; Schlechta, Karl}, Cumulative inference relations for JTMS and logic programming, 1-12 [Zbl 0792.68170]  \\textit{Dix, J\u00fcrgen}, Cumulativity and rationality in semantics of normal logic programs, 13-37 [Zbl 0792.68018]  \\textit{Herre, Heinrich}, Nonmonotonic reasoning and logic programs, 38-58 [Zbl 0792.68019]  \\textit{Freund, Michael}, Supracompact inference operations, 59-73 [Zbl 0792.68171]  \\textit{J\u00e4ger, Gerhard}, Notions of nonmonotonic derivability, 74-84 [Zbl 0794.03037]  \\textit{Marek, Wiktor; Schwarz, Grigori F.; Truszczy\u0144ski, Miros\u0142aw}, Ranges of strong modal nonmonotonic logics, 85-99 [Zbl 0794.03036]  \\textit{Thiele, Helmut}, On generation of cumulative inference operators by default deduction rules, 100-137 [Zbl 0792.68173]  \\textit{Weydert, Emil}, Qualitative magnitude reasoning. Towards a new syntax and semantics for default reasoning, 138-160 [Zbl 0792.68174]  \\textit{Jantke, Klaus P.}, Monotonic and non-monotonic inductive inference of functions and patterns, 161-177 [Zbl 0792.68135]  \\textit{Lange, Steffen}, A note on polynomial-time inference of \\(k\\)-variable pattern languages, 178-183 [Zbl 0792.68138]  \\textit{Wiehagen, Rolf}, A thesis in inductive inference, 184-207 [Zbl 0794.03058]  \\textit{Zeugmann, Thomas}, Inductive inference of optimal programs. A survey and open problems, 208-222 [Zbl 0792.68149]  \\textit{Kalinski, J\u00fcrgen}, Autoepistemic expansions with incomplete belief introspection, 223-232 [Zbl 0792.68172]  \\textit{Morreau, M.; Rott, H.}, Is it impossible to keep up to date?, 233-243 [Zbl 0792.68175]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202155$378AB2E5-1797-45D4-8F1E-16DAC86E2DAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202155$33175706-3FE2-42C3-95E3-8A5D7258FF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202155$C7CD107C-FD89-4C9A-8C07-95CEF333E037","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30c19b3cf3d7172b72320ae18f5e01fc8fb30e76","datavalue":{"value":"108257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1202155$F803158B-C567-465C-B793-82D409DABB7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"736df544ab29901eaaceccc3e521731ac1ce7ef9","datavalue":{"value":"Karlsruhe (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202155$47C9E907-157B-46FA-AEFA-1C22844DB2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b03d4734fab4efeaa8585338bb24e5e4cff6f5ff","datavalue":{"value":"Nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202155$382D5284-6DC1-4A84-965A-77D8080A0030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b3a8586cde8fbda10e6e8b49c75c8971eee88ba","datavalue":{"value":"Inductive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202155$6CA9CF38-ECED-4A51-B425-592643CFF8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202155$3F8555A6-BE80-46BA-8AD5-6AB8B3D29174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1202155$445A86CA-9939-406D-9F79-E301A69302DC","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":"Q1202155$8BB6E8CE-F8B5-4EEC-A19E-79EAD6B474DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonmonotonic and inductive logic. 1st international workshop, Karlsruhe, Germany, December 4--7, 1990. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonmonotonic_and_inductive_logic._1st_international_workshop,_Karlsruhe,_Germany,_December_4--7,_1990._Proceedings"}}}}}