{"entities":{"Q2999306":{"pageid":3010030,"ns":120,"title":"Item:Q2999306","lastrevid":45229264,"modified":"2025-12-03T13:26:32Z","type":"item","id":"Q2999306","labels":{"en":{"language":"en","value":"Directed Model Checking for B: An Evaluation and New Techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887514"}},"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":"Q2999306$CD37EBB1-3F76-426C-86BF-9D5D81836BC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a3cb010dd2bde43676a31fb990a430ba1bbfc92","datavalue":{"value":{"text":"Directed Model Checking for B: An Evaluation and New Techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2999306$710D8A6D-CF36-4999-998B-BA689A6FB16C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fbe94cfa1215063b3460532c8f72ef4911b4a95","datavalue":{"value":"1325.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999306$4CA3ABEF-7247-4C72-BF19-654AD075C9DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"387ec29fccad1e67c2e419997380f11b5cffbb8c","datavalue":{"value":"10.1007/978-3-642-19829-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999306$09A37FE8-01D1-489A-969E-44BEDB71D407","rank":"normal"}],"P16":[{"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":"Q2999306$87C700D4-ED68-43A7-AC51-6FA399047268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bde3fa656b7aaf848de0c934890413d8ad73903","datavalue":{"value":{"entity-type":"item","numeric-id":2147692,"id":"Q2147692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$3AE674C8-FECE-49DE-BFE7-AC5A9D0917C4","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":"Q2999306$D915D0AE-5F5F-43A9-8FA7-C8CE59122D66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f158f41192295853b61fc4556e992b30521ff06f","datavalue":{"value":{"time":"+2011-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2999306$E73C8532-5FBC-4B53-BF4D-1AE0598D5AB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999306$63890BF7-461C-4051-9E30-73F4FF6E0040","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20893daa47cddeb90e3998dfc50cce41b8ea1017","datavalue":{"value":"5887514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999306$5D8F0129-77B2-4D5F-AD2E-D0DFD9F2C663","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999306$DCAC2588-8176-4175-AAED-A4CB3567D39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066102be747f0d2c4f29c6db2bd15fee0273f3d9","datavalue":{"value":"B-method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999306$7B38B994-55C8-46BB-B65C-792A8071DD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bbbdcf1c701541c2a3103ebcd643f1515606d8","datavalue":{"value":"tool support","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999306$7766D463-3665-41D5-908C-96D1CCBEBCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af8e8ebb81d64da7d909ee053fbd0107f4b0080a","datavalue":{"value":"directed model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999306$9A3E58D6-4594-435F-B105-D919429C08AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26a91fa3877ce4ff4e1cbc4fd7a7c11ebbd1370","datavalue":{"value":"search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999306$CA45A8BC-E072-4244-A9DB-7D7DBF9529C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b1e9c35e46b2d7486cb3c7108fb2ff1fcaaa643","datavalue":{"value":"industrial case studies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999306$DE74E91A-8C65-4054-922F-0E62F77E2C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f12a5a1bb8b683b4a145865fab30d25f003aa2","datavalue":{"value":"spin","type":"string"},"datatype":"string"},"type":"statement","id":"Q2999306$D1ECF3B3-0393-4984-9678-F9BFC2BE13FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36c9d6fcaf477a579c7792b357595ef21fc9cc19","datavalue":{"value":{"entity-type":"item","numeric-id":19660,"id":"Q19660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$A51C6551-3744-42FD-80BA-730336A3D803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"042a9437b7b46d1b077ca1a024b0b14d602b6c76","datavalue":{"value":{"entity-type":"item","numeric-id":21511,"id":"Q21511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$54E2FEC8-216B-40F9-AFC1-0CBF1DDC326D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$75012553-B58C-4E9F-A274-20CF0EA13B35","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":"Q2999306$EDE598BA-885F-4F7A-B3DF-BE67C3500699","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":"Q2999306$7D405052-C55E-4B0D-8B4E-1C5F695ACB3F","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":"Q2999306$BDC7522D-452F-4C3D-95D3-CD9518A00E93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f23f8d547216e41e3e788ab2c24f4891e0785b11","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19829-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2999306$7DC5D65A-B8C3-4AE7-B3A6-392B83E35881","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e451ec7ee7b0e75db820943ac53d9bc3b456e8f4","datavalue":{"value":"W1655466830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999306$B96D4D46-A656-404C-B55C-B91EB755B781","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":"Q2999306$BC62F941-CD44-41BE-B70D-33743C8B480E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d52ac13fddfe2dc0c6676e5b4f8c299aff04944","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$54966954-C39E-4702-9071-A09E0C837D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$A36B8C7E-E272-4C04-B224-A406B5BACB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c01de818335e873dd765244763179cd84d37371","datavalue":{"value":{"entity-type":"item","numeric-id":5899034,"id":"Q5899034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$3F203CF1-965D-48BB-8640-B5250533F866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19666e60aa5f5be77088292c4f14386e9279d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":5899033,"id":"Q5899033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$E458FC37-D585-47AF-9D14-0E7B3B9E5846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604d18bd5db33b46dd0ebffff25aace1ee6c7166","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$AB65E1F8-73DE-48EE-B112-45EB208AA94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a42467b52e94511ef177e7169682110c81f3562","datavalue":{"value":{"entity-type":"item","numeric-id":4738485,"id":"Q4738485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$3C4267A2-ACB1-4F88-A5B1-E2811A181813","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":"Q2999306$CEDD6606-2BDF-4BDB-8413-A5B6F8C1255F","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":"Q2999306$D72479C7-A94B-4039-AC30-59221A63D24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999306$596D3F3B-7CF8-45B1-9ED7-64A0A08355A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5752acf3f97a0751e90d5e7d3ae78ae7ce9912c","datavalue":{"value":{"entity-type":"item","numeric-id":3614878,"id":"Q3614878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978ed767786109d3d73b51ef8c6b30de7423fac3","datavalue":{"value":{"amount":"+0.912758","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":"Q2999306$7DFBF1B3-E652-42CD-9ED9-8740F86B0413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dac45c8603c2a08b3f04f2a6d036c596191ef2e","datavalue":{"value":{"entity-type":"item","numeric-id":5899034,"id":"Q5899034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb1a77e0b0c017a6185560b144ca5940e8d157f","datavalue":{"value":{"amount":"+0.8921614","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":"Q2999306$4FEDE2AE-89D6-4F63-81B8-0B656D68A630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15cf2be86523f68c880118887b593b0d05ccd043","datavalue":{"value":{"entity-type":"item","numeric-id":3617760,"id":"Q3617760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7f8e6368845cf4ee668193080afd60fd14e9aa","datavalue":{"value":{"amount":"+0.89209133","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":"Q2999306$268BC18D-051C-41CD-8759-7E03DE186FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5249675c0e459acfdaf8415733e78d74a73ea3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3179299,"id":"Q3179299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe001f861687bb3ee5082bec15adf5194dd2bd5","datavalue":{"value":{"amount":"+0.88796234","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":"Q2999306$996C7E4E-51BB-4143-80AC-DF750C344A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce9451977bdc74838b4cf3cf6f2b2426548040e","datavalue":{"value":{"entity-type":"item","numeric-id":3540066,"id":"Q3540066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddb8ad9a2dbdb945353031e8a93b9843aec102b","datavalue":{"value":{"amount":"+0.88541716","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":"Q2999306$8D48F8C1-65F2-4231-86A1-458CB49E384B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373accb42c22b62b51bc441ddc14c88d9c0f7027","datavalue":{"value":{"entity-type":"item","numeric-id":3176366,"id":"Q3176366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cda7d7271f28f9ac420f27a03d31fd36bda3e61","datavalue":{"value":{"amount":"+0.8803352","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":"Q2999306$15E259DC-EF7E-437D-81CE-1037EF655038","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999306"}}}}}