{"entities":{"Q6041163":{"pageid":13175264,"ns":120,"title":"Item:Q6041163","lastrevid":93738857,"modified":"2026-06-05T05:00:46Z","type":"item","id":"Q6041163","labels":{"en":{"language":"en","value":"Developing a new language to construct algebraic hierarchies for Event-B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689265"}},"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":"Q6041163$06C37E7E-9CB1-464C-9E5C-7028821ADA1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fd47d5d2e71aa51489c7c7ddfcf7975cc89a138","datavalue":{"value":{"text":"Developing a new language to construct algebraic hierarchies for Event-B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041163$B7D9E990-1574-4476-8C7D-E4B484E74608","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46be70bc2529122f4486f89e650f418baff2dbba","datavalue":{"value":"1511.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041163$EF3B8E3F-065F-43B7-8602-A1E41AE4BEC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d42053a309c8ab51a389761e68b8262c08177e7","datavalue":{"value":"10.1007/978-3-319-99933-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041163$A7F43392-8482-491D-9C5F-A8BD08DC941C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02602812e8c677f46c4ba4febbc893f4aab8f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5045375,"id":"Q5045375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041163$7E677D3A-3F00-4E74-8003-73B2187853CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041163$8959DD98-E522-4B32-97C8-499F21E17AA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91f3f3ad1ae2647a298f76cecf2fbd49e777f634","datavalue":{"value":"https://eprints.soton.ac.uk/422044/1/SETTA2018.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041163$DACAB161-4F0E-4D0C-AEE0-D6AD2ECA865E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041163$24290724-CF83-40A5-9981-F6B970811177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041163$E1754FD3-57D1-44F9-9A31-81F69545B24B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fc190010f7cc6ba21be014ee634a710ddfd98fa","datavalue":{"value":"7689265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041163$B7442B4E-2878-4D1C-92A4-54DDD86A9CB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041163$C3C8047F-00D7-45E3-BAE5-1AFDA55030AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041163$A0B9E690-09D4-4CD9-BD8E-C0DE27C2ED32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041163$6400F559-D603-4882-BA61-21E249A70D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aa1b2d4e700f1734c194b860414140ce3ceead0","datavalue":{"value":"mathematical extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041163$38313361-40C7-4F6C-B402-9F82CE8C60D5","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":"Q6041163$CF1148BF-9BE5-4BF7-A44B-90CAD413B57E","rank":"normal"}],"P1643":[{"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":"e0e345887de3b538e3a5621c89a3310d8804d773","datavalue":{"value":{"amount":"+0.7800010442733765","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":"Q6041163$A3592A1E-00B2-4573-BB9D-A52C186CCF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44462bd8f8015d07b19728aeb91786d6dc3f619","datavalue":{"value":{"entity-type":"item","numeric-id":5298560,"id":"Q5298560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24863ac16941628a32817a7dfcfebff34ce14703","datavalue":{"value":{"amount":"+0.750279426574707","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":"Q6041163$A18B1A61-E12C-4EC9-9B73-678EAB15956F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d5582d94b0fc3cceed717e1bfd9ad4c75fa93b","datavalue":{"value":{"entity-type":"item","numeric-id":2520616,"id":"Q2520616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77269cb77860b72aafffdaa2b4fe565484238605","datavalue":{"value":{"amount":"+0.7303721904754639","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":"Q6041163$9E88CE9C-4D45-4876-B8E1-4C0B2A20869E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eead6d73006e2f273bb6ddfbd6db3dba54c65290","datavalue":{"value":{"entity-type":"item","numeric-id":2183716,"id":"Q2183716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52eaa8843406b20d100ef2a120657edf430ad274","datavalue":{"value":{"amount":"+0.7217311859130859","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":"Q6041163$AF0E7CC0-8DD5-4090-8439-6D18A7223701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa2d72c72f3ffe1ebddee81cb9132893019fdfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5208502,"id":"Q5208502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4f93271485b4b5de154b7df116c0961cf2edea","datavalue":{"value":{"amount":"+0.6975486278533936","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":"Q6041163$C0DCBEB1-C74A-4F7B-BBD6-1FC8B95BA51B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Developing a new language to construct algebraic hierarchies for Event-B","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Developing_a_new_language_to_construct_algebraic_hierarchies_for_Event-B"}}}}}