{"entities":{"Q1265641":{"pageid":1276391,"ns":120,"title":"Item:Q1265641","lastrevid":67160520,"modified":"2026-04-12T15:42:14Z","type":"item","id":"Q1265641","labels":{"en":{"language":"en","value":"Artificial intelligence and symbolic computation. International conference AISC '98, Plattsburgh, NY, USA, September 16--18, 1998. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1201050"}},"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":"Q1265641$404A76C9-209F-4FFF-A41A-8726F2721609","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6860db3e46d3cbc4b3f7f4d139b5bf2a2fd75595","datavalue":{"value":{"text":"Artificial intelligence and symbolic computation. International conference AISC '98, Plattsburgh, NY, USA, September 16--18, 1998. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1265641$88214FF3-10D0-4D83-B690-FE86704BBB97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81dbcb3ed0591f8363831e0eb717e47b8638a2b3","datavalue":{"value":"0896.00032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265641$D6A33344-AF90-4E42-8DC2-60D0E8F9A5B5","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":"Q1265641$2B430739-9B27-4BBC-BD43-51C7EA57B7E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"999f03c13835e1923a8e900c7129f49e6e75be1c","datavalue":{"value":{"time":"+1998-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1265641$E08967AA-88C7-426D-9531-F4427BEF5FAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30d1cf731e80e571556b848577bae2d5059b4a8d","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Fitting, Melvin}, Bertrand Russell, Herbrand's theorem, and the assignment statement, 14-28 [Zbl 0920.03026]  \\textit{Ballarin, Clemens; Paulson, Lawrence C.}, Reasoning about coding theory: The benefits we get from computer algebra, 55-66 [Zbl 0914.94011]  \\textit{Beeson, Michael}, Automatic generation of epsilon-delta proofs of continuity, 67-83 [Zbl 0914.03012]  \\textit{Benhamou, Belaid; Henocque, Laurent}, Finite model search for equational theories (FMSET), 84-93 [Zbl 0914.03011]  \\textit{Bertoli, P. G.; Calmet, J.; Giunchiglia, F.; Homann, K.}, Specification and integration of theorem provers and computer algebra systems, 94-106 [Zbl 0910.68194]  \\textit{Egly, Uwe; Schmitt, Stephan}, Intuitionistic proof transformations and their application to constructive program synthesis, 132-144 [Zbl 0924.03042]  \\textit{F\u00e8vre, St\u00e9phane; Wang, Dongming}, Combining algebraic computing and term-rewriting for geometry theorem proving, 145-156 [Zbl 0914.03014]  \\textit{Fuchs, Dirk}, Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer, 157-169 [Zbl 0910.68195]  \\textit{Fujita, Ken-etsu}, Polymorphic call-by-value calculus based on classical proofs (extended abstract), 170-182 [Zbl 0914.03036]  \\textit{Lynch, Christopher}, The unification problem for one relation Thue systems, 195-208 [Zbl 0919.03032]  \\textit{Lynch, Christopher; Scharff, Christelle}, Basic completion with \\(E\\)-cycle simplification, 209-221 [Zbl 0955.68504]  \\textit{Horrocks, Ian; Patel-Schneider, Peter F.}, Optimising propositional modal satisfiability for description logic subsumption, 234-246 [Zbl 0910.68204]  \\textit{Sendra, J. Rafael; Winkler, Franz}, Real parametrization of algebraic curves, 284-295 [Zbl 0932.14034]  \\textit{Stachniak, Zbigniew}, Non-clausal reasoning with propositional definite theories, 296-307 [Zbl 0921.03014]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265641$9A32E81E-35EF-4072-8A5A-192E85801854","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265641$F6B0A7F2-C022-45FB-A86E-AD8EA3A0ED49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265641$2262886F-51C4-4FE0-A876-96EC517A91B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2f1231cd6ac9a2c689045318400941779979662","datavalue":{"value":"1201050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265641$7A3394F2-7A1C-4AB4-B3A5-94F506451598","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e329c95f3776fe72ad5f676857e8557ad08ebf0","datavalue":{"value":"Plattsburgh, NY (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265641$5B90E42E-4D9C-442B-8BFC-8F0023B2C387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265641$57F14ACE-7CA5-498D-B77B-86F8CCED3B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265641$A6CDC0EC-C72C-4580-A870-4397FBCE88FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ac0a0a8c4caeaaa8c114ee887d641af117f1d1","datavalue":{"value":"AISC '98","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265641$424A1A04-CDD5-4777-9720-D79E59A88A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716036f9c770a47ec609d1e6cd7b18b459df64f5","datavalue":{"value":"Artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265641$5D5F660C-F796-46CF-BE2C-8418411F7640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e777ddee6bf24fdbad266d171a36ce7809602a9","datavalue":{"value":"Symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265641$5CD177B0-6145-4566-AA9C-F465CD80D364","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":"Q1265641$EB44A1D3-C882-43A3-8639-E25C83B55CDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89edc1ad180730930703998a53c01707f049a30a","datavalue":{"value":"https://doi.org/10.1007/bfb0055897","type":"string"},"datatype":"url"},"type":"statement","id":"Q1265641$5FCA61CD-38C9-490D-B0B2-5438E9BBD41C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"165222b290f3dc0c2ef122586118edffc05e09c8","datavalue":{"value":"W4214667224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265641$BE3B81E4-3E93-4FF4-AE35-4F5D3E9AA40C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9edb6f839de588258aefffb65e55a950d4494e5c","datavalue":{"value":"10.1007/BFB0055897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265641$D3248015-922D-4B6C-8975-6ED7D76AC09C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Artificial intelligence and symbolic computation. International conference AISC '98, Plattsburgh, NY, USA, September 16--18, 1998. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Artificial_intelligence_and_symbolic_computation._International_conference_AISC_%2798,_Plattsburgh,_NY,_USA,_September_16--18,_1998._Proceedings"}}}}}