{"entities":{"Q5941712":{"pageid":8118514,"ns":120,"title":"Item:Q5941712","lastrevid":41716900,"modified":"2025-05-07T12:28:24Z","type":"item","id":"Q5941712","labels":{"en":{"language":"en","value":"Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24--28, 2000. Selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1636370"}},"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":"Q5941712$C1256D5C-3359-4FA0-BE25-0FF0E3569471","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9008aa8fbfc6160b976ce8fbc090e96a6b722217","datavalue":{"value":{"text":"Logic based program synthesis and transformation. 10th international workshop, LOPSTR 2000, London, GB, July 24--28, 2000. Selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941712$3E73CEC0-56AA-4A7A-8160-846775AF85CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99ca9e29ccb99023917f286e32c4dbad1673a084","datavalue":{"value":"0967.00076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941712$55EF7D96-697F-4AE2-B573-398B8B59C46D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdbfb02e7a2f14d462f610af9603da167f0ca93f","datavalue":{"value":"10.1007/3-540-45142-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941712$8E42C462-9564-481D-B726-EE2387172098","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":"Q5941712$89F6BB61-2B62-400C-86D8-AA0DE1EB2160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3190f357053ae1b7a6692b25e4aa81e02b63efa","datavalue":{"value":{"time":"+2001-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941712$965ABC1F-8CC0-4999-AA2D-A3BBDD6E58BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b467c9d95137c6e8ae38e012f1ecc18f61810296","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding workshop (9th, 1999) has been reviewed (see Zbl 0941.00033).  Indexed articles:  \\textit{Avellone, Alessandro; Ferrari, Mauro; Fiorentini, Camillo}, A formal framework for synthesis and verification of logic programs, 1-17 [Zbl 1017.68031]  \\textit{Poernomo, Iman; Crossley, John N.}, Protocols between programs and proofs, 18-37 [Zbl 1017.68036]  \\textit{Colvin, Robert; Hayes, Ian; Strooper, Paul}, A technique for modular logic program refinement, 38-56 [Zbl 1017.68032]  \\textit{Seres, Silvija; Spivey, Michael}, Higher-order transformation of logic programs, 57-68 [Zbl 1018.68504]  \\textit{Serebrenik, Alexander; De Schreye, Danny}, Non-transformational termination analysis of logic programs, based on general term-orderings, 69-85 [Zbl 1017.68033]  \\textit{Bueno, Francisco; Garc\u00eda de la Banda, Mar\u00eda; Hermenegildo, Manuel; Marriott, Kim; Puebla, Germ\u00e1n; Stuckey, Peter J.}, A model for inter-module analysis and optimizing compilation, 86-102 [Zbl 1018.68501]  \\textit{Albert, Elvira; Antoy, Sergio; Vidal, Germ\u00e1n}, Measuring the effectiveness of partial evaluation in functional logic languages, 103-124 [Zbl 1018.68500]  \\textit{Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio}, Automated strategies for specializing constraint logic programs, 125-146 [Zbl 1018.68502]  \\textit{Di Pierro, Alessandra; Wiklicky, Herbert}, Measuring the precision of abstract interpretations, 147-164 [Zbl 1018.68505]  \\textit{Jahier, Erwan; Ducass\u00e9, Mireille; Ridoux, Olivier}, Specifying Prolog trace models with a continuation semantics, 165-181 [Zbl 1018.68503]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941712$3CE7534B-5EEA-453D-9C97-36189887B594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941712$066C69DB-7790-44DE-AB96-EEE8B6940D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941712$7F818311-86CA-474D-BEDF-6BC16679866B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de3cee1710583ffc0798dc30319b076a942fe7c6","datavalue":{"value":"1636370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941712$4A1167D7-E66F-4864-8034-6E2747280AC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df707bf1283baf8ab531c486d41cf8325e70bbbb","datavalue":{"value":"London (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941712$0C3BA90B-9B9E-4382-93C5-7F207CF255EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941712$166F1A23-6F67-4340-B6EC-2EDB5BC2035D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1cfe28c346d814735dd52972c178c02b57d315","datavalue":{"value":"Papers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941712$BC2DC9B4-6F2E-4247-ABA8-EC62636874E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85dbf99aabab60ae8df399261ae18fa5afd8454e","datavalue":{"value":"LOPSTR 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941712$19393F5B-9B89-4DA2-B5D0-5754EE9507FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea431c72a33841debcf6662f7ea4cc3977a04369","datavalue":{"value":"Logic based program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941712$E54DF3BC-5A59-4C3D-B3FC-7C5A6AC8DE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c08b5b4fbd17c3a51a629eb61c436114c44673","datavalue":{"value":"Logic based program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941712$51F18E10-DFF7-4F4A-9732-6B2729F34023","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":"Q5941712$B740363B-712E-4925-B7F4-10D397C391B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dc0fdbe308db61601b7d0c37726e9fe03e359f1","datavalue":{"value":"https://doi.org/10.1007/3-540-45142-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941712$2EDD4159-00DA-4D60-A586-8520E10BDC95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b493f2bbd3cb36f51461939cbe4f2210e8edd98c","datavalue":{"value":"W2894752807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941712$243539E4-E026-49BD-9EB3-C918350377D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6555472bf82a4e6afad2070ad6e3b0701093b05","datavalue":{"value":{"entity-type":"item","numeric-id":532632,"id":"Q532632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ca3b58015e261750ecd6232ace4a228930083b","datavalue":{"value":{"amount":"+0.95207816","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":"Q5941712$5916E08F-7FB6-4850-8D8C-41AE403078A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0409eb1aa7a9fe49ce1bf864035149906d22d0","datavalue":{"value":{"entity-type":"item","numeric-id":2371884,"id":"Q2371884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed48d6a4c197198abb6c44eb0886df1919df5d9","datavalue":{"value":{"amount":"+0.94830585","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":"Q5941712$9FB888AD-5BDE-4A85-808D-38844ED68AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b2c6c8f5a371a13fcd1c3c9a3e088ec631638b","datavalue":{"value":{"entity-type":"item","numeric-id":1880555,"id":"Q1880555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afc901256e59f04e320d24d485837f200acbc16","datavalue":{"value":{"amount":"+0.9394942","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":"Q5941712$F9AAD48A-7770-4672-A8C4-CFC51C8DF97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d6fb00f451270191ef05512b807fe095e8330a","datavalue":{"value":{"entity-type":"item","numeric-id":1611725,"id":"Q1611725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c05a4f3c50f96b73ae6ca152311db62f0df200","datavalue":{"value":{"amount":"+0.93933684","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":"Q5941712$0A5AE6FA-1C1C-4366-ACC5-A153E5DF717C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96c12d79e45cc8d127af221a9d745c86697d802","datavalue":{"value":{"entity-type":"item","numeric-id":2042664,"id":"Q2042664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7399f8bbca2567781bd53908f830e5a1c9228484","datavalue":{"value":{"amount":"+0.9356876","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":"Q5941712$9A68BBEB-3C65-4A63-8796-03BC5FACD27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18dc63b4a832aa503af329b3c89fd7b22025c313","datavalue":{"value":{"entity-type":"item","numeric-id":491679,"id":"Q491679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af1d852e192cfd5e0ef23cc6586f31359e5d3de","datavalue":{"value":{"amount":"+0.9331832","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":"Q5941712$3C21E6D8-41A5-41BD-899C-A631E41AF57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae753b053257d5a372c1a12e02c44b170ce3a20","datavalue":{"value":{"entity-type":"item","numeric-id":2371885,"id":"Q2371885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16622f603877f5736966969e710447091794f79","datavalue":{"value":{"amount":"+0.9325824","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":"Q5941712$A4956F85-C5C3-4075-8D5D-A31D2B42BF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914ff20c2858cd6ba4128f9ce409e7ae1e223df0","datavalue":{"value":{"entity-type":"item","numeric-id":2379078,"id":"Q2379078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b962634537a6f69390200fcf618f77e4fca50a1a","datavalue":{"value":{"amount":"+0.92986876","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":"Q5941712$0FE5CCB0-AC51-4968-B510-04E1D73599C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f0a984fc6a6f9d578c9ac2f56e5c53d422c6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1890044,"id":"Q1890044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1081d027e734c3372ef3dc0b8294943714ddea4f","datavalue":{"value":{"amount":"+0.9288622","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":"Q5941712$D01EA443-5C9E-44AE-A369-9222DCB0DB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571ff92885701c2f6322a19d92ebbfe807b53b7b","datavalue":{"value":{"entity-type":"item","numeric-id":2012439,"id":"Q2012439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b757f3253cb07b88856655008221248fbd9d4a9","datavalue":{"value":{"amount":"+0.9265667","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":"Q5941712$DD57B887-8514-45D0-AACD-1882918D4FB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941712"}}}}}