{"entities":{"Q1591870":{"pageid":1602610,"ns":120,"title":"Item:Q1591870","lastrevid":74068716,"modified":"2026-04-14T18:15:06Z","type":"item","id":"Q1591870","labels":{"en":{"language":"en","value":"Advances in computing science - ASIAN 2000. 6th Asian computing science conference, Penang, Malaysia, November 25--27, 2000. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1550311"}},"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":"Q1591870$E580E804-8402-4D76-866A-B6AB3E160C9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06845a4ba6463ead957bce9d8d6d9581f20ad8d1","datavalue":{"value":{"text":"Advances in computing science - ASIAN 2000. 6th Asian computing science conference, Penang, Malaysia, November 25--27, 2000. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1591870$6CE9EA0B-D34D-4480-8F74-2B7E385CF3D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b58c67114b021b1fee5d0b9143c79f88506e07cc","datavalue":{"value":"0953.00041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591870$791C699E-F604-4328-9248-3007E3A7F1E4","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":"Q1591870$22A7D42A-EBB8-4A53-B9A6-3DCD1A87500F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6fdae7498f16732bb6263cb197ab1cb910381bb","datavalue":{"value":{"time":"+2001-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1591870$47F7FAA8-EA2F-4353-B6AF-436594524FFA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79b47c68ac21fe6938addb8ca24fc519bd885306","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding conference (5th, 1999) has been reviewed (see Zbl 0931.00045).  Indexed articles:  \\textit{Vuillemin, Jean}, Finite digital synchronous circuits are characterized by 2-algebraic truth tables, 1-12 [Zbl 0987.94049]  \\textit{Jean-Marie, Alain}, Performance evaluation of networks: New problems and challenges, 13-14 [Zbl 0988.68731]  \\textit{Li, Jinyan; Ramamohanarao, Kotagiri; Dong, Guozhu}, Emerging patterns and classification, 15-32 [Zbl 0988.68552]  \\textit{Ettikan, K.; Ganapathy, V.}, IPv6 performance analysis on FreeBSD workstation using simple applications, 33-42 [Zbl 0988.68707]  \\textit{Lee, DongChun; Kim, JeomGoo; Song, JooSeok}, Performance of location caching scheme to support call locality in wireless networks, 43-57 [Zbl 0988.68777]  \\textit{Park, Chong-Won; Han, Young-Yearl}, A practical parity scheme for tolerating triple disk failures in RAID architectures, 58-68 [Zbl 0988.68779]  \\textit{Din, Der-Rong; Tseng, Shian-Shyong; Jiang, Mon-Fong}, Genetic algorithm for extended cell assignment problem in wireless ATM network, 69-87 [Zbl 0988.68699]  \\textit{Dal Zilio, Silvano}, Spatial congruence for ambients is decidable, 88-103 [Zbl 0987.68048]  \\textit{Shim, Choon-Bo; Chang, Jae-Woo}, A spatio-temporal representation scheme for modeling moving objects in video data, 104-118 [Zbl 0988.68765]  \\textit{Kaneko, Keiichi; Suzuki, Yasuto}, Node-to-set disjoint paths problem in rotator graphs, 119-132 [Zbl 0987.68053]  \\textit{Ku\u010dera, Anton\u00edn}, On simulation-checking with sequential systems, 133-148 [Zbl 0987.68045]  \\textit{Huang, Zhiyong; Jiao, Binjia; Prabhakaran, B.; Ruiz, Conrado R. jun.}, Reusing animations in databases for multimedia presentations, 149-161 [Zbl 0988.68738]  \\textit{Verma, Kumar Neeraj; Goubault-Larrecq, Jean; Prasad, Sanjiva; Arun-Kumar, S.}, Reflecting BDDs in Coq, 162-181 [Zbl 0988.68600]  \\textit{Leucker, Martin}, On model checking synchronised hardware circuits, 182-198 [Zbl 0987.68044]  \\textit{Degano, Pierpaolo; Levi, Francesca; Bodei, Chiara}, Safe ambients: Control flow analysis and security, 199-214 [Zbl 0988.68543]  \\textit{Dezani-Ciancaglini, M.; Salvo, I.}, Security types for mobile safe ambients, 215-236 [Zbl 0988.68544]  \\textit{Albert, Elvira; Ferri, C\u00e9sar; Steiner, Frank; Vidal, Germ\u00e1n}, Improving functional logic programs by difference-lists, 237-254 [Zbl 0988.68511]  \\textit{Bhattacharya, U.; Chaki, R.}, A new multihop logical topology for reliable broadband communication, 256-262 [Zbl 0988.68654]  \\textit{Bhattacharya, U.; Chaki, R.}, A new scalable topology for multihop optical networks, 263-272 [Zbl 0988.68655]  \\textit{Kimoto, Masahiro; Takahashi, Masako}, On computable tree functions, 273-289 [Zbl 0987.03039]  \\textit{Lodaya, Kamal}, Sharpening the undecidability of interval temporal logic, 290-298 [Zbl 0987.03015]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591870$750E1B7F-DB8C-4E66-8C98-B926E284EA88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591870$A3953B0A-AEC2-4CEC-A5C4-5683BD9CB929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591870$07935755-58C5-4B5A-AB4E-9FC8A68B7E22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d26dd1e3838c50f43bb4810fd4498af0d4892dd7","datavalue":{"value":"1550311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591870$38E3E85A-7B9D-49AD-A843-7FB20CBD863A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f4baf0e96e0687a3aa20fc01729705af7c53b3","datavalue":{"value":"Penang (Malaysia)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591870$185D85E5-C644-4241-A131-D51FED19152C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591870$6E820F9A-8B3B-4E4F-93A5-7884F705F03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591870$69C2CB53-69FE-4971-9DCC-1A8314939C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"231d5d3a765cf6f5bea00a50666fda51995ea8d6","datavalue":{"value":"ASIAN 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591870$85902256-6DAD-4F79-8367-3254A975DF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b07b7346a83a966cf9a748e3df88a1a5dafbba","datavalue":{"value":"Computing science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591870$7BB540C2-CAB7-4968-A12C-FEFFA372353D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591870$1E02C6B1-50C2-41CC-A0FB-17E45065EF74","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":"Q1591870$33710963-FD38-4E26-88AE-AA1FDE0397D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Advances in computing science - ASIAN 2000. 6th Asian computing science conference, Penang, Malaysia, November 25--27, 2000. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Advances_in_computing_science_-_ASIAN_2000._6th_Asian_computing_science_conference,_Penang,_Malaysia,_November_25--27,_2000._Proceedings"}}}}}