{"entities":{"Q2379078":{"pageid":2389821,"ns":120,"title":"Item:Q2379078","lastrevid":43976403,"modified":"2025-11-18T16:45:36Z","type":"item","id":"Q2379078","labels":{"en":{"language":"en","value":"Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23--24, 2007. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5491162"}},"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":"Q2379078$4CEAA24F-DD6D-4FF3-A54A-EE60CD3E8F7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bc22f8cd01d10c84fe0c85751d39e06d0e45c05","datavalue":{"value":{"text":"Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23--24, 2007. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2379078$9F82D8EA-2C44-49FA-8A37-A7092C8F651D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f6a005e47388d77cbb54c9ca77e9b84a1d8e0ff","datavalue":{"value":"1154.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379078$E89A997A-2365-48CA-B72D-ABC9839E852D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e25f36121381f85a2b058936d0b9bd4b6bae789","datavalue":{"value":"10.1007/978-3-540-78769-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379078$E05E2C90-EC70-43A6-AB4B-C82C4D065D70","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":"Q2379078$E83A253C-3D64-451F-AA73-8A290BCF7E60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2379078$2F317A2C-0DD4-4B5C-AB5B-7523F5E31740","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379078$3FE58250-9684-4544-BDE2-50DA8487A1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379078$1E01C0C6-1FAA-4699-8F2C-EE67F4638F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379078$2657C3C9-8354-4F49-BB97-4D494ADD6E6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46d2e3cf933eafce3020de5df7b5d571249f4f13","datavalue":{"value":"5491162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379078$CCD755FE-159C-4C55-81ED-67C418C01BD6","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":"Q2379078$37771574-2A50-4E41-8887-6AB15CF59499","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ae9256112fa543168bef837025ab3b3e458d196","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78769-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2379078$25A37834-6469-4A3F-A707-8452A1440534","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0bbf0d70a9833430f562b19c6486b7493caa93e","datavalue":{"value":"W2249929592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379078$57CEDDA7-645F-4878-97FD-C87521B004A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2379078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2379078"}}}}}