{"entities":{"Q784122":{"pageid":785971,"ns":120,"title":"Item:Q784122","lastrevid":55377268,"modified":"2026-02-17T15:01:02Z","type":"item","id":"Q784122","labels":{"en":{"language":"en","value":"A systematic approach to abstract interpretation of program transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228505"}},"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":"Q784122$437D4080-3F18-4B52-9057-734A8D1504BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"811f12cb100cfb56dffc2c674bbd7d7840830992","datavalue":{"value":{"text":"A systematic approach to abstract interpretation of program transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784122$D1E226FD-AA69-46D3-8760-F2A5080008A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21da3c0affa09a47aebfc3abfdd87141f429674a","datavalue":{"value":"10.1007/978-3-030-39322-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784122$E34DADAB-5D54-4BFC-A17D-FA7CB8A750CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50699e94bbf3d1b985a3c2e6cf3ae176b138e82c","datavalue":{"value":{"entity-type":"item","numeric-id":784120,"id":"Q784120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784122$86CF84B4-D596-4583-BF20-F8B2A47B3461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15193b661df3628d4b4472d4543cb593bac6178b","datavalue":{"value":{"entity-type":"item","numeric-id":784121,"id":"Q784121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784122$D663F713-5660-4BBC-B124-B50065370E33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-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":"Q784122$530F4061-8FFE-4AB3-A90C-1DC7B715618B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784122$BD2D3BC1-A4AF-468A-9DAF-825BCC87A2AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd55b92b31f0b69400d0f83328aa34752dea672d","datavalue":{"value":"7228505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784122$934AA3D8-4C79-4D9F-80F9-B072C28BFF95","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":"Q784122$89B7D406-BCFE-4575-BE87-9B8B16B25284","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fb39461fdcde49f2eac71c7808aa3c93377b248","datavalue":{"value":"https://doi.org/10.1007/978-3-030-39322-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q784122$58DA60D2-96AC-46EF-8687-649AED1F57F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bd6e88287de70e1544972897d8acf01fb9d4c4b","datavalue":{"value":"W3000629693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784122$360B523C-806F-47FD-B472-25484E38A15E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1557cac35ad0e5eb0d77b0366897333cf9bd75e9","datavalue":{"value":{"entity-type":"item","numeric-id":3201766,"id":"Q3201766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850a6d5d98f086739800676dee6c04dfa84d78fc","datavalue":{"value":{"amount":"+0.7829622626304626","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":"Q784122$3F1FD48B-5200-4F11-ABA2-6C93E33B6A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c0d2c51367083858cb103cfe17a7ffa02a5948","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a1651212795575017d00543c06feb2237ea033","datavalue":{"value":{"amount":"+0.7709864377975464","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":"Q784122$78D49F9A-1C4C-4CE8-A40D-5F3631993A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656486f250633abf5554fbc58fd9a379412b9579","datavalue":{"value":{"entity-type":"item","numeric-id":4736494,"id":"Q4736494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d46d7da3bfe0542b7190cea4be7661ad5b88550","datavalue":{"value":{"amount":"+0.7670782208442688","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":"Q784122$E393599D-C6F0-4858-AFFD-0F7C2A51B303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b24960e3b7cd5dc25aab0afe527395c2c25dee","datavalue":{"value":{"entity-type":"item","numeric-id":4412528,"id":"Q4412528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07dff0b1f4e544812bc34c797c7bfa7399fa83a","datavalue":{"value":{"amount":"+0.7404342889785767","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":"Q784122$75E228DB-8714-4DEC-92CC-C09833D5ACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a729b05f2ee8b5c0fc54cafe1361ee598a486056","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29fa73c3273054fcf5c4d044634ccc88bf9dd31","datavalue":{"value":{"amount":"+0.7332550287246704","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":"Q784122$92AA80EB-8F43-4F19-AE8B-B76137140BBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:784122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:784122"}}}}}