{"entities":{"Q1396693":{"pageid":1407433,"ns":120,"title":"Item:Q1396693","lastrevid":68616873,"modified":"2026-04-13T00:57:11Z","type":"item","id":"Q1396693","labels":{"en":{"language":"en","value":"FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12--14, 2002. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1947274"}},"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":"Q1396693$7A0B4A1C-9E1B-41A0-A610-A6A913A6C643","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c44c9d46c17df2b7152ceba9866c2f4c3fa79eee","datavalue":{"value":{"text":"FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12--14, 2002. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1396693$709A866C-07C2-459A-901A-2F8E6BF98FD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ec1fe10f9b07d58e9fb70d8aff2a4d17abcba7b","datavalue":{"value":"1014.00021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396693$CC99ED23-BAA9-4185-99DF-B82BE3897423","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":"Q1396693$3A9791FC-4F52-4996-8BA3-E7B350CD08DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"371c78a66bb04aa36f866eec753ca0ef83c2657b","datavalue":{"value":{"time":"+2003-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1396693$8DC9F50C-E1C5-4F46-9296-94C464B23999","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd88353cfe6c7b7424eaa4d2d96051cecf9e7a77","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2556.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1396693$9A620AAC-ADF9-4D84-BFAF-7BA5887CAC90","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c3960a0356e4a053c1ece41909bb2ec7971750f1","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0977.00041).  Indexed articles:  \\textit{Lenstra, H. W. jun.}, Primality testing with Gaussian periods, 1 [Zbl 1027.68984]  \\textit{Mairson, Harry G.}, From Hilbert spaces to Dilbert spaces: Context semantics made simple, 2-17 [Zbl 1027.68080]  \\textit{Miller, Dale; Tiu, Alwen}, Encoding generic judgments, 18-32 [Zbl 1027.68032]  \\textit{Ong, C.-H. L.}, Model checking Algol-like languages using game semantics, 33-36 [Zbl 1027.68615]  \\textit{Veanes, Margus}, Modeling software: From theory to practice, 37-46 [Zbl 1027.68524]  \\textit{Adsul, Bharat; Sohoni, Milind}, Local normal forms for logics over traces, 47-58 [Zbl 1027.68085]  \\textit{B\u00f6ckenhauer, Hans-Joachim; Bongartz, Dirk; Hromkovi\u010d, Juraj; Klasing, Ralf; Proietti, Guido; Seibert, Sebastian; Unger, Walter}, On the hardness of constructing minimal 2-connected spanning subgraphs in complete graphs with sharpened triangle inequality, 59-70 [Zbl 1027.68097]  \\textit{Bugliesi, Michele; Crafa, Silvia; Merro, Massimo; Sassone, Vladimiro}, Communication interference in mobile boxed ambients, 71-84 [Zbl 1027.68086]  \\textit{Castagna, Giuseppe; Zappa Nardelli, Francesco}, The seal calculus revisited: Contextual equivalence and bisimilarity, 85-96 [Zbl 1027.68088]  \\textit{Crazzolara, Federico; Winskel, Glynn}, Composing strand spaces, 97-108 [Zbl 1027.68089]  \\textit{Dawar, A.; Kreutzer, S.}, Generalising automaticity to modal properties of finite structures, 109-120 [Zbl 1027.68081]  \\textit{Demri, St\u00e9phane; D'Souza, Deepak}, An automata-theoretic approach to constraint LTL, 121-132 [Zbl 1027.03027]  \\textit{Feigenbaum, Joan; Krishnamurthy, Arvind; Sami, Rahul; Shenker, Scott}, Hardness results for multicast cost sharing, 133-144 [Zbl 1027.68502]  \\textit{Finkel, Alain; Leroux, J\u00e9r\u00f4me}, How to compose Presburger-accelerations: Applications to broadcast protocols, 145-156 [Zbl 1027.68616]  \\textit{Fritz, Carsten; Wilke, Thomas}, State space reductions for alternating B\u00fcchi automata. Quotienting by simulation equivalences, 157-168 [Zbl 1027.68075]  \\textit{Garg, Vijay K.}, Algorithmic combinatorics based on slicing posets, 169-181 [Zbl 1027.68093]  \\textit{Gramm, Jens; Guo, Jiong; Niedermeier, Rolf}, Pattern matching for arc-annotated sequences, 182-193 [Zbl 1027.68653]  \\textit{Heinemann, Bernhard}, Knowledge over dense flows of time (from a hybrid point of view), 194-205 [Zbl 1027.03012]  \\textit{Hoang, Thanh Minh; Thierauf, Thomas}, The complexity of the inertia, 206-217 [Zbl 1027.68063]  \\textit{Jain, Rahul; Radhakrishnan, Jaikumar; Sen, Pranab}, The quantum communication complexity of the pointer chasing problem: The bit version, 218-229 [Zbl 1027.68065]  \\textit{Korovin, Konstantin; Voronkov, Andrei}, The decidability of the first-order theory of the Knuth-Bendix order in the case of unary signatures, 230-240 [Zbl 1027.03007]  \\textit{K\u00fcsters, Ralf; Wilke, Thomas}, Deciding the first level of the \\(\\mu\\)-calculus alternation hierarchy, 241-252 [Zbl 1027.03030]  \\textit{Leucker, Martin; Madhusudan, P.; Mukhopadhyay, Supratik}, Dynamic message sequence charts, 253-264 [Zbl 1027.68082]  \\textit{Maneth, Sebastian}, The complexity of compositions of deterministic tree transducers, 265-276 [Zbl 1027.68078]  \\textit{Mishra, S.; Radhakrishnan, J.; Sivasubramanian, S.}, On the hardness of approximating minimum monopoly problems, 277-288 [Zbl 1027.90100]  \\textit{Mukund, Madhavan}, Hereditary history preserving bisimulation is decidable for trace-labelled systems, 289-300 [Zbl 1027.68090]  \\textit{Naidu, K. V. M.; Ramesh, H.}, Lower bounds for embedding graphs into graphs of smaller characteristic, 301-310 [Zbl 1027.68064]  \\textit{Sabharwal, Yogish; Sharma, Nishant; Sen, Sandeep}, Nearest neighbors search using point location in balls with applications to approximate Voronoi decompositions, 311-323 [Zbl 1027.68042]  \\textit{Sistla, A. Prasad}, Formal languages and algorithms for similarity based retrieval from sequence databases, 324-335 [Zbl 1027.68584]  \\textit{Vogler, Walter; Wollowski, Ralf}, Decomposition in asynchronous circuit design, 336-347 [Zbl 1027.68643]  \\textit{Wood, David R.}, Queue layouts, tree-width, and three-dimensional graph drawing, 348-359 [Zbl 1027.68647]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396693$979222DB-E6E4-43FA-81C6-7DE700BB099C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396693$18E4C49C-E483-4BAC-AFBC-7E6D5CB1009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396693$7F859422-B624-4789-B610-4719E05F1B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396693$D117E38C-B3FC-4D1E-A08D-6F58CE381C60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24fbaff494a82a38dffdf07295e41197035a5364","datavalue":{"value":"1947274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396693$904BB309-BD08-4DF7-BD49-E6BB82F316CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f5e844e95f95700998997f72e1a7c17942913f5","datavalue":{"value":"FST TCS 2002","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396693$0A0C4277-F04F-4D53-B175-9DF4F045D33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a23da274ba1248cc9d6da4b58e3e50594578d8","datavalue":{"value":"Foundations of software technology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396693$54850CA0-5513-4B5D-85CF-608D42317378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c375465c0e95e14e74428516f5dea4f5b18df1be","datavalue":{"value":"Theoretical computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396693$6501A28A-0FFC-4EEE-A70F-D842AE67E9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a86bbc06a4f3e98b7ae05769d23bb9f10bd01932","datavalue":{"value":"Kanpur (India)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1396693$94FB21FE-5F96-4F8D-B2EE-5BC856B5638A","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":"Q1396693$850E018F-E7DF-4345-B122-F364931A5591","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02e048a3a4d224ce465523ee5141935e844cb533","datavalue":{"value":"10.1007/3-540-36206-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396693$A1E324DB-826C-41DD-B421-ACB553D3BE59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c73c11c790bc6cbaaaedf257d8e88b0eced0b2a8","datavalue":{"value":"W2502992539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1396693$DA2E5C44-80DF-4357-8122-AAE3C7937964","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06bb64b637645131bca7eb433481bd7d0a47399","datavalue":{"value":{"entity-type":"item","numeric-id":5952233,"id":"Q5952233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f7a02e60d34173b9d5acd8872a581ed4d50c62","datavalue":{"value":{"amount":"+0.9586474","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":"Q1396693$95F0E3BE-C9ED-4B7F-B7D1-09CF89E224D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1efc465aee5b8532331babb15dc53e678fa775","datavalue":{"value":{"entity-type":"item","numeric-id":1589872,"id":"Q1589872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e11408f8712cf76717038b0ea056ab9dce80e09","datavalue":{"value":{"amount":"+0.95538986","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":"Q1396693$C16E5524-651F-4F4E-A0A8-30BEA06DE38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c298b04dbef2e1018749bc083f9a9a717e00cf6","datavalue":{"value":{"entity-type":"item","numeric-id":1418480,"id":"Q1418480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33841c408f6f705f260489b4f53bf7c453f28f2e","datavalue":{"value":{"amount":"+0.95260215","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":"Q1396693$1902D9D5-1145-439A-83AC-998F13876C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de9f664018dd023016f641eb53f2f0efbd83f4a","datavalue":{"value":{"entity-type":"item","numeric-id":2481643,"id":"Q2481643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652b8e59695f97b6210609d09a1c37a6c2f69946","datavalue":{"value":{"amount":"+0.93904054","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":"Q1396693$D0F654FB-DE31-4F3E-9B46-335B3EE44A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61368567e43a2d9229879989238af0fec5fec8c","datavalue":{"value":{"entity-type":"item","numeric-id":1780839,"id":"Q1780839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567e794d26ca7a5e5f8a36ea7880347d3bb63d5e","datavalue":{"value":{"amount":"+0.9390361","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":"Q1396693$A2FD4FC5-620F-4A1E-B254-487E2ADBD670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25379ac2b1cac57f03a3ca45bb77607ec17fb17","datavalue":{"value":{"entity-type":"item","numeric-id":2508310,"id":"Q2508310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d35daf2d80ca592bbb3e1a235b94fc5d005fdda","datavalue":{"value":{"amount":"+0.92853314","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":"Q1396693$3D84122C-8106-496E-AB29-224C2908336C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0719d03adace4fb4081b9fec4e4ac2fd72977cdd","datavalue":{"value":{"entity-type":"item","numeric-id":2481543,"id":"Q2481543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b54f0868f28687c0a9f49eb55382b018b30453","datavalue":{"value":{"amount":"+0.9259606","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":"Q1396693$2B16DB00-E6EE-4738-B036-518EBBDE648D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf698a09bd3fc467399383e3017149047025258","datavalue":{"value":{"entity-type":"item","numeric-id":2997984,"id":"Q2997984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3795f1ea954ccfe2fdf425ce14481b1cf08ff922","datavalue":{"value":{"amount":"+0.9199743","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":"Q1396693$292E4A29-F346-40CD-8A51-67FB521A3904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762f18c7eaead6eaa2f1fa13c665daa5f557da51","datavalue":{"value":{"entity-type":"item","numeric-id":2997983,"id":"Q2997983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4261d2ca1edb5d3294306f68dd1870373168b4","datavalue":{"value":{"amount":"+0.9063297","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":"Q1396693$4B87E310-D122-4F07-99C0-8AB86F988EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2688a23913b1da2c3739313892330c34324f5d84","datavalue":{"value":{"entity-type":"item","numeric-id":4902564,"id":"Q4902564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0175be86de4eefe08aaf1af5910523593e463652","datavalue":{"value":{"amount":"+0.90414274","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":"Q1396693$0EF31356-111F-490A-9E7A-5922A4B1AF8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12--14, 2002. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FST_TCS_2002:_Foundations_of_software_technology_and_theoretical_computer_science._22nd_conference,_Kanpur,_India,_December_12--14,_2002._Proceedings"}}}}}