{"entities":{"Q1308633":{"pageid":1319383,"ns":120,"title":"Item:Q1308633","lastrevid":67518093,"modified":"2026-04-12T18:32:52Z","type":"item","id":"Q1308633","labels":{"en":{"language":"en","value":"GWAI-92: Advances in artificial intelligence. 16th German conference on artificial intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 462716"}},"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":"Q1308633$CD280E75-D628-420C-A067-CA9BFCFB3F94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"742afd0b0aa92a3205d2eb4120d458f3d5c114b5","datavalue":{"value":{"text":"GWAI-92: Advances in artificial intelligence. 16th German conference on artificial intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1308633$A1155848-2E1F-4F54-9D4A-18FBB7A3E22A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6099778df7a884f985655e4fdb3cb5c2903566b8","datavalue":{"value":"0854.00020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308633$B918C7F8-EB8A-489D-A1EA-0389BEAAF231","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":"Q1308633$FF437B82-7A25-41DB-82E8-231F1B6119C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cedb7e7de9a6212ac70f32f8a0687a31fd79074e","datavalue":{"value":{"time":"+1993-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1308633$71BAC7EB-1401-4AF7-8CDB-894F4DD9C013","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ee52a8d76bdaa30ed8cb7c904e6eca7fbeba1c6e","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding conference (15th, 1996) has been announced (see Zbl 0825.68104).  Indexed articles:  \\textit{Gabbay, D. M.}, How to construct a logic for your application, 1-29 [Zbl 0925.03156]  \\textit{Baumgartner, Peter}, A model elimination calculus with built-in theories, 30-42 [Zbl 0925.03050]  \\textit{Weidenbach, Christoph}, A new sorted logic, 43-54 [Zbl 0921.03010]  \\textit{Huang, Xiaorong}, An explanatory framework for human theorem proving, 55-66 [Zbl 0925.00021]  \\textit{Posegga, Joachim; Lud\u00e4scher, Bertram}, Towards first-order deduction based on Shannon graphs, 67-76 [Zbl 0925.03078]  \\textit{K\u00f6nig, Esther}, An efficient decision algorithm for feature logic, 255-266 [Zbl 0925.03051]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308633$4D60F9D7-949F-4828-A6B0-F1EA45239F6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308633$9D654D1C-FBF3-4E0F-83D6-0D6B3B533B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308633$74F4097D-3FB0-4D14-B0DF-EF29F40495D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51a8c29db87fce6bd49731dc23a3b6f69f437c28","datavalue":{"value":"462716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308633$1B8AF64D-58CA-4234-B164-3FA864E34FAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca95d18af6b8bec20c149b9212bebb9e6a7625f","datavalue":{"value":"Bonn (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308633$4D9E82A4-80BD-4043-B582-B89141478930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308633$40F402E3-45AA-4300-9958-F591921EDFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308633$3FF07787-E564-4A1E-AC74-1767D7834FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c6c480dd5662ad342df283d534de2d095867d4","datavalue":{"value":"GWAI '92","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308633$D73CC641-7E6E-424A-B309-B52DEDAB78CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716036f9c770a47ec609d1e6cd7b18b459df64f5","datavalue":{"value":"Artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308633$CF7997A2-38B4-49FB-86BB-24C7B9352BA8","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":"Q1308633$E5CB0A33-6FDE-407D-BBAF-7DB2591C784F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1b13e0697b753736d4c0c54abc457de56b5770","datavalue":{"value":{"entity-type":"item","numeric-id":3993201,"id":"Q3993201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1986ddbc8f53c06c82dc12c17c893f51dc26d0","datavalue":{"value":{"amount":"+0.9197414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308633$2EF7A742-A7B9-4BD1-9C44-AB78B3F0E277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0bc491627ff4b4a1204cf373a6b14fc3127ed5","datavalue":{"value":{"entity-type":"item","numeric-id":3999086,"id":"Q3999086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41314ff2bed2e1c1f5db2d5e467f062cc9c425bf","datavalue":{"value":{"amount":"+0.91221154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308633$3E8B1EB5-D0E0-48B5-86B8-476FDCD10C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dcd7973ee248dcfb6500ce8f867c248cb6b9222","datavalue":{"value":{"entity-type":"item","numeric-id":3703830,"id":"Q3703830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70bc93202433046ad58aa5e8c662a1177d204659","datavalue":{"value":{"amount":"+0.898343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308633$41779FED-6132-4F3C-B941-61A396CF1699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be786ae185583c5459fe11715c875d9cc7dcd09","datavalue":{"value":{"entity-type":"item","numeric-id":4040724,"id":"Q4040724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ed815d09ad0ac773f7e276b2b472afaa090a40","datavalue":{"value":{"amount":"+0.89764804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308633$73526246-731B-4003-9240-CA548CF8A576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4331a9e644725b81b2afc7367a9b88845b822481","datavalue":{"value":{"entity-type":"item","numeric-id":1819258,"id":"Q1819258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c70b93a84c9f634e03e86a063ff022181c5a88d","datavalue":{"value":{"amount":"+0.8879719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308633$6D684114-D61F-46E6-8BAA-64C656CB053F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bfa7214df489a93794ed1594be289b163ad8f5","datavalue":{"value":{"entity-type":"item","numeric-id":1270000,"id":"Q1270000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213b3cd1473b0a97e6efdd9aa664217afa910d56","datavalue":{"value":{"amount":"+0.8837507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308633$0B366BA0-13C5-46BF-8037-64B18EA43976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16aeca99df637d6bc038107db51caee19c823037","datavalue":{"value":{"entity-type":"item","numeric-id":3760460,"id":"Q3760460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1029269fc9aed9bdf984b2c8241b5e39ef084624","datavalue":{"value":{"amount":"+0.8834109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308633$F5B2359E-B3FE-4AE9-B12D-05205ED8E145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1db45fc4118c2cf67e7c75c1cae26338000ae7","datavalue":{"value":{"entity-type":"item","numeric-id":1339505,"id":"Q1339505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ed230a232ed6fb59db4f3e21f70c5d009bc1d6","datavalue":{"value":{"amount":"+0.8795853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308633$6AFE536F-8B7A-42E9-B6FB-C25D73AFE2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db543d39102676d31b939c5a3385b963f5a1a1dd","datavalue":{"value":{"entity-type":"item","numeric-id":2565157,"id":"Q2565157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7741a4fa15cfa09d4d6f8b8258a98ffae4448d4b","datavalue":{"value":{"amount":"+0.87941575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308633$5B75C99E-23D1-4DDE-97A5-79A7ECA17F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948d4a6f18d7fe2143b0d07a04831ab22e98b52c","datavalue":{"value":{"entity-type":"item","numeric-id":3313798,"id":"Q3313798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2129bd5f6b145005208965e2754a1c48d86826","datavalue":{"value":{"amount":"+0.8776883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1308633$E62F8922-2E4D-4F7D-8DE3-10593EC479EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"GWAI-92: Advances in artificial intelligence. 16th German conference on artificial intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/GWAI-92:_Advances_in_artificial_intelligence._16th_German_conference_on_artificial_intelligence,_Bonn,_Germany,_August_31_-_September_3,_1992._Proceedings"}}}}}