{"entities":{"Q3605457":{"pageid":5635363,"ns":120,"title":"Item:Q3605457","lastrevid":90492278,"modified":"2026-06-04T20:24:45Z","type":"item","id":"Q3605457","labels":{"en":{"language":"en","value":"Developing Topology Discovery in Event-B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510221"}},"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":"Q3605457$D5776643-4CC9-4C44-A360-4576C89F04BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b61a8baf1938f5b301aa193384760d52bd8f9032","datavalue":{"value":{"text":"Developing Topology Discovery in Event-B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605457$B21E8E96-2685-4EB8-A773-8A4FFCE9D6D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee6a1a8ff35c1150386be00888bb3b9320afb105","datavalue":{"value":"1211.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605457$3EBE1198-B0FC-46EB-BF57-7804DBF70C0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1a58724e244cfb8d9722ceb6072d6f07f6ba0a0","datavalue":{"value":"10.1007/978-3-642-00255-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605457$89C28767-FD38-4819-993A-0DBDEF7E8990","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":"Q3605457$CEBF99C1-B1A3-47E5-A6BE-6B1D98244CA9","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":"Q3605457$100798DA-1CA7-410D-9F46-B6F5A81ABCBB","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":"Q3605457$DAA0FC31-B8F1-48CB-A6C0-7CA16D48CFA3","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":"Q3605457$E6157877-92FE-4741-A211-C3EF28E5C68A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605457$1DFFD036-65A0-48B4-85B0-BB448E242586","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605457$FDFF6F2B-F142-4750-82BF-80C4E4B71B60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da0d10f6e2b0f2f34ebc3a14b27b2cc7bd990ea5","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.9626","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605457$1F76EFE1-3BDE-48BC-A820-AAB1B4917B73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605457$BB8DCC97-F848-4E40-A20A-C248FB61EF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605457$6DA2B640-4F13-40B3-9700-BE22EC0FC835","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4852f1519dfc7e459d6dcd53f70d43dfb9c5def","datavalue":{"value":"5510221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605457$5A312740-D3FE-481B-A664-FB0D1AE66310","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":"Q3605457$F8308001-6E68-482B-B56B-B8D4E30F15A8","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":"Q3605457$C9804B49-0F47-4A7F-A408-C02EFC9CE3C7","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":"Q3605457$E09EEFCE-E85F-4106-A6E3-081C8C4F697B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca0b4e181e803cbd9e55cd4aee6d815664267e56","datavalue":{"value":"W1505442702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605457$BFC235ED-A1B2-4B19-9FE7-2879893686ED","rank":"normal"}],"P223":[{"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":"Q3605457$A224C49E-62EC-47A0-9E7E-FB7C193C9BED","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":"Q3605457$BAB53DDC-A347-4D4B-A1B6-82A66039E443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315091f05ffc01f55496b96ef6a81fafe970c9b0","datavalue":{"value":{"entity-type":"item","numeric-id":3455541,"id":"Q3455541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605457$E84F9AE9-9B02-4588-AED9-13BE65C2665C","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":"Q3605457$C6E46E53-46EA-4708-8E6B-0DFFE905FAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8c268d1347768495597f2251b22c6a2845cad3","datavalue":{"value":{"entity-type":"item","numeric-id":1044181,"id":"Q1044181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605457$11E7324F-8AC0-4388-94AC-F020067AE958","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":"Q3605457$0F0E8445-4ECD-4F32-B391-6D79EEC7F085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78e7da1576a6992c53b5deb6ba9a2a8e687262eb","datavalue":{"value":{"entity-type":"item","numeric-id":4319638,"id":"Q4319638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605457$87194360-0B78-4CB2-9414-7EDF13C154B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1542a55fba04f327437f85b1d2791f9062723ec","datavalue":{"value":{"entity-type":"item","numeric-id":1044181,"id":"Q1044181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q3605457$BE2F1B71-C226-49D4-9179-FCA8883D01BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a345e0ef7677f100d5416cdcd714f0d571729f1","datavalue":{"value":{"entity-type":"item","numeric-id":2810963,"id":"Q2810963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f696f66ec35a94e0923810f909ab248e87baaf","datavalue":{"value":{"amount":"+0.8561655","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":"Q3605457$1FD1AD45-2122-4C64-85AA-B595A58BC3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e2bc39987b504f00bac18862553e2fa034746e","datavalue":{"value":{"entity-type":"item","numeric-id":4947227,"id":"Q4947227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c0e28d210ae88724266edc62d7b20ddf6d8852","datavalue":{"value":{"amount":"+0.84342337","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":"Q3605457$F1D9B360-98BF-48D1-B6F3-A331EA8BBF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4bb5c2dca697a699b44f86ae9ae474463c44dae","datavalue":{"value":{"entity-type":"item","numeric-id":5022659,"id":"Q5022659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8319215418a456b289e4c0d0717c283693692b","datavalue":{"value":{"amount":"+0.8152184","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":"Q3605457$4A24EBBC-518B-4EA6-B8BF-4D0CD26A31C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08709d6055832fe363919f054770918f01bf57cb","datavalue":{"value":{"entity-type":"item","numeric-id":5022662,"id":"Q5022662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6802f762bffb1bfccb233ca82c7be5d96a1e56","datavalue":{"value":{"amount":"+0.8093345","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":"Q3605457$7905493E-988B-4819-9FF7-E42D19BF412F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75767056c8bc905a861fd566a74aeecc3deaa194","datavalue":{"value":{"entity-type":"item","numeric-id":6041163,"id":"Q6041163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce872a5f1ca044ef0870f0eec2f4b0753d543d1","datavalue":{"value":{"amount":"+0.8085173","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":"Q3605457$AC554FA6-9E34-414B-B327-AF1D24C4352B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed3e721e32be49936b84d94c13180b4366e8323","datavalue":{"value":{"entity-type":"item","numeric-id":2842627,"id":"Q2842627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ebce65d2ca802108d60744d8e3100bb2eaff44","datavalue":{"value":{"amount":"+0.80437815","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":"Q3605457$5C19BE28-86CB-44BB-BF85-2CED3FE00E24","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"}}}}}