{"entities":{"Q2870336":{"pageid":2881056,"ns":120,"title":"Item:Q2870336","lastrevid":79620311,"modified":"2026-05-06T14:20:27Z","type":"item","id":"Q2870336","labels":{"en":{"language":"en","value":"A static semantics for Alloy and its impact in refactorings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247716"}},"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":"Q2870336$9489A9BA-5690-4240-85E6-502B58433EB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7b30b7d800904317d96f702df0f517af3cff4f3","datavalue":{"value":"1279.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870336$F122BB9A-6250-42ED-9D23-4EE3DBC964B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56df733299ac6790b43d86d0b6bbd64d47f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":714874,"id":"Q714874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$F4FD2177-CF20-478F-9468-E91E1C312D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"257fa6f582bd0bfe776cbc4344d5f4cd094d2b44","datavalue":{"value":{"entity-type":"item","numeric-id":2848431,"id":"Q2848431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$758E1CDC-FE11-499A-896B-7E17A6E1F5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26283b98b92385d6f59a40a738b7e7aeb1608f","datavalue":{"value":{"entity-type":"item","numeric-id":714872,"id":"Q714872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$11D774B5-3749-420D-85B0-24C52A2915B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$1ADD9D09-9E06-4DE2-AD1E-8DCFDD5A8A64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870336$EB2D5D05-10D8-45D9-8EC0-991991D03D84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870336$80A82F8F-88CA-463B-BBAE-35047B5832B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870336$A04FC025-D686-4CE2-99CF-B95EFAD2A841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870336$579333E0-0F74-446E-976F-9FFF570DA8DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf474a08e75f9c6b471c42b31344ce1a1d23c6e6","datavalue":{"value":"6247716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870336$11AD454E-302B-4715-9D76-5BD81BAF50E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3310ea7c9f8a08471d6357afe6e13aa7f5aa31e","datavalue":{"value":"refactoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870336$4597598D-DED7-4133-AAD0-48C523860521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870336$DF4B2312-C4B6-4F94-AE38-BF5C8B0EFE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870336$8E1951D9-545C-4203-8587-AB1C95254E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72b909b721b0a7b77da639826ff3c739a564aba8","datavalue":{"value":"object models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870336$78D9700F-B76B-4FC2-9DE9-78826DB971B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9618f1966f868e8e3a428464ad18cf2f054ba57","datavalue":{"value":{"entity-type":"item","numeric-id":21463,"id":"Q21463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$A0255CA8-C7AF-4338-A738-1B8E04570777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4467a6d9b45f2a2d9ce7779ab8c22cba77fc24e2","datavalue":{"value":{"entity-type":"item","numeric-id":45759,"id":"Q45759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$8B1A8381-5DB7-4A23-98DF-64310C7F7258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"275b9354edcdd39ccd2d387fb59d0cf6b9719b40","datavalue":{"value":{"entity-type":"item","numeric-id":55529,"id":"Q55529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$3C368A3F-0B1D-47B6-A285-C146DC0D979D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322474c315dc49310ac70dcba3ad80c782f903d4","datavalue":{"value":{"entity-type":"item","numeric-id":13987,"id":"Q13987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$97F7AD60-6CE0-4581-A2B2-763CDC1C6B2B","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":"Q2870336$82BFA431-8CCC-44F8-BCAE-1A0FC844F63C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d384294c27c11524f7e984556739d864e4bb1ad9","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.03.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870336$77ED316E-7488-4159-A2A1-17119D2A3CFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6cb053f546a344a15d617474a4c0141463fcef7","datavalue":{"value":"W2087884275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870336$7A15A8DB-842A-4BAE-AA6A-EEBCFB93E669","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e871ddcb803cadc31bc7639051582697b67c14","datavalue":{"value":{"entity-type":"item","numeric-id":1887669,"id":"Q1887669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$2206887C-0038-4A5E-9F6F-B093DF5A0B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3832b0c7d5dbd4a20b3b3c5eae088a1374ce93","datavalue":{"value":{"entity-type":"item","numeric-id":4708513,"id":"Q4708513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$2F49AA9E-A1F6-4088-BFA1-2AAB052EDE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a376769def06304f0cb20c57d4c2836807ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":3146903,"id":"Q3146903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$39A2AFA3-90B1-4705-9BC2-828EA418D5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1129def7f016709990de28090cd8071749530a","datavalue":{"value":{"entity-type":"item","numeric-id":2848432,"id":"Q2848432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$5C29CE68-CD53-4404-8698-56FB2EEBAA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d790057f336880af6d833ef1b052c02e00bb632c","datavalue":{"value":{"entity-type":"item","numeric-id":2737491,"id":"Q2737491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$5652D5C1-B322-42EC-B0E8-FF07646800A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dce0ddab62d92f988d08cd3ecad9f1e637af63b","datavalue":{"value":{"entity-type":"item","numeric-id":5428879,"id":"Q5428879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$0AF8016E-3D2A-4532-BC67-994C21254192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a9d841d9017f5e81862402420f06b30636ac6a","datavalue":{"value":{"entity-type":"item","numeric-id":4435853,"id":"Q4435853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870336$E93645AB-9A2C-48C2-9677-F60D2F8C38CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"769cb34ca08ab1fdc47f6845a67d3d6f31c550fb","datavalue":{"value":"10.1016/J.ENTCS.2007.03.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870336$4A249C51-65C2-41F3-A1C6-070B6E1F26B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06e2863c5195be7b910bbe93838e1f02d582425e","datavalue":{"value":{"text":"A static semantics for Alloy and its impact in refactorings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870336$55633187-00C9-44DC-B699-22047D2472BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696cdb0eecdd39eb5dd814feb85a6efdb9e26a7","datavalue":{"value":{"entity-type":"item","numeric-id":5403473,"id":"Q5403473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e85205845c693ded79e06cab379f8c8951b3787f","datavalue":{"value":{"amount":"+0.798302948474884","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":"Q2870336$B3D2B64F-0B82-40E3-9DFE-A023B087B133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e156c2223ee89bc53d853d55a4067691fbfa088b","datavalue":{"value":{"entity-type":"item","numeric-id":4438789,"id":"Q4438789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60884d9f5841c6217c86c4beb1067417de34e4ec","datavalue":{"value":{"amount":"+0.7441824078559875","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":"Q2870336$1587E351-81F8-4F1E-8FF7-A32689D876DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb1bb13434589f40305a912228e3112712469352","datavalue":{"value":{"entity-type":"item","numeric-id":2266944,"id":"Q2266944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a688f0c2a23ab5b73ee8db97c02d54de1ffe9e","datavalue":{"value":{"amount":"+0.7278315424919128","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":"Q2870336$5F6914FC-9623-4E6F-A538-C683F4D24540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4cdca6f60ebeb82c5832da4e4dec6e63dc57b0b","datavalue":{"value":{"entity-type":"item","numeric-id":5428914,"id":"Q5428914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b90c84d4b3935d550a278d1d98c8fc082de8c0","datavalue":{"value":{"amount":"+0.7262234687805176","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":"Q2870336$CD55567A-6C9C-4207-98C1-32512A849976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5054922c102f074fde97b40b21ad13143df2b2e","datavalue":{"value":{"entity-type":"item","numeric-id":2844832,"id":"Q2844832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec143515298b71827044f02021b6999b5a6843d1","datavalue":{"value":{"amount":"+0.7169755697250366","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":"Q2870336$EB1352A2-A3B5-4ABD-959D-111B022C2EAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A static semantics for Alloy and its impact in refactorings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_static_semantics_for_Alloy_and_its_impact_in_refactorings"}}}}}