{"entities":{"Q6151629":{"pageid":13285936,"ns":120,"title":"Item:Q6151629","lastrevid":57443172,"modified":"2026-03-30T23:13:50Z","type":"item","id":"Q6151629","labels":{"en":{"language":"en","value":"Trace preservation in B and Event-B refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803188"}},"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":"Q6151629$16BA575C-F6F4-4E59-AC23-0BCF0163A949","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b51832a394ba679d41ee842b1c6a510237e52226","datavalue":{"value":{"text":"Trace preservation in B and Event-B refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151629$96F4D250-9CE4-42DD-9AB3-E5C8CA8F18AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29470348fd949ed8912721d1405a841d66114a81","datavalue":{"value":{"entity-type":"item","numeric-id":2518931,"id":"Q2518931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$C3F4C970-78FF-46A4-B0C6-3A86E49D4991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13ae5192b7dae3c0da8d057a4af7bd201a9308de","datavalue":{"value":{"entity-type":"item","numeric-id":6151627,"id":"Q6151627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$2F72F154-DE4F-4CEE-961E-F8B321E14F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$1B2A2033-77D6-409C-9651-18EF0EA31620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f058dc92efdcb125f342c34a28f66fac0a42d312","datavalue":{"value":{"entity-type":"item","numeric-id":6151628,"id":"Q6151628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$68A55917-A482-4927-B08A-71D37D281252","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$3EE5B440-3D57-43DF-9E52-4CE9EC82DB6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2690d5dc291ad0ded12f2eb8597187f840576ab","datavalue":{"value":{"time":"+2024-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151629$066B4138-AAF4-49A9-BD29-584E67E5FB7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151629$7CFE10F1-79CB-4C9D-B85B-B4583A2B0DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"794a11baf12473ce3e0b25efaed0e4c379127616","datavalue":{"value":"7803188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151629$B409BD47-77B6-4FD1-BE3C-509CDA87EDFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab5c99825fc3750d24a6d5e8f9dc34ef12c1bf4f","datavalue":{"value":"B method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151629$013E50C4-8179-4E60-BF10-8E3BF155D8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151629$47857BB0-0A8C-460D-B52F-4B6199764BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a056d631bfa09c291625b9f3d7b3505940c6c6","datavalue":{"value":"animation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151629$CDFC9CFC-D148-4AEF-A11F-74B3262BA871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151629$B67E643F-62BC-4D14-AF1E-9988E37B9708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151629$52E60C10-1B2A-4FB5-A0EE-3762C49BE4DD","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":"Q6151629$8B84FFCC-CB53-4028-BD0E-338928DF24B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$EFCADA01-6A6E-452F-872B-0794A981DE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$E81E81EB-6D2E-487B-8BA9-1B27AF759A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a82f7f78ac4b64ba27699f8a4900918d6981fa","datavalue":{"value":{"entity-type":"item","numeric-id":2117587,"id":"Q2117587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$1013B40F-9A92-4954-A89D-BDE69DB43E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7768091c6a118a1440a3cb458e64a1da460e65","datavalue":{"value":{"entity-type":"item","numeric-id":1951638,"id":"Q1951638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$EA1C6176-00F5-473B-83F2-45A2DF8A2A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efac0332214b0584430f36b3f343cfefdf07427","datavalue":{"value":{"entity-type":"item","numeric-id":333316,"id":"Q333316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$9F54AA13-AE32-42B4-A212-19C596CC6C20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"027583256ce7f96e437f697bee70bd4b2f137ea9","datavalue":{"value":"10.1016/J.JLAMP.2024.100943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151629$E7A55115-678A-4E11-9E09-F9DBE09B844A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151629$127F99E2-F64D-48B7-B57F-79978BDA4AB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6151629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6151629"}}}}}