{"entities":{"Q1884008":{"pageid":1894750,"ns":120,"title":"Item:Q1884008","lastrevid":73705206,"modified":"2026-04-14T16:58:50Z","type":"item","id":"Q1884008","labels":{"en":{"language":"en","value":"Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7--9, 2004. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2109368"}},"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":"Q1884008$19EB3639-53DF-4F41-9896-BE78447B3FE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f42900d4d2bd8011a865d30b66bd109c48a4de11","datavalue":{"value":{"text":"Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7--9, 2004. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1884008$9F9393F7-0051-4EB9-A7A5-20EA0015334A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c6a7a27b588a89725155e3b8f6174b953f406c6","datavalue":{"value":"1048.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884008$2D821FEF-6EDC-43A4-87BA-3F087BD93E30","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":"Q1884008$CC657482-C748-4E76-A966-DA5A7C7D830B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1fc9660edc8b3cb7297987537c2c9c6ca4e5fa3","datavalue":{"value":{"time":"+2004-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1884008$83AF3249-7EE8-4A19-A3DE-C90BDDBFEDF4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f01480459dbbd6573f0bc101f4f0d6bbf90abf41","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding symposium has been reviewed (see Zbl 0997.00028).  Indexed articles:  \\textit{Selinger, Peter}, A brief survey of quantum programming languages, 1-6 [Zbl 1122.68359]  \\textit{Hagiya, Masami; Takahashi, Koichi; Yamamoto, Mitsuharu; Sato, Takahiro}, Analysis of synchronous and asynchronous cellular automata using abstraction by temporal logic, 7-21 [Zbl 1122.68473]  \\textit{Sch\u00fcrmann, Carsten}, Twelf and Delphin: logic and functional programming in a meta-logical framework, 22-23 [Zbl 1122.68391]  \\textit{Pemmasani, Giridhar; Guo, Hai-Feng; Dong, Yifei; Ramakrishnan, C. R.; Ramakrishnan, I. V.}, Online justification for tabled logic programs, 24-38 [Zbl 1122.68386]  \\textit{Mu\u00f1oz-Hern\u00e1ndez, Susana; Mari\u00f1o, Julio; Moreno-Navarro, Juan Jos\u00e9}, Constructive intensional negation, 39-54 [Zbl 1122.68382]  \\textit{Juli\u00e1n Iranzo, Pascual; Villamizar Lamus, Christian}, Analysing definitional trees: looking for determinism, 55-69 [Zbl 1122.68374]  \\textit{Caballero, Rafael; Rodr\u00edguez-Artalejo, Mario}, \\(\\mathcal{DDT}\\): a declarative debugging tool for functional-logic languages, 70-84 [Zbl 1122.68366]  \\textit{Craig, Stephen-John; Leuschel, Michael}, LIX: an effective self-applicable partial evaluator for Prolog, 85-99 [Zbl 1122.68367]  \\textit{Bueno, Francisco; L\u00f3pez-Garc\u00eda, Pedro; Hermenegildo, Manuel}, Multivariant non-failure analysis via standard abstract interpretation, 100-116 [Zbl 1122.68365]  \\textit{Bueno, Francisco; Garcia de la Banda, Maria}, Set-sharing is not always redundant for pair-sharing, 117-131 [Zbl 1122.68364]  \\textit{Lu, Lunjin; King, Andy}, Backward pair sharing analysis, 132-146 [Zbl 1122.68379]  \\textit{Escobar, Santiago}, Implementing natural rewriting and narrowing efficiently, 147-162 [Zbl 1122.68371]  \\textit{Ogawa, Mizuhito}, Complete axiomatization of an algebraic construction of graphs, 163-179 [Zbl 1122.68483]  \\textit{van Oostrom, Vincent}, Sub-Birkhoff, 180-195 [Zbl 1122.68461]  \\textit{Garrigue, Jacques}, Relaxing the value restriction, 196-213 [Zbl 1122.68398]  \\textit{Hirschowitz, Tom}, Rigid mixin modules, 214-228 [Zbl 1122.68400]  \\textit{Hasegawa, Masahito}, Semantics of linear continuation-passing in call-by-name, 229-243 [Zbl 1122.68399]  \\textit{Kikuchi, Kentaro}, A direct proof of strong normalization for an extended Herbelin's calculus, 244-259 [Zbl 1122.03311]  \\textit{Altenkirch, Thorsten; Uustalu, Tarmo}, Normalization by evaluation for \\(\\lambda ^{\\rightarrow 2}\\), 260-275 [Zbl 1122.68393]  \\textit{Kahl, Wolfram}, Basic pattern matching calculi: a fresh view on matching failure, 276-290 [Zbl 1122.68395]  \\textit{Gl\u00fcck, Robert; Kawabe, Masahiko}, Derivation of deterministic inverse programs based on LR parsing, 291-306 [Zbl 1122.68394]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1884008$7A6BFEA6-C75B-449B-BAE7-DBF3208F9414","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884008$C354F07F-0CBA-4684-B070-DC7E178357DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884008$4123F45F-AB68-4692-BB2B-7860814F2450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884008$1D4F608C-1735-4861-80CF-560537518C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884008$EC656D24-6A47-4472-A070-CAD3852FF756","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a24f5b7f7186a74af374c693287033c57f42798","datavalue":{"value":"2109368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884008$6486748C-9713-4D95-85A6-A9D472B89D34","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":"Q1884008$D0C3441B-E4EE-446C-BFF7-36AB2A8FF3A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c01f8d341f70c476aab311eb797ad9c6a45f422f","datavalue":{"value":"https://doi.org/10.1007/b96926","type":"string"},"datatype":"url"},"type":"statement","id":"Q1884008$66558FD4-D0C6-4590-B3CE-D304704F7A47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c30ec90fff6a758b088a799ded399c9df7c6c6fe","datavalue":{"value":"W2506581943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884008$BB12C6A1-F914-4EC8-ADD9-3BC4854B3938","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"332860e9139d519bb4e6ef63072766bdc8e449c4","datavalue":{"value":"10.1007/B96926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1884008$6A1FA5B3-4829-43B1-991B-9B0ED4941E6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7--9, 2004. Proceedings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_and_logic_programming._7th_international_symposium,_FLOPS_2004,_Nara,_Japan,_April_7--9,_2004._Proceedings."}}}}}