{"entities":{"Q4930730":{"pageid":6960312,"ns":120,"title":"Item:Q4930730","lastrevid":91963049,"modified":"2026-06-05T00:31:06Z","type":"item","id":"Q4930730","labels":{"en":{"language":"en","value":"Modelling metamorphism by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5794760"}},"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":"Q4930730$96C89C14-5E04-4E7D-B7D9-3DBB8D709ABF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f674dc0b69798b2a9606a16fd614f5f5ee3c4b87","datavalue":{"value":{"text":"Modelling Metamorphism by Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930730$40E5A7FC-AD1C-4C7B-A1CE-F00A698E784B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a696fbebebdc4099f056ec2e6af0d4b1cd02d4c5","datavalue":{"value":"1306.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930730$E8D68B92-B765-4835-8A7C-A9E8CA09C4A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41b958f239574e9f7e39688402276f048dcb9681","datavalue":{"value":"10.1007/978-3-642-15769-1_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930730$72FEE3F4-7D3E-4F07-9E39-EF03F3491EAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e76c641e2f7ec275b3b7b0b7efa47b9a5a9b8e4","datavalue":{"value":{"entity-type":"item","numeric-id":511012,"id":"Q511012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930730$DE14A9FB-8ECF-4C20-9646-408F17EB4E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930730$38902E31-97BE-47C4-9F2D-8BF780286997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc9f91512d0b27503ca900c6174d7c9baec34bef","datavalue":{"value":{"entity-type":"item","numeric-id":2339469,"id":"Q2339469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930730$E340526E-A4F4-4ACF-A5FD-CC8B299ECCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86f8bee744046efa5a1d343f9496ac58b06cd437","datavalue":{"value":{"entity-type":"item","numeric-id":4930729,"id":"Q4930729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930730$BDB6D571-2A46-4300-8807-FE38B16880A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0cb4be6e5cca1fdfda944379aba51ae634021b5","datavalue":{"value":{"entity-type":"item","numeric-id":208478,"id":"Q208478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930730$86265D30-ED61-43F1-923B-1FE0863CEBA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930730$14046BAF-CC68-4D10-9AE4-39E3E8DF2416","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8b73f32899a0de1635fbad892f48e16531e2002","datavalue":{"value":{"time":"+2010-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930730$79216605-9D9A-4566-9139-F02225A71BCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930730$566C1D07-DEEF-48B3-B722-24B8A8BAA3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930730$E1C9A48D-F7CA-4DF4-B6C8-D54D1B96785E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930730$E27FCDC6-55D8-4934-86ED-52454347700A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24330773abc37c31edde0fac67918574f6af4e0b","datavalue":{"value":"5794760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930730$9BF8D3A1-6A73-40DD-AB8A-CF65A3EF9CF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930730$0D164B0C-2D1A-4106-B282-9A4D99E74FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f6f51b7ff83d3047fa6ed80a79c95426a83792","datavalue":{"value":"malware detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930730$AA8A467C-0AD2-4A11-9212-9146029A1CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c5a7db0bb968d39418977a3e99f24706b047d7","datavalue":{"value":"metamorphic code","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930730$14B63333-48E8-4149-8342-0EE488984DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930730$1D4C332E-D0CA-45D5-8A6A-53E04736E5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930730$AE7FE039-CEAB-43C3-9CC8-8DBC79F1CDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930730$3711F4D6-459E-4683-B760-31025CC28C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930730$66C45195-29A5-43A5-AF38-9342BD5326CD","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":"Q4930730$88EF0CB8-241E-4E46-8128-3CB91FC339A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f26055f90ffd016f2890cbcc47dcaf84474b7254","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15769-1_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930730$50485FFA-3F01-4167-9C17-A534299F5961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7efff771071dd78c2855ff84f17916584c4c0474","datavalue":{"value":"W2095975118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930730$F6B146CF-2B19-4A4A-891B-D1CED1500A2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a006064062ee2219a33871f5b05a7d8e906fa16","datavalue":{"value":{"entity-type":"item","numeric-id":2339470,"id":"Q2339470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7365955ee6b7c847e74370c94e5f6323b7d8f636","datavalue":{"value":{"amount":"+0.932878077030182","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":"Q4930730$ED4F9ED4-938A-4A30-AE7D-93654DAB5FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a704dd1bedcf0766d1595acc7bc98bbe34e4fd42","datavalue":{"value":{"entity-type":"item","numeric-id":549466,"id":"Q549466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268a7c32d571d0bc983a0882f5f0a741087d28b9","datavalue":{"value":{"amount":"+0.7788492441177368","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":"Q4930730$0E21E233-E5BE-4A1F-9CA4-16057E8EF7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3f307765437d53da0ec6ff3d14d748f4fc1225","datavalue":{"value":{"entity-type":"item","numeric-id":3189818,"id":"Q3189818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7572cca9df7fafcc1a748e5aa74d27b8e032acd9","datavalue":{"value":{"amount":"+0.7141361236572266","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":"Q4930730$652EBE26-0612-42B5-8864-E99B481D3B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"390281329ec752db422ce76dc474b3629568cc7b","datavalue":{"value":{"entity-type":"item","numeric-id":3511177,"id":"Q3511177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752cfc55bfbd007610e8e9081674dd4903810a12","datavalue":{"value":{"amount":"+0.6845723390579224","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":"Q4930730$76012D79-8775-4264-B988-C92A63F96FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5892d7d2cd5f1c3349ce8fdc094e2f3a7e1f18","datavalue":{"value":{"entity-type":"item","numeric-id":5716756,"id":"Q5716756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed1695d81da2b61f8a35e53596986503b39594b","datavalue":{"value":{"amount":"+0.6691680550575256","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":"Q4930730$EB081BA1-3CD5-4ECE-98F9-85D8A44EE41A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modelling metamorphism by abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modelling_metamorphism_by_abstract_interpretation"}}}}}