{"entities":{"Q1044181":{"pageid":1046029,"ns":120,"title":"Item:Q1044181","lastrevid":66111105,"modified":"2026-04-12T07:37:46Z","type":"item","id":"Q1044181","labels":{"en":{"language":"en","value":"Developing topology discovery in Event-B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5645351"}},"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":"Q1044181$7DCEEA41-9E87-41C6-9F41-75D6A1A24CDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7689334ce8450e8d031e00a2fb4114810769e526","datavalue":{"value":{"text":"Developing topology discovery in Event-B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1044181$DE4CBD85-A074-4C44-9660-8FFE4C7F85DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a485a8b7466e5ef48dae98ceed286e8e7a08d04","datavalue":{"value":"1192.68829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044181$CB796438-545C-4428-8100-2325D0E7ECC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ee61dd18574b657f614d4963109a2adfd0b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":333312,"id":"Q333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$57A627A7-7544-41D7-95A1-70A397487544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b7f5776a6761e4f5c79b24e34a1ea553edca5c1","datavalue":{"value":{"entity-type":"item","numeric-id":877153,"id":"Q877153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$3A689567-540E-4CBC-8CAF-0FDE351D947D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f095fb766aa5a3c0b3eeb13676b67c4c906ea55","datavalue":{"value":{"entity-type":"item","numeric-id":1044180,"id":"Q1044180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$BD420A6B-A0AF-4899-AB19-2EB017499B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$88DBFB69-82EA-4B10-AB75-7788C42B3CC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$0089CF3C-AA55-4E26-967F-98D8A88D6B79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60d299e7db113c73bf4e2404b159c8b142acf49f","datavalue":{"value":{"time":"+2009-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1044181$A4CA9052-9F54-49D3-943B-77EAAD6CBC14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044181$36B6B7B7-96BD-46A6-A579-475EB74E02B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044181$B4165166-66EC-419C-88B2-2C08262FB2D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c569e7e28b375f1c039f8763cec2f290fc0bf6d7","datavalue":{"value":"5645351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044181$3C23443A-076A-4417-897F-C67862D7C1AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044181$012D1412-4175-412F-B184-0449FADE710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be9847b5080561732e2df3fe2a5afade2166808c","datavalue":{"value":"routing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044181$C698B6D4-C706-4E8B-B434-BB21A5381CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044181$824005ED-7B4E-4B9B-9C66-4F35E7C6416A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"368a214e4e768752f0a825e8547368920a5f7e74","datavalue":{"value":"event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044181$C8C3B69F-8984-43CD-A015-C10020CF1447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2e1492e5d2c06ddb7e1b0e4884e962badd1e3d8","datavalue":{"value":"topology discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044181$202EBA1A-F3C4-4429-93E3-9EE5A7E4FDB5","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":"Q1044181$AD5F388B-D9B9-4318-B1CD-30CFDC90E44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$CAE99662-ACD4-45FC-B665-76DDECCAC376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"696f112b890c500979606d59dbdcb375105eab27","datavalue":{"value":{"entity-type":"item","numeric-id":15523,"id":"Q15523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$B87293C9-F35E-4601-B839-EA831B06B9A6","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":"Q1044181$4C06F69A-FF48-4B4B-AA06-A9A02B639C8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3784a2010752e698ef42b2b57b0e62d1a3af810","datavalue":{"value":"https://doi.org/10.1016/j.scico.2009.07.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1044181$05DAE3E6-416B-421A-A40B-0CBDD80593CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b1ad82a0340f92863c902f7432beb804c645d3b","datavalue":{"value":"W2120822777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044181$58AFE8E9-34F0-402B-B16B-79F2BD40583A","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":"Q1044181$BD9771C9-0B4B-4050-955A-152A513B9D8A","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":"Q1044181$AC102F68-84C5-4FE5-BCCF-54AC107341CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9300d2bf0dcdb3bae13ac524c29a0cdc1c50ee","datavalue":{"value":{"entity-type":"item","numeric-id":1402471,"id":"Q1402471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$54A7BFEF-8A0F-4EA1-B944-331BC38A9331","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":"Q1044181$5D266549-86B6-4AE8-BF7C-4FB9577E9D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$26D1ECAB-C606-4753-9A76-28BE9C3F41C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6a696fb3263fafba8a63fc08a69e146517abb3","datavalue":{"value":{"entity-type":"item","numeric-id":2754032,"id":"Q2754032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$4EA3FD6B-E0E3-40A8-B947-3AF20E8F415B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$D062EBD2-AEC0-413D-AA4B-0E98AAEA7AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$BD9DAAB2-1AA8-4D4E-94B8-7DC4A5A236F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$02F5EA69-9FD8-4D72-9D25-DDB1518DBD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$951196FA-FFB4-48CE-AAA1-3EBE33D12EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a71147b0cf22d2207c60a2c9159879e1cfdbbe","datavalue":{"value":{"entity-type":"item","numeric-id":5929016,"id":"Q5929016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$31FB7570-C06C-4ACC-B370-E0C6E7BC4B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad55c99a91fa8f6b9f828213a7ae3827c897c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4325545,"id":"Q4325545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044181$404B7B12-EAA9-4818-9A4C-AFA47B526046","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d756af61909a6d43892116b95601ea70e309109a","datavalue":{"value":"10.1016/J.SCICO.2009.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044181$F92A9CB3-49EB-4B6B-8135-980312FAE4AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66c7db6ddb9c3232b89aee63382fbb24a487753","datavalue":{"value":{"entity-type":"item","numeric-id":3605457,"id":"Q3605457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1685cafb6317ba7e61a56bd73d61afe462f75e8f","datavalue":{"value":{"amount":"+0.9869745373725892","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":"Q1044181$294E16B3-15E6-46E8-A0DB-875CD3A7CA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5545e03fb5386bce2e48f22f712d06cee91ab7","datavalue":{"value":{"entity-type":"item","numeric-id":1402471,"id":"Q1402471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700665cce0546d3870552753531df001f849c47d","datavalue":{"value":{"amount":"+0.6946596503257751","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":"Q1044181$F31DC7E2-B220-4910-9C30-0BC8C1DF52E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d45779b99e7723e20b9f409c3ac84e4a9848c3","datavalue":{"value":{"entity-type":"item","numeric-id":4494258,"id":"Q4494258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed85399a544228f91897e1f3de5e156071ac0212","datavalue":{"value":{"amount":"+0.6943832635879517","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":"Q1044181$C57E27A5-2909-49E2-8A84-79C5C70823C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b5a75c8443eedaffdf3910952b4a1b3264dcd8","datavalue":{"value":{"entity-type":"item","numeric-id":3525640,"id":"Q3525640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed85399a544228f91897e1f3de5e156071ac0212","datavalue":{"value":{"amount":"+0.6943832635879517","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":"Q1044181$581F1C3E-E5B5-4654-8E78-EB7DC3FABE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d558d9a53636c1992eee4a61bd8fef60d7a563e","datavalue":{"value":{"entity-type":"item","numeric-id":860848,"id":"Q860848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b601cdd0ea60d2ff42638d09576d59e922b9342","datavalue":{"value":{"amount":"+0.6729491949081421","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":"Q1044181$BEB50EA7-058F-47FE-843E-01B0816524F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Developing topology discovery in Event-B","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Developing_topology_discovery_in_Event-B"}}}}}