{"entities":{"Q701690":{"pageid":703539,"ns":120,"title":"Item:Q701690","lastrevid":63814701,"modified":"2026-04-11T15:43:36Z","type":"item","id":"Q701690","labels":{"en":{"language":"en","value":"Functional and logic programming. 6th international symposium, FLOPS 2002, Aizu, Japan, September 15--17, 2002. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1824864"}},"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":"Q701690$F657E4EF-C625-453F-9EB0-3ADA08C17649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dde4cbeff7bcc364d9e6aab874a5a30929ef9164","datavalue":{"value":{"text":"Functional and logic programming. 6th international symposium, FLOPS 2002, Aizu, Japan, September 15--17, 2002. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701690$05BE1F80-36C6-45FD-8FC4-4A778D5B4071","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad08606e8e0bfc92ab609f8e194b1a9f90809ac9","datavalue":{"value":"0997.00028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701690$02F80535-01D4-4D29-B517-90DC45D10735","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8948abf112988de3efcd698b440ef0b994d2d2fb","datavalue":{"value":"10.1007/3-540-45788-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701690$0126EBC1-E386-4C5F-AE21-A6C4A96B8A20","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":"Q701690$CAEBC8BD-8CF1-4F6B-AC19-7315FDB124EA","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":"Q701690$E038518B-886E-4820-A606-D2C2DBE42E10","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b45037adc8357f0b6f3cdf0d2ed59d8f7d1a6e6","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding symposium (5th, 2001) has been reviewed (see Zbl 0958.00038).  Indexed articles:  \\textit{Futatsugi, Kokichi}, Formal methods in CafeOBJ, 1-20 [Zbl 1019.68523]  \\textit{Sim\u00e9on, J\u00e9r\u00f4me; Wadler, Philip}, The essence of XML (Preliminary version), 21-46 [Zbl 1019.68511]  \\textit{Garc\u00eda de la Banda, Mar\u00eda; Demoen, Bart; Marriott, Kim; Stuckey, Peter J.}, To the gates of HAL: A HAL tutorial, 47-66 [Zbl 1019.68514]  \\textit{Antoy, Sergio; Hanus, Michael}, Functional logic design patterns, 67-87 [Zbl 1019.68512]  \\textit{Meer, Klaus}, On consistency and width notions for constraint programs with algebraic constraints, 88-102 [Zbl 1019.68516]  \\textit{Garc\u00eda-D\u00edaz, Miguel; Nieva, Susana}, Solving mixed quantified constraints over a domain based on \\({\\mathcal R}\\)eal numbers and \\({\\mathcal H}\\)erbrand terms, 103-118 [Zbl 1019.68017]  \\textit{Iranzo, Pascual Juli\u00e1n}, On the correctness of the factoring transformation, 119-133 [Zbl 1019.68515]  \\textit{Danvy, Olivier; Schultz, Ulrik P.}, Lambda-lifting in quadratic time, 134-151 [Zbl 1019.68522]  \\textit{Loyer, Yann; Straccia, Umberto}, The well-founded semantics in normal logic programs with uncertainty, 152-166 [Zbl 1019.68019]  \\textit{Hasegawa, Masahito}, Linearly used effects: Monadic and CPS transformations into the linear lambda calculus, 167-182 [Zbl 1019.68020]  \\textit{Barbosa, Lu\u00eds Soares; Oliveira, Jos\u00e9 Nuno}, Coinductive interpreters for process calculi, 183-197 [Zbl 1019.68519]  \\textit{Kasuya, Hideto; Sakai, Masahiko; Agusa, Kiyoshi}, Descendants and head normalization of higher-order rewrite systems, 198-211 [Zbl 1019.68049]  \\textit{L\u00f3pez-Fraguas, Francisco Javier; S\u00e1nchez-Hern\u00e1ndez, Jaime}, Narrowing failure in functional logic programming, 212-227 [Zbl 1019.68018]  \\textit{Pettersson, Mikael; Sagonas, Konstantinos; Johansson, Erik}, The HiPE/x86 Erlang compiler: System description and performance evaluation, 228-244 [Zbl 1019.68521]  \\textit{Caballero, Rafael; L\u00f3pez-Fraguas, Francisco Javier}, Dynamic-cut with definitional trees, 245-258 [Zbl 1019.68513]  \\textit{Smaus, Jan-Georg}, The head condition and polymorphic recursion, 259-274 [Zbl 1019.68518]  \\textit{Porto, Ant\u00f3nio}, Structural abstraction and application in logic programming, 275-289 [Zbl 1019.68517]  \\textit{Sumii, Eijiro; Bannai, Hideo}, VM\\(\\lambda\\): A functional calculus for scientific discovery, 290-304 [Zbl 1019.68520]","type":"string"},"datatype":"string"},"type":"statement","id":"Q701690$289536EB-C968-473A-9E41-2E8C858B045E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701690$BE97F63C-89DA-46A6-A8CB-E97B18E6D5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701690$38895D62-56A6-4142-B833-9B9B1EF233B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701690$51A90C6E-0F98-486B-9BF2-1CDADABD19AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701690$8BB83D03-93F5-49D7-A8EE-E7417BFD21E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae4dbe805fb74e0bd4d62e9b9d8cf0ef23807e63","datavalue":{"value":"1824864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701690$84E711F8-1CF9-4411-B49E-E0BB9362196A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"292fed29f217e455c78d725b162874cd640ea727","datavalue":{"value":"Aizu (Japan)","type":"string"},"datatype":"string"},"type":"statement","id":"Q701690$038CFF47-510E-4D86-8DD2-EDDFD67F766F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q701690$14433633-B401-4ECF-9C33-BBFEE49E3DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q701690$DA1F1661-5B5D-4CBF-B430-DB82472447CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"059197119551d8bb3491ba5547f0b692f79b47ad","datavalue":{"value":"FLOPS 2002","type":"string"},"datatype":"string"},"type":"statement","id":"Q701690$55D39315-B2C7-4194-B7EA-7B720FB2E80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18980cb82f71b0485231a608a132def1ee64925","datavalue":{"value":"Functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q701690$369BAFE4-6B4C-433D-BCA4-ED02AF66444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q701690$6CD3EF33-BC7B-4D67-AF3D-7D0CE3DA0CDA","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":"Q701690$14E77FFC-C1EF-4D07-BF8E-DB47A8E1A7E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42b5298c87ee512ace640d520cb50af8218b7d0c","datavalue":{"value":"https://doi.org/10.1007/3-540-45788-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q701690$366D4EEB-F88A-45A4-A53A-71670472790F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"534a4f5cd4b2af93eb5ca9b85237eae6723487fa","datavalue":{"value":"W2487475959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701690$454C4EDC-1CD1-4C0E-8381-C13596FA373A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ef8d85cb107f962636fc1fcf58db0fb7192748a0","datavalue":{"value":"Q62048186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701690$3CBEC5B8-32A0-4F0F-8CA6-C50F635D6384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional and logic programming. 6th international symposium, FLOPS 2002, Aizu, Japan, September 15--17, 2002. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_and_logic_programming._6th_international_symposium,_FLOPS_2002,_Aizu,_Japan,_September_15--17,_2002._Proceedings"}}}}}