{"entities":{"Q1651930":{"pageid":1662671,"ns":120,"title":"Item:Q1651930","lastrevid":43262422,"modified":"2025-07-22T22:33:32Z","type":"item","id":"Q1651930","labels":{"en":{"language":"en","value":"Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10--12, 2017. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6901077"}},"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":"Q1651930$4E07EAF0-46A4-459C-9377-C01A9A4BC3F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d80d1c9b40db5219648cc65b19a85dabec4533b5","datavalue":{"value":{"text":"Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10--12, 2017. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1651930$608D2CAE-4B20-483D-92C3-39C3FC9A23A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7376e00fcbee7b3307abda2a1524a88c182d085","datavalue":{"value":"1392.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1651930$DE0A94EC-E9EA-44B8-821D-79D519A15DCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fdca4cdf19e3681eb8ccb810418f30caf20e81e","datavalue":{"value":"10.1007/978-3-319-94460-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1651930$9BE74D5D-A68E-4C7B-8A0D-59A9BEAF597A","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":"Q1651930$4A250614-ABB8-4DC7-BF19-7D6F8D136E98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f3ba08ad9ec7cd579c3b43e15b771cf99433edd","datavalue":{"value":{"time":"+2018-07-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":"Q1651930$71CB2376-DC58-4208-B71D-0CC74722E9C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1651930$94359178-15F4-4C58-A125-843DC88CB416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1651930$8C4C95B5-BAF1-4EBC-9F18-AB3B85F375D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1651930$5D7C6915-B185-4928-BE42-FDEC29E3238C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14520693370dfe95bd6636f9230c83f9537d56e0","datavalue":{"value":"6901077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1651930$9FC7FD6D-6658-46AD-BBEF-19894E298507","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":"Q1651930$548A3F76-948E-474D-B9A4-C38264F91E4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8daf63b483c68b14c359dc5f55be36f822b9dd8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94460-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1651930$41C0599A-760B-4B60-A796-7E4DBE4BBF41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d4f553bd075d8fb0bbb0b3fee1a3517f277cd97","datavalue":{"value":"W2912317259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1651930$AC1328CE-23BF-4199-BE9C-929D5DAD8A5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1651930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1651930"}}}}}