{"entities":{"Q539218":{"pageid":540985,"ns":120,"title":"Item:Q539218","lastrevid":62599170,"modified":"2026-04-11T07:11:20Z","type":"item","id":"Q539218","labels":{"en":{"language":"en","value":"Z2SAL: a translation-based model checker for Z"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900643"}},"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":"Q539218$15C7E4AB-121D-4AF7-AB8A-B3A2770D10CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a447fd5626698f8645a5ec64579d26e0ad7d6c1","datavalue":{"value":{"text":"Z2SAL: a translation-based model checker for Z","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q539218$081FCC4F-9640-459B-B9EB-8803EA8391E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c411f53e1cf6b150f7cde7ad32cbee88949534f1","datavalue":{"value":"1214.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539218$1B057838-B2EA-4D5D-8830-2B973107F4FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539218$BDBDEEC7-1CA2-46A9-94E5-51150641C90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c5ecf9023dbf09dcca36d40a2f6aae27b25fb2","datavalue":{"value":{"entity-type":"item","numeric-id":539216,"id":"Q539216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539218$621FC42D-190E-4155-A04D-BF993DA03533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3ff48ea7b3c4701e0c89e9699650ddab9e10d88","datavalue":{"value":{"entity-type":"item","numeric-id":539217,"id":"Q539217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539218$15607850-4A68-4F3C-9B8D-D1BA839A4459","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":"Q539218$C35F0985-0609-4740-B934-060ACA81ABE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q539218$32D8D85E-59C0-4B0E-87FB-3521C09DA372","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b6ee5f70048c72e2796f38ae29416dd773473b8","datavalue":{"value":"http://eprints.whiterose.ac.uk/42920/2/Derrick_42920.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q539218$3C383B00-CE0E-4B3D-8855-50CAFBB6AADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539218$D43277D9-89AD-4074-8F71-644643E57EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539218$BFBA3E56-4851-40B9-8BCA-F77A0398E8CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"251ee77f1fa85a2b56b187512584b7a9b438bd89","datavalue":{"value":"5900643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539218$8525F3C5-C7C3-46D4-BA98-BF846D8B646B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q539218$FBE5F91F-1E0C-42AE-B95F-90550FBBA688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f315e2768396f21206dc5f2de7674f9f1eee7655","datavalue":{"value":"formal specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q539218$E27AA910-32D9-45E8-944D-8B588A3F8C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q539218$EE07B058-D4EB-499B-B112-612B4887E6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8879f34731aff6ba75e36c57a148ee506f2563","datavalue":{"value":"SAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q539218$CA546190-6353-4DA1-82B3-4AAA6E944028","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68079a1ac599a7a055005dfd946e1e3838308e61","datavalue":{"value":{"entity-type":"item","numeric-id":17921,"id":"Q17921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539218$CDA9713A-EABA-4C37-AD56-6C675D078F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"272b1a9e09e3e0c648f0668682ab92d2e1d0ba63","datavalue":{"value":{"entity-type":"item","numeric-id":22226,"id":"Q22226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539218$F7DBA885-601E-4A81-8935-367E5FC9D95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"63f3cfa850ee575905315af13198b25969684fa8","datavalue":{"value":{"entity-type":"item","numeric-id":19145,"id":"Q19145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539218$1B22BD74-DDD9-48BC-9CBC-90BF0070081D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539218$0BD2BADD-4FA8-4FC6-9532-4A06758A30E7","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":"Q539218$61A4076C-4E26-4479-A7A0-1792E438D1ED","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":"Q539218$B10C9096-34B4-44E4-89C3-F17185AD45C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b19a59c9dd6375925e5d8b12a64b78fb4c403417","datavalue":{"value":"W2081784736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539218$3FAE10B1-CD1B-4253-A456-698EB6A06F23","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":"Q539218$2160E7AB-CF76-4295-B0C6-36AC990DC3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539218$9B4436D1-1F71-4C57-9500-7A4D0521D2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f47d5528f6adc20a96c1435f1e0019ea3331157","datavalue":{"value":{"entity-type":"item","numeric-id":4436982,"id":"Q4436982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539218$38BB77E8-9EA7-4B0D-ACEB-3184074297D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabaf51b56a39ab5e77ecceb8bdbacd5e63a1e93","datavalue":{"value":{"entity-type":"item","numeric-id":5703821,"id":"Q5703821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539218$90FB300B-9F15-419E-AC21-FBA8424AEDEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e7110eb3ce98b8ba7e6cf2216f0e8619e578022","datavalue":{"value":"10.1007/S00165-009-0126-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539218$0A919AC8-DBDB-4ABA-B44A-25358F705D68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d148f2efc7554233a315693343ea5700c2434da6","datavalue":{"value":{"entity-type":"item","numeric-id":5703821,"id":"Q5703821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101fea565f1729918d744d76bf0a3037e4adea65","datavalue":{"value":{"amount":"+0.8817623853683472","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":"Q539218$67DB81A8-99EA-49A6-80AF-8BAA5CF754CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bff7b6c8023eb562e0665d4bfc1a227a6803c19","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aaa1447aa5f74690a8ad4d50f0b230acc1ee41b","datavalue":{"value":{"amount":"+0.7757154703140259","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":"Q539218$4AC9BC87-AD09-4EBB-A8E3-FD2AC2D47CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931c6cc52feca5a427051b03643876ffd4b9f811","datavalue":{"value":{"entity-type":"item","numeric-id":4737559,"id":"Q4737559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ef44f8da9d65a94b87019c174ab34c1041d263","datavalue":{"value":{"amount":"+0.7570199966430664","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":"Q539218$92875003-B77E-4966-BF59-9C4D65F544AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947212ab07c75a2185a9227d9dd02c3c0b97a870","datavalue":{"value":{"entity-type":"item","numeric-id":2863830,"id":"Q2863830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c559f1294aa2c5ffcc58788f9501743a2e0aa4","datavalue":{"value":{"amount":"+0.7512741088867188","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":"Q539218$26C7BC44-CAEC-41C5-8CF5-0250570AE8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871c574f5c378d899789693374eaae7d43fc17fe","datavalue":{"value":{"entity-type":"item","numeric-id":5931381,"id":"Q5931381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22cad6fa02f3e146ce391ed1385db7bb1b5a0ace","datavalue":{"value":{"amount":"+0.7491488456726074","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":"Q539218$63ECB20C-5E62-4BC9-8DF4-A45C7015A0E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Z2SAL: a translation-based model checker for Z","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Z2SAL:_a_translation-based_model_checker_for_Z"}}}}}