{"entities":{"Q736463":{"pageid":738312,"ns":120,"title":"Item:Q736463","lastrevid":63951330,"modified":"2026-04-11T16:38:23Z","type":"item","id":"Q736463","labels":{"en":{"language":"en","value":"Optimising the ProB model checker for B using partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609072"}},"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":"Q736463$AAF645C6-901C-4231-8E4B-2A2D0CF58F6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a64da11c25591c4b6c9ba0236520563b35096cc4","datavalue":{"value":{"text":"Optimising the ProB model checker for B using partial order reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q736463$600B9782-32DC-4C53-A771-E0128B2B88B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f926b3b7b57fcef1184a7721e7b7a08bcbb5dc1","datavalue":{"value":"1342.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736463$9D34E97E-D5A1-4BBB-9400-CE03F67BFE5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc0b793d4312b5a1dd6def8e87a786903151017a","datavalue":{"value":{"entity-type":"item","numeric-id":736462,"id":"Q736462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$A9801862-76FC-4961-BDA1-7C14A9DC00A9","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":"Q736463$043D7AA8-15EF-4CB9-B327-5E8870A21A4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$AE66483A-CF17-4A1A-BBA7-E9864645C21B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"232725aa107c4269ab2284724848a38212e521dc","datavalue":{"value":{"time":"+2016-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q736463$E3D0D032-5959-4904-AEEF-4995A4E87B2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736463$AD6D3D36-8F20-494D-8553-2CBE8AC4F41F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a578dfcefeb6f3b33e010bb7ed911a0d669b427","datavalue":{"value":"6609072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736463$8E9D6D51-1845-4481-AED9-CDEF29E84B0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q736463$3762B305-8BBF-44EC-A950-4B4683B915C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q736463$3B014AD7-5D71-4DF6-89DF-CAF2E58E390F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q736463$A85E5B49-158B-4569-966A-8D3B85696115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q736463$481BD055-2C58-44E1-BF23-4B445783204F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q736463$76F004EB-E6ED-4A41-A048-2458328B711E","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":"Q736463$2E36A4F7-14A8-4236-86B2-0B2C9BA42EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95971f6b611ca7d919754c769fae0e473be28779","datavalue":{"value":{"entity-type":"item","numeric-id":19265,"id":"Q19265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$AB809553-ECD3-446D-9B20-40B40F5F21CC","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":"Q736463$39B44314-8B47-47B9-ADF8-C86DADCC3C29","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":"Q736463$498932DC-E4E1-45D7-A4AF-30291DDCB4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$FE34F927-DB58-4293-A342-4839BB16A7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$EF674F11-D238-4083-8411-2A61BE54C70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0fac9fb5cfad6545c88cc8857964533dffc3ed17","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$3D27DDBC-9829-477D-8077-B5B835205797","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":"Q736463$78DDA856-1F90-443F-AEE6-F67D1C8235E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7152c8531b866987c21bf6d6bc81c3dd4210184a","datavalue":{"value":"https://doi.org/10.1007/s00165-015-0351-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q736463$C5E59DB9-7E92-411B-B13C-7C90408EF613","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b96e75f99d2b0d02ba3052cb26b3854e610e31d4","datavalue":{"value":"W2295263482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736463$AA05D458-0E03-4A2F-AEE7-0237811133FE","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":"Q736463$5CB84695-8B98-4D3D-9AC8-15B46631C93D","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":"Q736463$EEBA0FBC-31F6-463F-98A9-720542D7035A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c003c36b1ed6d5e52c413ba8501fbc61ab9d56b1","datavalue":{"value":{"entity-type":"item","numeric-id":3605476,"id":"Q3605476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$7FD1246D-205D-4F0F-A1DC-14ACCCF270E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5874407511487b3c01f8b0c8bf27d394980d9e21","datavalue":{"value":{"entity-type":"item","numeric-id":736912,"id":"Q736912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$DE2B85CD-9117-462F-9A44-E2CBB631EBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122d0e7fd0480f4c0922534f25fb6c2aceea118a","datavalue":{"value":{"entity-type":"item","numeric-id":2999306,"id":"Q2999306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$2A9AAE8B-6966-47CB-927B-4B0B527DD315","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":"Q736463$3F327C67-B947-4179-B755-B7B8934BE27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12b06e6ae1da03648e7ab22e363f7d0d9f46121","datavalue":{"value":{"entity-type":"item","numeric-id":5899046,"id":"Q5899046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$B078C4DE-D926-48CA-AB77-BB7240480AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c143f034c0a7d849f348722742ed4728088212d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901610,"id":"Q5901610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$E9447565-0C9B-4EAD-AFED-FC56F074A036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd325ed68a6335c3158303131fa38fcb65823a1","datavalue":{"value":{"entity-type":"item","numeric-id":1856177,"id":"Q1856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$22865298-7F42-4C96-B055-52D73809AC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae0c538ddaf593c8249964177668580336b055e","datavalue":{"value":{"entity-type":"item","numeric-id":736463,"id":"Q736463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$528450BC-7DD2-4C8D-8F04-600B314D77CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$DB7410D7-F717-4419-A26E-A2A4DE1AF4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$8C279220-544B-41DE-A90B-445810B1FCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$D20F904E-8ED2-41F7-A588-1AA30D167102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d30ddf4ad7d79dfd09c6f1678ccfaa559adbeef","datavalue":{"value":{"entity-type":"item","numeric-id":3535366,"id":"Q3535366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$D934ACC9-3983-4CA6-A11A-236A769F195B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$7861A174-5FE6-4E7C-B340-684A2B23E304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$BBC3E2AF-259D-4872-8F94-BC88E694390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$78A3D2BB-D06B-4321-A8B0-B2F51EF159EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7557e2d89bfe8667fd8728b0beea8091e7f355","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$016BF7D9-4444-4559-8DEA-01CCBA8B7DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe2335fc33bc83c0b9714989e8ffecc93e1e687","datavalue":{"value":{"entity-type":"item","numeric-id":4499200,"id":"Q4499200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$1F002E37-A68D-45C4-AA9E-6FDE1D2AC8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85ddc12698ba305af5d5d77d4885b33676b080","datavalue":{"value":{"entity-type":"item","numeric-id":2926661,"id":"Q2926661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736463$FBC5E98D-2743-4872-B454-14C4D894ECD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48189725fd695ee9f30bd5e12300dae3ba21e268","datavalue":{"value":"10.1007/S00165-015-0351-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736463$659AC325-F848-4345-A29F-360376F143B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e4e1ca185f95db91d03916f736c7b70c67e388","datavalue":{"value":{"amount":"+0.9051665","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":"Q736463$9078DB0B-B63E-4E63-B78B-E30B4FFED927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a222bf16251a8af35aa3c32835e189c02324c310","datavalue":{"value":{"entity-type":"item","numeric-id":1961915,"id":"Q1961915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52da865b43997a8865aedf444f9f80e58d69990b","datavalue":{"value":{"amount":"+0.8999846","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":"Q736463$DD3E8CE5-E284-4BC9-8FAC-EB2E3B605436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5972ca938906f60441fed43767dc115f898771bf","datavalue":{"value":{"amount":"+0.8996598","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":"Q736463$1945AE95-C2F5-41FD-AB5B-86D1A9A2AE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050b4a2623d15e751baed2a171c14980626a591a","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6555bf6a574cfd61d11e47683325329e29d4aa","datavalue":{"value":{"amount":"+0.8920979","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":"Q736463$981DA938-CFF6-408D-87A8-42969E59AABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8785fdc3b665f792d872207eb191a9027d3185db","datavalue":{"value":{"entity-type":"item","numeric-id":682350,"id":"Q682350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30c6fcc915363c24542e75d7bbde542317cde3e","datavalue":{"value":{"amount":"+0.87767285","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":"Q736463$235CE6FE-4561-4A11-BE2B-725560BFE2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bebc09a091f2a3bac93de1a89e4d5922c49c186c","datavalue":{"value":{"amount":"+0.87605345","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":"Q736463$B87613A7-B645-41CB-AB0E-FC7E6ACA8156","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimising the ProB model checker for B using partial order reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimising_the_ProB_model_checker_for_B_using_partial_order_reduction"}}}}}