{"entities":{"Q1366802":{"pageid":1377542,"ns":120,"title":"Item:Q1366802","lastrevid":70255431,"modified":"2026-04-13T13:31:40Z","type":"item","id":"Q1366802","labels":{"en":{"language":"en","value":"Theoretical aspects of computer software. 3rd international symposium, TACS '97. Sendai, Japan, September 23--26, 1997. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062126"}},"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":"Q1366802$91C3ADE1-07CE-40A7-BA0E-D0FDE2DDE6B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"387cca4ce7514583f78af90ea03286e5a13957e9","datavalue":{"value":{"text":"Theoretical aspects of computer software. 3rd international symposium, TACS '97. Sendai, Japan, September 23--26, 1997. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1366802$4689426C-FB9C-4446-81D9-F4D8BF26EDD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4e50b8a4d30dd648f8a850c26da02faf321926d","datavalue":{"value":"0871.00032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366802$2FBD6649-6FD3-44F1-8C77-5EB9045A51FD","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":"Q1366802$87E22E3E-D7B6-46B9-835A-33C0DE45A3C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e11d1837707d60adc8ea793d07b0b6f8a320eec","datavalue":{"value":{"time":"+1997-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1366802$D43BFEA2-BD63-4404-ADBE-8509CD158369","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0194394843715fbdddcd22469a10469d955d7e34","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Milner, Robin}, Strong normalisation in higher-order action calculi, 1-19 [Zbl 0885.03035]  \\textit{Garrigue, Jacques; R\u00e9my, Didier}, Extending ML with semi-explicit higher-order polymorphism, 20-46 [Zbl 0885.03032]  \\textit{Aiken, Alexander; Wimmers, Edward L.; Palsberg, Jens}, Optimal representations of polymorphic types with subtyping. (Extended abstract), 47-76 [Zbl 0888.03015]  \\textit{Ariola, Zena M.; Blom, Stefan}, Cyclic lambda calculi, 77-106 [Zbl 0884.03008]  \\textit{Ohori, Atsushi}, Type system for specializing polymorphism, 107-137 [Zbl 0884.03029]  \\textit{Coppo, Mario; Damiani, Ferruccio; Giannini, Paola}, On strictness and totality, 138-164 [Zbl 0884.03028]  \\textit{Lawall, Julia L.; Thiemann, Peter}, Sound specialization in the presence of computational effects, 165-190 [Zbl 0884.03011]  \\textit{Kinoshita, Yoshiki; O'Hearn, Peter W.; Power, A. John; Takeyama, Makoto; Tennent, Robert D.}, An axiomatic approach to binary logical relations with applications to data refinement, 191-212 [Zbl 0882.18006]  \\textit{Bonsangue, Marcello M.; Kok, Joost N.}, Infinitary domain logic for finitary transition systems, 213-232 [Zbl 0885.03030]  \\textit{L\u00e9vy, Jean-Jacques}, Some results in the join-calculus, 233-249 [Zbl 0885.03033]  \\textit{Rathke, J.; Hennessy, M.}, Local model checking for value-passing processes. (Extended abstract), 250-266 [Zbl 0885.03021]  \\textit{Abramsky, Samson; Gay, Simon; Nagarajan, Rajagopal}, A type-theoretic approach to deadlock-freedom of asynchronous systems, 295-320 [Zbl 0882.18002]  \\textit{Barbanera, Franco; Berardi, Stefano; Schivalocchi, Massimo}, ``Classical'' programming-with-proofs in \\(\\lambda_{\\text{PA}}^{\\text{Sym}}\\): An analysis of non-confluence, 365-390 [Zbl 0885.03029]  \\textit{Power, John; Thielecke, Hayo}, Environments, continuation semantics and indexed categories, 391-414 [Zbl 0882.18007]  \\textit{Poll, Erik}, System \\(F\\) with width-subtyping and record updating, 439-457 [Zbl 0884.03013]  \\textit{Birkedal, Lars; Harper, Robert}, Relational interpretations of recursive types in an operational setting, 458-490 [Zbl 0888.03016]  \\textit{Matthews, Se\u00e1n}, Extending a logical framework with a modal connective for validity, 491-514 [Zbl 1043.03515]  \\textit{Werner, Benjamin}, Sets in types, types in sets, 530-546 [Zbl 0885.03017]  \\textit{Mayr, Richard}, Combining Petri nets and PA-processes, 547-561 [Zbl 0886.68102]  \\textit{Gardner, Philippa; Hasegawa, Masahito}, Types and models for higher-order action calculi, 583-603 [Zbl 0885.03036]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366802$86E8ACC8-1898-4D1E-9858-82ACDB939871","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366802$29970EC7-EA7C-4078-B5EF-2B62E144F9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366802$AF2C4528-49B8-4FBE-8794-244EC6A4396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366802$C6152447-EC72-4E6A-96BA-75F8B85DCD65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"923b2287cb42431ae618163c7b82ca291d686556","datavalue":{"value":"1062126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366802$72B8496F-1FEA-457D-81E0-CE926238AC2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ba519637b12b6ab904b6c351a74600841614b9","datavalue":{"value":"Sendai (Japan)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366802$57E634D4-DCF6-42A8-9216-35AAB13BA25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366802$2FB4BA01-CB5E-4ED5-A59E-DC33C41506FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366802$1B5C0AB9-5A5E-40A3-9082-0A216A9970A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0476de9f7683a80d16cedd2fd16ebd681233e4fc","datavalue":{"value":"Computer software","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366802$68969064-FB4D-4A6F-9CA2-BDCA0729F5F2","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":"Q1366802$812136AA-6E7B-41F3-8C6D-BCC10DC52535","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7f1e2a706870259b71321e2f7d7b196746115af","datavalue":{"value":"10.1007/BFB0014544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366802$757C106F-7E0F-4ABE-AC87-5EDBDB6DD707","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e04a06180b285f4465aef1ae734386212b18a4","datavalue":{"value":{"entity-type":"item","numeric-id":1202074,"id":"Q1202074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5213ddfde7ea5ee83fceaefa5c3568f609440ac3","datavalue":{"value":{"amount":"+0.9582765","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":"Q1366802$0D8825FA-9CAD-426E-86B6-20365D113FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c624f6a1f09e6d951781af1bd929684c65d8e367","datavalue":{"value":{"entity-type":"item","numeric-id":1320425,"id":"Q1320425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957c45a448340aea14c2aad9f3f5dc9db46637f8","datavalue":{"value":{"amount":"+0.95602536","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":"Q1366802$B1D19C17-0BA7-4BCB-BAF1-7847E5BBE02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89077f980f0a65933e04a399a3c6f7b6449acb90","datavalue":{"value":{"entity-type":"item","numeric-id":1880418,"id":"Q1880418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a36a88f8f0466c77a0797d7a74658e4147c920","datavalue":{"value":{"amount":"+0.95508546","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":"Q1366802$74F517B6-8E79-476F-AF3C-48FA1A38056F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f107214023aa00d3369636a524f455479bb9fbdd","datavalue":{"value":{"entity-type":"item","numeric-id":4287788,"id":"Q4287788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703a1aa231500834bd8a82a0d9e4339847251236","datavalue":{"value":{"amount":"+0.9086802","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":"Q1366802$BACA5613-4BCC-4519-9690-BACD9C5A6D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31c0bdbac54e4fdd3480bf6b5b577d9fd8a55fe","datavalue":{"value":{"entity-type":"item","numeric-id":4291310,"id":"Q4291310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5381337a1349ad8568de0ec3ead7fe97e8a2bbb1","datavalue":{"value":{"amount":"+0.9036565","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":"Q1366802$5BB83AA5-74ED-44E9-B72E-7B215BA0863E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fd233a42ac84474c917a5bc05aa97ea1ec4f684","datavalue":{"value":{"entity-type":"item","numeric-id":1578446,"id":"Q1578446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22332edebbf94038baa982233002c2645e7146a","datavalue":{"value":{"amount":"+0.8227098","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":"Q1366802$AA3AF066-27ED-4C4A-967B-8CB9DF4135B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da9dd4298ed05f1a94232b26022de1bc1687815","datavalue":{"value":{"entity-type":"item","numeric-id":1374896,"id":"Q1374896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea56c6277fa9af19526b6b5aebe0acff8291a211","datavalue":{"value":{"amount":"+0.8183808","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":"Q1366802$E0565834-AE67-4FE8-947B-B29331F62879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85dd96a6bcebb94a4cf787679e7c648fa6a118fc","datavalue":{"value":{"entity-type":"item","numeric-id":3343934,"id":"Q3343934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b638be0bb0376f4ff030aff12dac993eb7305ba5","datavalue":{"value":{"amount":"+0.8182171","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":"Q1366802$6FFA53A9-06A3-45C2-A535-6CD796E03CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976e1421c33a6c8d7fed6943e4e794aa4d1ea861","datavalue":{"value":{"entity-type":"item","numeric-id":1365672,"id":"Q1365672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd73dc6c7c7421557b840ae78790986635e27f71","datavalue":{"value":{"amount":"+0.8145991","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":"Q1366802$33D3957B-B5FB-400F-9312-569CBCC70BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a7f5083ad3152572daea5755ea27dc1f8df6d1","datavalue":{"value":{"entity-type":"item","numeric-id":4040170,"id":"Q4040170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487a29b33ea6ecd60f8273386745b0ed8e641125","datavalue":{"value":{"amount":"+0.81303257","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":"Q1366802$2D8FA2EB-8B77-4DA0-9CC8-743E43931DC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theoretical aspects of computer software. 3rd international symposium, TACS '97. Sendai, Japan, September 23--26, 1997. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theoretical_aspects_of_computer_software._3rd_international_symposium,_TACS_%2797._Sendai,_Japan,_September_23--26,_1997._Proceedings"}}}}}