{"entities":{"Q1351832":{"pageid":1362571,"ns":120,"title":"Item:Q1351832","lastrevid":56514513,"modified":"2026-03-13T07:35:55Z","type":"item","id":"Q1351832","labels":{"en":{"language":"en","value":"EventB2Java"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"3815a24a1c808c3d1ec15248bf97e6cd8b4c8bcf","datavalue":{"value":"42803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351832$37C5FE4A-8331-49A6-8815-7CE2C458EBB8","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"c5d61f886b2b8392644c7a8227bee7e08a27e443","datavalue":{"value":"https://github.com/ncatanoc/eventb2java","type":"string"},"datatype":"url"},"type":"statement","id":"Q1351832$CFCB8F09-5F5A-427A-86B7-7033C7E3F41A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$52B99F29-FED0-46A3-A093-851C85E5B6A4","rank":"normal"}],"P1454":[{"mainsnak":{"snaktype":"value","property":"P1454","hash":"1ba7810d95500d37799356d99327c9906bb3ac36","datavalue":{"value":"swh:1:snp:82fe00260d833513dbc274fc2f55972859fb601e","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P339":[{"snaktype":"value","property":"P339","hash":"c5d61f886b2b8392644c7a8227bee7e08a27e443","datavalue":{"value":"https://github.com/ncatanoc/eventb2java","type":"string"},"datatype":"url"}],"P140":[{"snaktype":"value","property":"P140","hash":"5e92bc4431c8edf0400f1bf8f2618a41cfdf0835","datavalue":{"value":{"time":"+2020-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P339","P140"],"id":"Q1351832$19A40154-07AE-4EA9-9F55-FB47D0F31781","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"91ed5a07c6778b85c3309e6623a4c12046eb229e","datavalue":{"value":"https://link.springer.com/chapter/10.1007/978-3-319-40648-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q1351832$B8B7B047-0194-44D0-B690-8FC2A548827B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1351832$D21FF535-3371-49E9-8E1F-ADBDC2DC8BBB","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ef3a824eb9130b28d1a6184768da0ec4c2a5b1a4","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$A3F07A28-EFE8-4CE6-B8D2-CCB685751E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7bca0ab395d1092a8dcb4bf2f5215c227563080b","datavalue":{"value":{"entity-type":"item","numeric-id":5973316,"id":"Q5973316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$DB09D51D-BB32-47C9-A9DC-19FA572E8BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"be263023f3085c0743edc607fd8b5298f39c7b6c","datavalue":{"value":{"entity-type":"item","numeric-id":5972810,"id":"Q5972810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$609F8194-3132-476C-8C8A-78D6DA681675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2010ba34b1cfae123094eab1548adc5fdefc5634","datavalue":{"value":{"entity-type":"item","numeric-id":5972425,"id":"Q5972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$C4CDBF3C-3B32-49BB-8E9D-DDA7C60B8710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7866e43eec941d0e0e9ee46e1a39b472e696ea48","datavalue":{"value":{"entity-type":"item","numeric-id":1351828,"id":"Q1351828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$981E44CE-79C3-42FE-B99D-956F6E2C0223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e29a8515566579f42f9f656e55366ae9f1a7e1cf","datavalue":{"value":{"entity-type":"item","numeric-id":16531,"id":"Q16531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$05FC373C-8AC3-4458-8580-11899EE4C8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$E4A5C760-0472-4C1D-BAE5-A47B00933A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$C7F916AC-2230-4B13-8F17-42A087DA0E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2a5a101f915367944ac374874d78b0eaf10c59db","datavalue":{"value":{"entity-type":"item","numeric-id":14485,"id":"Q14485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$072060B7-DC6F-478F-B29F-783DDB7973D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"491e9a6c221528d2e48f4390dd762d203056fdae","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$84758E57-B4A8-4005-BD1F-CE6563501759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e5eadfa8d1b58d01abd7af8b4f2efb41cf90f512","datavalue":{"value":{"entity-type":"item","numeric-id":5972331,"id":"Q5972331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$5BD3E8DA-1B4C-4E3B-9D56-01FBCE5BCF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2494f736a299ce3618f13ae043b22a9ba3b22b11","datavalue":{"value":{"entity-type":"item","numeric-id":30091,"id":"Q30091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$EB692626-36F3-4D9A-8BF4-512CD9A4296E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"40b1c370d7b86f5240a7aa3a7fa8d84a74a9b9bf","datavalue":{"value":{"entity-type":"item","numeric-id":19144,"id":"Q19144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$785BDCC3-88F4-445E-95B1-6C450A5F4A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"682e7fe1e23a35e887f6b40b7a4d423855e3983a","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1351832$2CE29753-C45B-46F1-91C1-1277CDD74283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"EventB2Java","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/EventB2Java"}}}}}