{"entities":{"Q2371883":{"pageid":2382626,"ns":120,"title":"Item:Q2371883","lastrevid":72629835,"modified":"2026-04-14T06:10:54Z","type":"item","id":"Q2371883","labels":{"en":{"language":"en","value":"Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12--14, 2006. Revised selected papers."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5170243"}},"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":"Q2371883$C82F9C87-F209-4D38-A0F6-5192E61B4555","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e05cda8cc5cb8f1b786a7a6957ac1ecf2e5ad88c","datavalue":{"value":{"text":"Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12--14, 2006. Revised selected papers.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2371883$50429413-F240-401A-BE62-C9E30DFEB120","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ee37a15ccac66043a50d85fc771802b1c2ecc10","datavalue":{"value":"1116.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371883$E1A2082B-329E-43BC-BE67-A7AABE95C23A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41e786c849bcb750889224a9f8a7443e5998cbd6","datavalue":{"value":"10.1007/978-3-540-71410-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371883$BABFA654-AA66-4DD3-A28D-4FA751B6CC0A","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":"Q2371883$ABF0A27F-40EB-449E-B185-C36CCA9124C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c298539c7206106fe5ad6975449a13e07c58590e","datavalue":{"value":{"time":"+2007-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2371883$BDECB35B-191C-4344-9DA6-73B33841F434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371883$BA62D515-2393-475F-99CB-40C85E291511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371883$C550CCEA-D81D-45B3-9C2E-7C15E6632DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371883$C82D21D1-467A-4CC4-9FC9-33663B8C59CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cdb20acb1f045349c5993fc34f71824b24e0c6b","datavalue":{"value":"5170243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371883$8E5237E0-F4D0-4173-A3F9-B316CFDEC3AB","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":"Q2371883$89EDBB6E-7D6F-4719-ACAE-FF6042C3405C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f3ce4a13be652cb7237e7379c2f210170820364","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71410-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2371883$37E20CA9-2C43-4227-ABA1-4D051D2339E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d73819c5f333b7cbfe933ad9a562dcacbc379193","datavalue":{"value":"W2495810173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2371883$EE3A6F91-D6A0-4BE0-8187-F3092B5D5B5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12--14, 2006. Revised selected papers.","badges":[]}}}}}