{"entities":{"Q3638993":{"pageid":5668899,"ns":120,"title":"Item:Q3638993","lastrevid":49735570,"modified":"2026-01-09T18:57:04Z","type":"item","id":"Q3638993","labels":{"en":{"language":"en","value":"Incremental System Modelling in Event-B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5622589"}},"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":"Q3638993$D38743C9-5204-4A39-A1EC-8C23153203C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787abbe6cbb257a195539cd2555457f10cfa0c77","datavalue":{"value":{"text":"Incremental System Modelling in Event-B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638993$B69EA359-8D72-481B-AA89-719F71C8E8A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54b07b47b277534d1d3d2f0ae41499fa42c3fb5d","datavalue":{"value":"1254.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638993$43BFAB6F-7589-42EA-8910-36AFB1DE268E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42d710ab6f0ed8baaea6ea8808270a8430176db7","datavalue":{"value":"10.1007/978-3-642-04167-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638993$B0352037-DDE0-4751-A641-47203C99AE4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3cadec2ef714e5660771f9ec0500ac9b16a25e","datavalue":{"value":{"entity-type":"item","numeric-id":432153,"id":"Q432153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$D9379C26-5A88-4609-BB48-40BA9A4D7E47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6983a432596ad956b25cf3f430f5c969b7c5bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066117,"id":"Q3066117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$BC447B9F-FDFD-4402-B3A3-685A46C81B52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"979675af8434f65c971325fe4cac7cabed000b0e","datavalue":{"value":{"time":"+2009-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638993$B76F7014-7CE8-487B-A992-FAA28F942D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638993$B95BDB08-B271-49D1-A083-D90D065F9B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638993$D6B6D9BE-7EAB-437F-BE40-6412912D2E73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e1753e153d91e88fafaa0090c289bd9642c6c57","datavalue":{"value":"5622589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638993$AB0E89C9-C525-4E53-A86F-940A90C554F0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$72BA04D9-D436-4B13-B686-CC10703CE4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$4980086C-D722-4B6B-A0DC-680B80776F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bc08cca12dff13e56e887929c6b1a5688c3f92b","datavalue":{"value":{"entity-type":"item","numeric-id":21739,"id":"Q21739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$2DA01A5C-F812-475A-B7F4-8FB23A36E1F9","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":"Q3638993$0E36F7CF-14AE-4E8E-90FC-F8FA97A61523","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"786ceb27d4ad84be963153d371ff203c4c33f8ef","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04167-9_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638993$6DE85336-54C0-4623-8A20-6475BC25BD95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a455df16244c9bcfa6cf92110c5b20f8a49d662","datavalue":{"value":"W2166549990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638993$01E2776B-033B-4ED3-85CD-7E4894D70A79","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":"Q3638993$37816B8F-0D77-444B-88D9-A04F11DCC7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e7b9da18e16cd970511c07ad5cdb803278d984","datavalue":{"value":{"entity-type":"item","numeric-id":5294155,"id":"Q5294155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$8740827E-517C-4EBD-B6C3-32FA3B3D5791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$1158B3AE-6A2B-474B-8A62-DBBB4DAFDB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40235e727aa70ad53a8a9ff6438bdb8cd979e140","datavalue":{"value":{"entity-type":"item","numeric-id":4846258,"id":"Q4846258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$9DF3100D-5AEE-4DF6-97BD-4EB570B9CA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"457e380a94d38fe11d0c65a23c879f3ba8179626","datavalue":{"value":{"entity-type":"item","numeric-id":3535369,"id":"Q3535369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$62558F61-34DC-4DBC-B2AB-A538CF85100D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d030d94cd55c4990473eb779599b8c13ada58cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3605457,"id":"Q3605457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$729AD91A-09A7-43B8-938B-7ABC0FF3289A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$D224674F-4EBE-46C8-B4E2-6739DEC3118A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$2307B919-DC58-4235-B0CA-8C56B265AB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2df088e1296bf08b6cccd271b00d8cc6b466989","datavalue":{"value":{"entity-type":"item","numeric-id":5828994,"id":"Q5828994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$09227512-80A8-4F44-86B0-00B759D0822A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fe552145e37fff8a3f4c68e2d816f2af351d2a","datavalue":{"value":{"entity-type":"item","numeric-id":4436961,"id":"Q4436961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$92C80FB9-6330-4737-BB3F-A4D30FE412FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e9c8c0f1a29bc2ad0dca22b983d7fa8a788a3d","datavalue":{"value":{"entity-type":"item","numeric-id":1188723,"id":"Q1188723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638993$9A1B99B8-B17F-4574-B227-715F5AC7D042","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaaee7e1868aafa4cfa28e34e446781d99cfd67c","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88bed5978d70b276af2478ed13a804fe36e216e","datavalue":{"value":{"amount":"+0.87512344","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":"Q3638993$FD8F76FB-35A3-417A-9D62-FD82F4485B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b2d702b68a8fb45ddc378352cc6986d36cb9d16","datavalue":{"value":{"entity-type":"item","numeric-id":4565349,"id":"Q4565349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403ae5711de497369e47ea2aa21ca0723cc1a0f6","datavalue":{"value":{"amount":"+0.85901535","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":"Q3638993$BDD16DD4-987A-4BCB-B718-16C7CB0B14D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638993"}}}}}