{"entities":{"Q2863830":{"pageid":2874550,"ns":120,"title":"Item:Q2863830","lastrevid":42326596,"modified":"2025-06-08T12:16:47Z","type":"item","id":"Q2863830","labels":{"en":{"language":"en","value":"Using the Alloy analyzer to verify data refinement in Z"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235700"}},"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":"Q2863830$2C790F54-1A48-4498-8447-38FDBDC9D41D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63564f56e99e1971ef63bd6d012af94a3ac2a539","datavalue":{"value":"1276.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863830$0DE20BB2-2326-497E-806C-F9FFF2DE391F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46e407fcac4d84aa83dd1b746eff749968a5533","datavalue":{"value":{"entity-type":"item","numeric-id":1763726,"id":"Q1763726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863830$1573A0F2-1756-4120-95BA-04450BEAFD1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863830$A8816CB1-AEB7-454E-AA6D-BEBC169FE763","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7f294f53131efb18c08b36ae7b9cb90a8fb2450","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050899?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863830$98EBDC15-201B-4914-812F-3B8582AA5388","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863830$6F6F702C-466C-411C-9B50-0AFB41319DD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6071a2d7b32a8d1943cda5484e2dec07f5e01a69","datavalue":{"value":"6235700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863830$8B5731BC-9C04-4E7A-A7B6-EEBF763266CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863830$93636E0B-8231-45A3-A32A-313188A5AD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863830$286189AD-F714-4346-BFF0-687113549FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863830$2608B9A4-0B06-487E-B69D-A7A20391BC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e172cf6991b6d4f13ff59a7c9889213e86ba60","datavalue":{"value":"Alloy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863830$753AD63C-E30D-4371-9B61-AE147307C19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863830$CA59983E-F942-4A27-9FFE-0EBC2F3A8227","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":"Q2863830$11AA81EE-5524-4F25-A78F-A698CF956927","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c64c29220af524fb647fb5ad5a35f31dc758f6","datavalue":{"value":{"entity-type":"item","numeric-id":5179359,"id":"Q5179359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1755c5f926ca8e6bff8141e8a28d9e76061a5955","datavalue":{"value":{"amount":"+0.8446802","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":"Q2863830$684448AB-678C-44B4-A277-1E09AC0D5F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d55a10c2ad878f62bea659b5b7d5246122ec47","datavalue":{"value":{"entity-type":"item","numeric-id":4472176,"id":"Q4472176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9000332e0be13c4e4ecf48b255463d4bd2bca90f","datavalue":{"value":{"amount":"+0.8250114","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":"Q2863830$1CBE9A9B-86AF-4C75-8A94-9AFE141693DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d96d11b6713b46ae9b8b498facd35353a9917d","datavalue":{"value":{"entity-type":"item","numeric-id":5758135,"id":"Q5758135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b9b5f223c86b84566f5a46ca7ecf8d2df62b76c","datavalue":{"value":{"amount":"+0.7923463","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":"Q2863830$E7390530-1B3D-4237-A165-300E11995E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca288bbdbca3b84679173dd06195a3f779c86371","datavalue":{"value":{"entity-type":"item","numeric-id":851129,"id":"Q851129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7daa7df42fd40e0023478968e66fe344b798920d","datavalue":{"value":{"amount":"+0.7699722","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":"Q2863830$32C660BF-E1B1-4A2C-BB43-D64ED269AE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf19ccfe7e11df8d4ff89bececa1df447d6b94d","datavalue":{"value":{"entity-type":"item","numeric-id":5703815,"id":"Q5703815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ad958ec1bc72afab2947154b3c54056405fcf2","datavalue":{"value":{"amount":"+0.76230276","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":"Q2863830$6DC9B1EE-E56E-47FF-A5C0-EDB11A0F784A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4ceb1e6a1602cb2bf10cbccba820040af41d42","datavalue":{"value":{"entity-type":"item","numeric-id":5887529,"id":"Q5887529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b6992eb478c61d6049007da6e47d0a70e4624b","datavalue":{"value":{"amount":"+0.7506783","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":"Q2863830$3D35F2C3-B635-4406-AA2C-14DF1C026D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1a9dae08e5defd3390ffcd3e5c92a19eb01cca","datavalue":{"value":{"entity-type":"item","numeric-id":3768380,"id":"Q3768380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248113cec6b15c7ff67f40c2e8c842ad0e177f37","datavalue":{"value":{"amount":"+0.746323","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":"Q2863830$3F9582AD-F6CD-4066-A20E-E7403C93289F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98bfd735ca7b9dbbe11da7f7f2cc99371f8fc269","datavalue":{"value":{"entity-type":"item","numeric-id":4370266,"id":"Q4370266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127cc3bd8ccca2062269bc6a3f40027f0776d195","datavalue":{"value":{"amount":"+0.7434451","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":"Q2863830$FC42C753-3B1F-49A4-9319-61DC55017536","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f44c7edcb499e8386122db35d52a95f931771d55","datavalue":{"value":{"text":"Using the Alloy analyzer to verify data refinement in Z","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863830$915277B0-5795-4992-9CBC-47C411B9B0BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863830"}}}}}