{"entities":{"Q532632":{"pageid":534399,"ns":120,"title":"Item:Q532632","lastrevid":62544429,"modified":"2026-04-11T06:48:48Z","type":"item","id":"Q532632","labels":{"en":{"language":"en","value":"Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884667"}},"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":"Q532632$0E6AC60E-5170-4BF4-BBB6-65DF4D715387","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"139ea4eb688ba710d7cf78560faaadbaec7b138e","datavalue":{"value":{"text":"Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q532632$0ED32FEF-AC6C-435A-827E-4D70AAD1F85A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36177fd2fc1c6541f06afe2e9e7aa568161d611d","datavalue":{"value":"1214.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532632$7446C35D-3204-40C6-BF51-E1286D38140C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7a974aebcf74697df143cf026af319f48e50148","datavalue":{"value":"10.1007/978-3-642-20551-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532632$14218C55-EAD7-4AC9-8FDE-474679183BF8","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":"Q532632$EF1595A5-5458-4459-AFDE-E4AB0EB2641D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42bc4f213e589cbf3bc7c38ca77a9e50e3eb689a","datavalue":{"value":{"time":"+2011-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q532632$CDAC4A4B-287E-462E-8C1B-734926158328","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532632$64825253-166B-4FA3-9871-A3CE4CE9CCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532632$43A52CEA-884D-4540-BD81-629346B3E762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532632$E0938621-6F6C-4812-9454-0AF57BA80D18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36778754bca26cf715cbc157f505a40f140070db","datavalue":{"value":"5884667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532632$41F9EEBB-1FE0-4C3B-A95C-99F16179F02E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532632$57216C0A-508E-4FDF-92E1-403E4C3DF353","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":"Q532632$52C9A558-5109-4CC0-8E21-EF15100F1C88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d9b024b81a35466949b4d3d009e2254dcf6bf37","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20551-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q532632$182A2C6E-54A4-4F6D-B01F-03155D0FCAEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb7c0d937c84f5ec293342d9a8958eb1e03a5a7f","datavalue":{"value":"W2476654553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532632$CD865F97-CEED-47A8-BBD8-4477708AE9D3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e8a5da15a10e334a4475b6d458f4484426fccfec","datavalue":{"value":"Q57978154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532632$95D0F5E6-0E71-4D54-98EC-6A98C7E07DCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063a3cc8c0e5e17e21b1035c37f38fcfc569c06b","datavalue":{"value":{"entity-type":"item","numeric-id":5941712,"id":"Q5941712"},"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":"Q532632$77C8EF50-1E5A-4EC2-9916-00262EB51C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3b4ffe989d78709274e6582215d5860359cfe1","datavalue":{"value":{"entity-type":"item","numeric-id":1947233,"id":"Q1947233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e385e1a053842bd1fb7a4a31201edcc379d8e1ab","datavalue":{"value":{"amount":"+0.94932044","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":"Q532632$5E23E58B-AB9B-4801-AB28-77A797D31AE4","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":"d73de31e9681e7955439aaf33ad51909384757c1","datavalue":{"value":{"amount":"+0.9469858","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":"Q532632$76D14FC7-C0CB-4719-BCCE-9E60A5BAA7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a2986ee21e1e5437d745913115c4a1ca408614","datavalue":{"value":{"entity-type":"item","numeric-id":897317,"id":"Q897317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f64e4cd3ce90841b44f1899630088261698bbc","datavalue":{"value":{"amount":"+0.94469106","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":"Q532632$D6F3C191-B489-4DF8-83B3-33A7F1A1608B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b8fe1dec2f3ac49a60a977b82c8b4c89b101db","datavalue":{"value":{"entity-type":"item","numeric-id":436929,"id":"Q436929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7101415206606e7f8b3945d26dd0ef961a7db3","datavalue":{"value":{"amount":"+0.94432986","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":"Q532632$CC39C20C-1B5B-4FE7-BE79-C143D0F6990A","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":"58c729c060622144204ff6513212855c974e6a9d","datavalue":{"value":{"amount":"+0.943325","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":"Q532632$94A4FA13-157D-4DB7-9185-67459E43A652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70356435b136654cb73a9b011fbc5a0ebb110b6a","datavalue":{"value":{"entity-type":"item","numeric-id":1651930,"id":"Q1651930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf10f24c2485d4cefdf5ff2aa2b9945864f7ade","datavalue":{"value":{"amount":"+0.9415879","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":"Q532632$09EA9DD0-14E2-445E-9A5A-CE3617FF1FE1","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":"19453a6e4cfee1752ae056e16b43be3dcb32726c","datavalue":{"value":{"amount":"+0.9400591","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":"Q532632$6EF8B266-D199-4855-B565-F0969FD47059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95085da7965cae1a1c6511381b46a4de1f220926","datavalue":{"value":{"entity-type":"item","numeric-id":497665,"id":"Q497665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0522e4cee073bc6bc0485d375af59f267fe2decd","datavalue":{"value":{"amount":"+0.93702215","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":"Q532632$D0501B56-D423-4937-8790-6026733399DF","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":"79d6eea7b3dcab0c7be2943dd77f9a53269a0865","datavalue":{"value":{"amount":"+0.9365581","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":"Q532632$BC3ED5FA-9C10-47A9-BEDE-03A54FBEEF3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23--25, 2010. Revised selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic-based_program_synthesis_and_transformation._20th_international_symposium,_LOPSTR_2010,_Hagenberg,_Austria,_July_23--25,_2010._Revised_selected_papers"}}}}}