{"entities":{"Q1374458":{"pageid":1385198,"ns":120,"title":"Item:Q1374458","lastrevid":67272618,"modified":"2026-04-12T16:31:17Z","type":"item","id":"Q1374458","labels":{"en":{"language":"en","value":"Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1094958"}},"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":"Q1374458$070FAB86-999F-4317-9D98-2B4C1A3E5EA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c83b4a35bb93efc38c33cbbce869ed5621c86e1","datavalue":{"value":{"text":"Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1374458$3EBEE4FB-C9E0-48A9-B363-4941AA474604","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d25a14c108767312761bbcc2110cba9fe4f30164","datavalue":{"value":"0878.00079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374458$3B497552-BE15-4C43-9146-078851319059","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74651bcaad39c1a6a4df2baf083182567b3fdffa","datavalue":{"value":"10.1007/3-540-63875-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374458$F23DC8DB-ED0A-4807-8C0E-943D8CA46D7F","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":"Q1374458$6C6A6A74-7053-47A2-B75B-1F2393C7D6EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbc1e30ba642bfe0ed5794e9c5c1362a63a51bb6","datavalue":{"value":{"time":"+1997-12-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":"Q1374458$B209F43E-49DE-42C1-8DF2-19B72941812C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"27231f6880c0b44586bcd3ddcef59ad48541d3eb","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding conference (2nd, 1996) has been announced (see Zbl 0855.00037).  Indexed articles:  \\textit{Merz, Stephan}, Rules for abstraction, 32-45 [Zbl 0899.03013]  \\textit{Ramanujam, R.}, Rules for trace consistent reasoning, 57-71 [Zbl 0918.03016]  \\textit{Harao, Masateru}, Proof discovery in LK system by analogy, 197-211 [Zbl 0899.03012]  \\textit{Boudol, G\u00e9rard}, Typing the use of resources in a concurrent calculus, 240-253 [Zbl 0891.03009]  \\textit{Hasegawa, Ryu}, An analysis of divisibility orderings and recursive path orderings, 283-296 [Zbl 0890.18002]  \\textit{Fujita, Ken-etsu}, Calculus of classical proofs. I, 321-335 [Zbl 0890.03028]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374458$83675E5C-4A23-4420-9F30-E2E24F91A159","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374458$CD083511-CAEB-4DD8-A729-DBDF8E291CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374458$CB2126CC-36B0-4294-BC19-0E5886E673DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf7723bf5d18fb36f7229ae89d4613e20b90581d","datavalue":{"value":"1094958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1374458$A4462909-0B48-4CD5-A47C-E42A3A83BB21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3183a14516ed50669f0c1da8e70a7204525c14db","datavalue":{"value":"Kathmandu (Nepal)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374458$697D024D-9B5A-4B62-9258-94C666BFC0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374458$46683134-8591-4AFD-8A69-6586FAECA5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374458$73FFF638-D4B2-48B8-BAEF-0098C4E923C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86862ed17dc93fa0183b3a71f945fc574d40062","datavalue":{"value":"ASIAN '97","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374458$626CC25D-30CA-485F-B64D-232B4B98EC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b07b7346a83a966cf9a748e3df88a1a5dafbba","datavalue":{"value":"Computing science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1374458$7C272E59-1235-48B5-8111-5EE7F09620E1","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":"Q1374458$B886E104-020F-4C12-A9EA-5F189A19F814","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e09602dfdc9c96d9a54f20777906eed096a4b91","datavalue":{"value":{"entity-type":"item","numeric-id":1965369,"id":"Q1965369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b14e9c916e39fdd759e0090d8fa50f7a55b33c","datavalue":{"value":{"amount":"+0.8635099","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":"Q1374458$D7E42DD3-DCA6-4E94-AA9B-0A6C4D31AC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e678e37197e51ba713eaf7dbf9564535d40bfa7a","datavalue":{"value":{"entity-type":"item","numeric-id":1273581,"id":"Q1273581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da5d722015f794ba508608237c9c49dff90e114","datavalue":{"value":{"amount":"+0.85299003","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":"Q1374458$7F2C7193-5F5E-4A6F-B2CA-0E781E43F5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e53198faf20c3c6f2189c0710853e218ba83186b","datavalue":{"value":{"entity-type":"item","numeric-id":5249027,"id":"Q5249027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc14a72273055605bddc179b555847d23b0e0be","datavalue":{"value":{"amount":"+0.83052856","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":"Q1374458$B402CEEC-3DCB-45F8-B9D2-3B994A51324F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34df04ab48f0628ee11786deb9d270f4a20b9439","datavalue":{"value":{"entity-type":"item","numeric-id":1591870,"id":"Q1591870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8528dd5743508d6082c38b39e187abc571c0217f","datavalue":{"value":{"amount":"+0.80253524","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":"Q1374458$E87AD2BD-072E-48C1-B77D-0C76655D5596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18c66ec0c9a62295e858f516acea3222cbdb8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1419514,"id":"Q1419514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca02162c79ba9a0e44354661d8f0c30dd7e1e31","datavalue":{"value":{"amount":"+0.78550017","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":"Q1374458$256639A2-1723-43FE-8DAB-C6788C521612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e168d9d84e3916c14fb5c5f38735cf6c528f1b4c","datavalue":{"value":{"entity-type":"item","numeric-id":4940828,"id":"Q4940828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c02bead8caba8ad1b525d408ebc5be127c7e385e","datavalue":{"value":{"amount":"+0.7823553","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":"Q1374458$64BAC387-75EF-49CC-A691-85FF516913C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0b3a73a5114fcd16c4ca92ebabe2eb681e4260","datavalue":{"value":{"entity-type":"item","numeric-id":2701776,"id":"Q2701776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090e9fc65acedf83058c9082f2c997a13f480c90","datavalue":{"value":{"amount":"+0.7796627","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":"Q1374458$24D806A9-64EE-4E45-A382-00287188988C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb901b11fa9f15644aa57b220275e6c826908256","datavalue":{"value":{"entity-type":"item","numeric-id":1395901,"id":"Q1395901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af1d189e9be4b7f954d80f052f2714a13f5306f","datavalue":{"value":{"amount":"+0.7720543","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":"Q1374458$FBB0D65F-830E-4C2E-8612-E0E4A59BBF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63b8990070374f65ca1637af33e8edda0988335","datavalue":{"value":{"entity-type":"item","numeric-id":4698261,"id":"Q4698261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74f6d25a8df3367d49f1699adfc0313473f0a32","datavalue":{"value":{"amount":"+0.7701338","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":"Q1374458$0604B2E4-3D87-469A-9C6B-4D41D5DE4755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f855be669c6678dadb83f9149c64afc7d96e139","datavalue":{"value":{"entity-type":"item","numeric-id":4424179,"id":"Q4424179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5859030e496b115d2838291babfee2d2ac21051","datavalue":{"value":{"amount":"+0.7697968","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":"Q1374458$AD274F5B-2E5D-4E94-A948-C43DD2300ED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Advances_in_computing_science_-_ASIAN_%2797._3rd_Asian_computing_science_conference,_Kathmandu,_Nepal,_December_9--11,_1997._Proceedings"}}}}}