{"entities":{"Q701693":{"pageid":703542,"ns":120,"title":"Item:Q701693","lastrevid":63814728,"modified":"2026-04-11T15:43:36Z","type":"item","id":"Q701693","labels":{"en":{"language":"en","value":"Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1824867"}},"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":"Q701693$B764A270-C6D1-45A8-9F40-F5FBB5E27BA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"989b515629884a1f8f879c8bb8ae00e9fc3a2837","datavalue":{"value":{"text":"Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701693$F830F761-D65F-4822-9069-4797F1E3E425","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74f471e7f33427024b47e17242a524a64a47a802","datavalue":{"value":"0997.00043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701693$7A6FDA7C-57F3-43D2-A8C6-A60F8D5208B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e883a73c480021bbdd75254940f31982442d69c7","datavalue":{"value":"10.1007/3-540-45628-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701693$40A77A5C-5B6D-4377-8377-07B47F4106F5","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":"Q701693$79A7FEF4-ABBA-47EE-8427-6B0706D23302","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17316e88e5ef0a679faa075220250a060b94ddba","datavalue":{"value":{"time":"+2002-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701693$ECE6112D-AA13-498F-929A-3B9A1A2DE06F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6585e635eee6162777f3688fc82883a468f6a98","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Bruynooghe, Maurice; Pereira, Lu\u00eds Moniz; Siekmann, J\u00f6rg H.; van Emden, Maarten}, A portrait of a scientist as a computational logician, 1-4 [Zbl 1012.01506]  \\textit{Sergot, Marek}, Bob Kowalski: A portrait, 5-25 [Zbl 1012.01507]  \\textit{Kowalski, Robert A.}, Directions for logic programming, 26-32 [Zbl 1012.68506]  \\textit{Clark, Keith; Robinson, Peter J.}, Agents as multi-threaded logical objects, 33-65 [Zbl 1012.68504]  \\textit{Davison, Andrew}, Logic programming languages for the internet, 66-104 [Zbl 1012.68508]  \\textit{Lloyd, John W.}, Higher-order computational logic, 105-137 [Zbl 1012.03043]  \\textit{Ueda, Kazunori}, A pure meta-interpreter for Flat GHC, a concurrent constraint language, 138-161 [Zbl 1012.68502]  \\textit{Bossi, Annalisa; Cocco, Nicoletta; Etalle, Sandro}, Transformation systems and nondeclarative properties, 162-186 [Zbl 1012.68512]  \\textit{De Schreye, Danny; Serebrenik, Alexander}, Acceptability with general orderings, 187-210 [Zbl 1012.68037]  \\textit{Gupta, Gopal; Pontelli, Enrico}, Specification, implementation, and verification of domain specific languages: A logic programming-based approach, 211-239 [Zbl 1012.68513]  \\textit{Mancarella, Paolo; Pedreschi, Dino; Ruggieri, Salvatore}, Negation as failure through abduction: Reasoning about termination, 240-272 [Zbl 1012.68038]  \\textit{Pettorossi, Alberto; Proietti, Maurizio}, Program derivation \\(=\\) rules \\(+\\) strategies, 273-309 [Zbl 1012.68033]  \\textit{Flener, Pierre}, Achievements and prospects of program synthesis, 310-346 [Zbl 1012.68500]  \\textit{Lau, Kung-Kiu; Ornaghi, Mario}, Logic for component-based software development, 347-373 [Zbl 1012.68501]  \\textit{Sterling, Leon}, Patterns for Prolog programming, 374-401 [Zbl 1012.68510]  \\textit{Denecker, Marc; Kakas, Antonis}, Abduction in logic programming, 402-436 [Zbl 1012.68503]  \\textit{Flach, Peter; Lavrac, Nada}, Learning in clausal logic: A perspective on inductive logic programming, 437-471 [Zbl 1012.68534]  \\textit{Minker, Jack; Seipel, Dietmar}, Disjunctive logic programming: A survey and assessment, 472-511 [Zbl 1012.68507]  \\textit{Wallace, Mark}, Constraint logic programming, 512-532 [Zbl 1012.68505]  \\textit{Aiello, Luigia Carlucci; Massacci, Fabio}, Planning attacks to security protocols: Case studies in logic programming, 533-560 [Zbl 1012.68517]  \\textit{Buccafurri, Francesco; Gottlob, Georg}, Multiagent compromises, joint fixpoints, and stable models, 561-585 [Zbl 1012.68191]  \\textit{Eiter, Thomas; Mascardi, Viviana; Subrahmanian, V. S.}, Error-tolerant agents, 586-625 [Zbl 1012.68541]  \\textit{Jung, Christoph G.; Fischer, Klaus}, Logic-based hybrid agents, 626-654 [Zbl 1012.68543]  \\textit{Sj\u00f6land, Thomas; Kreuger, Per; Aronsson, Martin}, Heterogeneous scheduling and rotation, 655-675 [Zbl 1012.68542]","type":"string"},"datatype":"string"},"type":"statement","id":"Q701693$087B4EED-609F-4AD2-A41E-43115556E2F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701693$4ADFFD13-6113-4F7B-B159-77DE7EF3116B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701693$23ED5106-0846-4C38-8C80-6058A40A185B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701693$1DE9BA9B-0530-4A82-810B-A8CDBAF3364C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701693$E0E570EB-7F8A-4C6A-B606-6424DD8CA8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701693$3A203B65-9BC1-4A40-BC94-6CE89292FDE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"792ee7b821292ad8f55e2d9776a38ab7289ee23f","datavalue":{"value":"1824867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701693$3A4E239B-4D0F-436A-9389-01750A84E79A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd031671ade5ded8e55b1b60bafd1349f9e60ad2","datavalue":{"value":"Computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q701693$B2517418-601E-4254-9A32-98AD32114DBD","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":"Q701693$B52E1A15-AB81-4D2F-84E5-48D45941F92D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9b160bcca5520e9ba37304de287c4cb1ecbc3cc","datavalue":{"value":"https://doi.org/10.1007/3-540-45628-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q701693$4C215B71-C004-424F-B154-602CF763A2FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc081d07adbc8cae45bd1b748ab005d1c9a689cd","datavalue":{"value":"W2497449838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701693$3CA78AEC-26F1-4ABF-AE11-51A5F93FEC9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 1","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computational_logic:_logic_programming_and_beyond._Essays_in_honour_of_Robert_A._Kowalski._Part_1"}}}}}