{"entities":{"Q1265642":{"pageid":1276392,"ns":120,"title":"Item:Q1265642","lastrevid":67160529,"modified":"2026-04-12T15:42:14Z","type":"item","id":"Q1265642","labels":{"en":{"language":"en","value":"Principles of declarative programming. 10th international symposium, PLILP '98. Held jointly with the 6th international conference, ALP '98, Pisa, Italy, September 16--18, 1998. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1201060"}},"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":"Q1265642$6F9A3B1F-B3CA-4D3D-855D-7019191650E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c06de7b4cbbd9906d7c4eac9b8a8bed86176111","datavalue":{"value":{"text":"Principles of declarative programming. 10th international symposium, PLILP '98. Held jointly with the 6th international conference, ALP '98, Pisa, Italy, September 16--18, 1998. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1265642$20EBA1F7-87FD-4EA4-99B8-4E44161124B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2a018b5e3c500838c44640ec46673ee8d4850a6","datavalue":{"value":"0896.00029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265642$5D1493B2-1959-4388-92ED-223BB6A7F24B","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":"Q1265642$76006AB2-6611-4EB4-9983-676A799BA6B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"999f03c13835e1923a8e900c7129f49e6e75be1c","datavalue":{"value":{"time":"+1998-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1265642$21F1D389-8E61-408E-A975-FF11DD11C1F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47a990c23a6a63aa68825405b798a119928a988b","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding conference (9th, 1997) has been announced in the database Lecture Notes in Computer Science.  Indexed articles:  \\textit{Vanhoof, Wim; De Schreye, Danny; Martens, Bern}, A framework for bottom up specialisation of logic programs, 54-72 [Zbl 0910.68041]  \\textit{Codish, Michael; S\u00f8ndergaard, Harald}, The Boolean logic of set sharing analysis, 89-101 [Zbl 0910.68042]  \\textit{Levi, Giorgio; Volpe, Paolo}, Derivation of proof methods by abstract interpretation, 102-117 [Zbl 0910.68043]  \\textit{Kesner, Delia; Mart\u00ednez-L\u00f3pez, Pablo E.}, Explicit substitutions for objects and functions, 195-212 [Zbl 0914.03038]  \\textit{Aoto, Takahito}, Solution to the problem of Zantema on a persistent property of term rewriting systems, 250-265 [Zbl 0910.68104]  \\textit{Limet, S\u00e9bastien; Saubion, Fr\u00e9d\u00e9ric}, A general framework for \\(R\\)-unification problems, 266-281 [Zbl 0910.68105]  \\textit{Lipton, James; McGrail, Robert}, Encapsulating data in logic programming via categorical constraints, 391-410 [Zbl 0947.03045]  \\textit{Goguen, Joseph A.; Malcolm, Grant; Kemp, Tom}, A hidden Herbrand theorem, 445-462 [Zbl 0926.03034]  \\textit{Ajili, Farid; Lock, Hendrik C. R.}, Integrating constraint propagation in complete solving of linear diophantine systems, 463-480 [Zbl 0913.11058]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265642$117A611C-C1F0-4B97-BC4C-2EAEBCD4277F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265642$5FB4E563-C097-4CD1-AFFE-19838A494AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265642$52A8BBB0-9080-4B8A-941C-D78DB2AD56E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb27f5fbfd0f4cc1dee2145d6c1c068266b50c44","datavalue":{"value":"1201060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265642$9961610F-5B16-430C-86B9-F19011321BBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be671bcb22f52be134eebf591407b0daf9154a9","datavalue":{"value":"Pisa (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265642$94D626E7-2232-4535-A3DC-26FC005572F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265642$F292C987-905D-4946-ADF8-ECE4ABA080BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265642$F608376A-7588-4B54-96A9-9C472E0435E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"108640db8fe10fcc938e155c3574ce743f083477","datavalue":{"value":"PLILP '98","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265642$F099E3A5-26BD-49B9-A7D7-BC01B6B71A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b9e713d009f78c5401decf560202befb0f5968f","datavalue":{"value":"ALP '98","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265642$52B1D615-F066-4A9C-B265-D89B34A9141E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c9bcbb5fb583c57d3397855a9c815bdfcd53b88","datavalue":{"value":"Declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1265642$6A08686C-3114-4FEC-9CAC-58CC05013BE5","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":"Q1265642$48A9480C-1359-46F5-AF32-FBA3F2D093C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7be9163a40e20458d359b1db24803ce34b65d902","datavalue":{"value":"https://doi.org/10.1007/bfb0056603","type":"string"},"datatype":"url"},"type":"statement","id":"Q1265642$3F6C3C7C-04D3-486C-B82F-5B160403D2A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53949bbf028e103ce3f06e81afa9ced38a1131a7","datavalue":{"value":"W2485825888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265642$9979753D-6B3D-463B-82B7-59AD2DEA96FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a480531bcb8f983aed5d40cfd0f260e9466149ea","datavalue":{"value":"10.1007/BFB0056603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1265642$D9D2A0A2-5262-4B51-844C-FE459BC0B59D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principles of declarative programming. 10th international symposium, PLILP '98. Held jointly with the 6th international conference, ALP '98, Pisa, Italy, September 16--18, 1998. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principles_of_declarative_programming._10th_international_symposium,_PLILP_%2798._Held_jointly_with_the_6th_international_conference,_ALP_%2798,_Pisa,_Italy,_September_16--18,_1998._Proceedings"}}}}}