{"entities":{"Q1819259":{"pageid":1830001,"ns":120,"title":"Item:Q1819259","lastrevid":73027977,"modified":"2026-04-14T09:29:56Z","type":"item","id":"Q1819259","labels":{"en":{"language":"en","value":"Principles and practice of declarative programming. International conference PPDP '99. Paris, France, September 29--October 1, 1999. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1385855"}},"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":"Q1819259$F734892F-1DAB-4AE7-88F3-22775098DA78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b6274eceb6a29f637248a6f1979e27d10cf5828","datavalue":{"value":{"text":"Principles and practice of declarative programming. International conference PPDP '99. Paris, France, September 29--October 1, 1999. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819259$3CB37C16-FFFC-445D-8BCA-00DDFCAF58C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ecf65edaaab7d524f4cdd9242546a8b20d652b0","datavalue":{"value":"0929.00069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819259$D2892C75-9F9D-4355-B43F-4983350D24C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a07396810c81401fc75630c5037790ea5d6b34a","datavalue":{"value":"10.1007/10704567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819259$BFDA05A4-BF97-44FF-9DBC-AA02B56C8CFC","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":"Q1819259$997B9876-A8F1-40D2-BB35-525F076414E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2106fe7affcbcd2ed1808818cd2fea9245c9c826","datavalue":{"value":{"time":"+2000-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":"Q1819259$77DB0E2F-896A-45D2-9F2F-360D0A559007","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad470e93170b8b28bfbc8160b18d89365f1aa83a","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Kamareddine, Fairouz; Monin, Fran\u00e7ois}, On formalised proofs of termination of recursive functions, 29-46 [Zbl 0956.68135]  \\textit{Kusakari, Keiichirou; Nakamura, Masaki; Toyama, Yoshihito}, Argument filtering transformation, 47-61 [Zbl 0953.68068]  \\textit{Arenas-S\u00e1nchez, Puri; L\u00f3pez-Fraguas, F. J.; Rodr\u00edguez-Artalejo, M.}, Functional plus logic programming with built-in and symbolic constraints, 152-169 [Zbl 0953.68033]  \\textit{Fern\u00e1ndez, Maribel; Mackie, Ian}, A calculus for interaction nets, 170-187 [Zbl 0953.68069]  \\textit{Gori, Roberta; Levi, Giorgio}, On the verification of finite failure, 311-327 [Zbl 0953.68083]  \\textit{Verbaeten, Sofie; Sagonas, Konstantinos; De Schreye, Danny}, Modular termination proofs for prolog with tabling, 342-359 [Zbl 0956.68022]  \\textit{Filinski, Andrzej}, A semantic account of type-directed partial evaluation, 378-395 [Zbl 0953.68034]  \\textit{Roychoudhury, Abhik; Narayan Kumar, K.; Ramakrishnan, C. R.; Ramakrishnan, I. V.}, A parameterized unfold/fold transformation framework for definite logic programs, 396-413 [Zbl 0953.68031]  \\textit{Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M.}, Widening sharing, 414-431 [Zbl 0956.68023]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819259$297699B1-9014-4D69-960D-7E86F9A7A5F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819259$C354321E-36A5-4AC6-B304-1ACDE48B0167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819259$B0F11134-CF42-4EED-BD10-4D0E773DCE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819259$74BF52F0-C206-4B15-A32E-E641ADF24335","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97d9d4f1d36b4ab326e3ec0cd178fcee7c5a241a","datavalue":{"value":"1385855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819259$E7B0020F-98F1-478B-BA07-C6DC8E341C75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f3e15ac9e86afcca52f0008f9a9b51ca2ef38e","datavalue":{"value":"Paris (France)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819259$151FAB37-0DD1-4A9A-A743-474256B0C968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819259$675896A7-5237-42A6-BE0E-6EC5F3D43A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819259$A6108B88-F182-42EC-8969-841B9E064EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa95e6e48e56d84bd18cd5c7d2a39065f58770c","datavalue":{"value":"PPDP '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819259$A211D607-4AB3-45F5-A859-B0B6AC3C4E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c9bcbb5fb583c57d3397855a9c815bdfcd53b88","datavalue":{"value":"Declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819259$FA31C12F-AAAA-4F22-A73E-E665A01238C1","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":"Q1819259$40F25FD6-3C40-4D3E-83A6-73AB358DF1BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7404dd8c0c9120ba4b1aa5a95750b114090843c","datavalue":{"value":"https://doi.org/10.1007/10704567","type":"string"},"datatype":"url"},"type":"statement","id":"Q1819259$5990433B-C200-4CE7-A700-2C665FD1EC57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be7ea4f1e7c63ab58e30613394a713d3aea1b5cd","datavalue":{"value":"W2491204390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819259$E8A40853-8020-4D38-8E61-13B43D7A57A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principles and practice of declarative programming. International conference PPDP '99. Paris, France, September 29--October 1, 1999. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principles_and_practice_of_declarative_programming._International_conference_PPDP_%2799._Paris,_France,_September_29--October_1,_1999._Proceedings"}}}}}