{"entities":{"Q2568449":{"pageid":2579192,"ns":120,"title":"Item:Q2568449","lastrevid":48566383,"modified":"2026-01-05T05:57:06Z","type":"item","id":"Q2568449","labels":{"en":{"language":"en","value":"Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2213175"}},"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":"Q2568449$B77B7D92-489B-4403-88AD-7A75C51BA3FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a26c8594cf1c1991837668056575969764c0579","datavalue":{"value":{"text":"Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568449$C36226C1-A251-4111-881F-C0CCC505F602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c18adb07b56a7c438272c6a17bf788ea31dabd89","datavalue":{"value":"1076.68540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568449$8E604F60-AF9A-4337-A24E-BCF0E7BC2040","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568449$D652AE73-7213-4632-BB2C-2576F9C28532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08713bd984f0db2e5b63dc9c1aaebc82280c11b","datavalue":{"value":{"entity-type":"item","numeric-id":493523,"id":"Q493523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568449$2BB1C903-7D5D-43EF-B9D7-003BBB3FC4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"394271d91c22b5604ed841a0589598bab6b2dfc3","datavalue":{"value":{"entity-type":"item","numeric-id":980469,"id":"Q980469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568449$31F0408A-573A-47D8-A7F4-91A38E354C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99814c61bccc39874951144e5bdc5c470edc619b","datavalue":{"value":{"entity-type":"item","numeric-id":980468,"id":"Q980468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568449$E3C48926-07D9-43B6-94B9-3AFB8AC2212C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568449$556386D6-6D04-4310-90E0-B840CFA2585C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32ad81c392fb16ee79fdc0f71bc6ecae74b0738e","datavalue":{"value":{"time":"+2005-10-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":"Q2568449$98B617D0-6356-49E0-9897-F135AEBC6E1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"866c3a1703c4f1b1fa35055e4489651618173294","datavalue":{"value":"http://oa.upm.es/11151/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568449$5BFC5DB8-F0BA-4B25-97C0-8692101998DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568449$9D9C1A19-0371-4A90-B113-84CBD5A23610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568449$6AFF80BF-E87C-45A6-827A-59ED6384D450","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"addeb4b33656ee1447313131c46a674ccef00638","datavalue":{"value":"2213175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568449$C8EB16FE-8CFE-4C1E-B9D2-8C44626A47CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$22927ADA-824D-4F3C-B097-9540EF13383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75743272fff8b1571fa890ae479fd889c14fe04","datavalue":{"value":"global analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$07868693-6B18-4FD9-8DC5-D8AF01B70CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$5014E2F9-CC6D-47DD-8D1A-679DFBEAF768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$6616CA69-D50F-46B2-8E9C-9D8B427F67D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$F707D2EE-959D-403B-981F-BF1817AC89FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$F33FF9C5-F033-4B4B-AACB-3358FD77B2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$94FE282C-71D9-45B7-859A-7D82CD5F4C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$966F87D9-2580-4B12-9CCF-A304390D752A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4adb18bcac430f0482b7bf62c08c92b29c5f7df","datavalue":{"value":"parallelization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$5BD9F375-7441-4123-8B8A-0446209A9D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2644e02edb5d4a0f8747de2957f332c7cced9d6a","datavalue":{"value":"resource control","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$953E22CE-9901-498A-BD64-EDF49D9AB4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d80c85673a1dad1c10404fda47a9631831d9fda","datavalue":{"value":"programming environments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$ED554E04-D96D-4272-B432-8492C3F251BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f27122280e414ab7c5ea21169b2b6aeaf65a50b","datavalue":{"value":"multi-paradigm programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$D4C498A4-B900-4830-8060-BAB79E0369BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49748bb13ba195dda2f89b300af8304f18c0a338","datavalue":{"value":"(constraint) logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568449$21E12DA3-D42E-4CF9-A98C-77791FD0F9BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568449$800FCA78-7B5C-425F-8323-6FAE10166E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568449$561DC96C-4D30-4048-93B2-AA3B3DA8E231","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":"Q2568449$4F7F9B72-BFAA-4F6F-8AFF-E6DBDF42DB61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0d7d5a7f181e2e7c0fbee9a569ca618b9bd26a3","datavalue":{"value":"W2116325485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568449$E9A5B4FD-889D-4976-9B5A-F36B08C454AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"365782c7d026cddc2395f08247b3bd770a47f103","datavalue":{"value":"10.1016/J.SCICO.2005.02.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568449$670A7FDE-B798-4483-BFFA-1DEABED0C6F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470678f6846852df1a36a9857d6d3cbf6d0aa620","datavalue":{"value":{"entity-type":"item","numeric-id":4813396,"id":"Q4813396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736e75deef9350369e20fc6544c1e0cf82c77e38","datavalue":{"value":{"amount":"+0.9724982976913452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2568449$56234045-6CC8-4C8F-A02C-5347A83734EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4e75fd6a7a667c878559547437708d6953acf8","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa04c226e2689aa3c83c82a5fb31bb0418604801","datavalue":{"value":{"amount":"+0.8480310440063477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2568449$3528B0BE-F091-4772-B7AA-AF15FB1EFC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2774a3ca196ccddeb23f5a1832890dd92b4783","datavalue":{"value":{"entity-type":"item","numeric-id":4424850,"id":"Q4424850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f9b78e0dfd40b9f43bb5dbea52ca953b4a30f1","datavalue":{"value":{"amount":"+0.814280092716217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2568449$334B2892-B2CA-4634-9B2F-1253D2E31F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca37f50bdde62114d8da894f41ae725a0fa1857","datavalue":{"value":{"entity-type":"item","numeric-id":4737145,"id":"Q4737145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca06176af1681dbc14531398971ddf10df43a25","datavalue":{"value":{"amount":"+0.7875938415527344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2568449$E4B7685C-E3C4-4665-B65B-DA3200CD61AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02235fdc3ac4c446ceea6a457501e96a6a72a87","datavalue":{"value":{"entity-type":"item","numeric-id":3613381,"id":"Q3613381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d9b6ef906a949655c04d7b59d1fe83c783ebac","datavalue":{"value":{"amount":"+0.7722117304801941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2568449$BD19691C-B48C-4A80-8415-FC29F0F7EA76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2568449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2568449"}}}}}