{"entities":{"Q5703821":{"pageid":7733375,"ns":120,"title":"Item:Q5703821","lastrevid":41197118,"modified":"2025-04-18T23:35:07Z","type":"item","id":"Q5703821","labels":{"en":{"language":"en","value":"ZB 2005: Formal Specification and Development in Z and B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2227885"}},"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":"Q5703821$217A1AE3-E519-48B4-A594-2785BCFE5945","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0982931bf4646e9cc08cfa8cc9bfbaf0573144f6","datavalue":{"value":{"text":"ZB 2005: Formal Specification and Development in Z and B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5703821$F8289CF6-8176-486C-9F1B-24278CF3D73A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dced4c2768671654d97a3cdb340f979a09f48894","datavalue":{"value":"1118.68553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703821$77AD0135-8398-447B-9B67-51BF5F222511","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a643bb4d6b134508bc8c5fad926d147e7d14ff57","datavalue":{"value":{"entity-type":"item","numeric-id":202498,"id":"Q202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703821$1F707EE5-38EF-46F8-A3B8-C53A45BD9E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"349b692805db0e503a93726b29e8a1005b612e5b","datavalue":{"value":{"entity-type":"item","numeric-id":2844815,"id":"Q2844815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5703821$63794AE9-8B0E-410B-9C80-3DE58C232783","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":"Q5703821$7ABD304B-DB7E-4E37-BD9F-475276CB03DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7504496f9cd86e8ea3172be7e26b0a8b93a95b96","datavalue":{"value":{"time":"+2005-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5703821$36F4D7F9-61E8-4520-A535-6FAEBBBCB3E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703821$40A76838-17DA-4BBD-BADC-8EE1D92C0E55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c76263bada5abd6f068aa1dd8692674b3473c68a","datavalue":{"value":"2227885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703821$1AD77A54-1816-407D-AB69-42698012DB6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703821$BA9E3941-89A8-4FDF-881E-CF3537EFCCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703821$77EDC333-FB55-4B3E-A49D-F2B79FD9DB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8879f34731aff6ba75e36c57a148ee506f2563","datavalue":{"value":"SAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703821$C40CA153-7F41-487B-B42F-DA9FB25E7C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bbbdcf1c701541c2a3103ebcd643f1515606d8","datavalue":{"value":"tool support","type":"string"},"datatype":"string"},"type":"statement","id":"Q5703821$BA761641-2ECB-4988-A1BA-90CF19E48A8A","rank":"normal"}],"P1463":[{"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":"Q5703821$0DA7E5F4-598E-48A5-9A21-430235BC3BB2","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":"Q5703821$CF33F9CB-87EE-4220-91B7-AFA70FC3E034","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60f6bcad7dadb7e20d91911820b00f96e78ba4a0","datavalue":{"value":"https://doi.org/10.1007/b135596","type":"string"},"datatype":"url"},"type":"statement","id":"Q5703821$75D0B3B4-59AA-454F-A598-CAD736F22610","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d7b2ae5055be8e6b12aa6f58e16088248a1c51","datavalue":{"value":"W2916183516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703821$B78C22E6-F968-4C93-BF0B-A138D4697C10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14f818a8f2a64b65af6ac861ad01dd85ebcebc4","datavalue":{"value":"10.1007/B135596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5703821$6ECE0F6E-3FB6-4315-AC6D-BF5AD027DA27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfc1e4d6930a9171b000b7902a304d8ffd328fd","datavalue":{"value":{"entity-type":"item","numeric-id":539218,"id":"Q539218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc64e6c1cd0357affc0bac39409a6584d946c04","datavalue":{"value":{"amount":"+0.9034066","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":"Q5703821$5D55D532-0401-4359-B11E-3C7CB422F560","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":"94049011566a1d3ce2710854af0bd499228d87e1","datavalue":{"value":{"amount":"+0.8558873","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":"Q5703821$FED89D76-DAD7-405F-A061-E8E01B6D7F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0154aeec356a7c9819dc2ec846d9fd63b64de2bf","datavalue":{"value":{"entity-type":"item","numeric-id":2789057,"id":"Q2789057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4da7c935ca67e96dc00c283e542e44832e8267","datavalue":{"value":{"amount":"+0.8534126","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":"Q5703821$266BE711-CFC7-4D48-A689-98470335EE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9561e57bdeae0bb9b06717d09bad3b2edf754c","datavalue":{"value":{"entity-type":"item","numeric-id":1961429,"id":"Q1961429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fac13d035181955689e7be128810cc77f0210f1","datavalue":{"value":{"amount":"+0.8511654","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":"Q5703821$96520C30-3EBE-4F62-83B1-AAF7DB4032C7","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":"05ab684ef4d10005d9802e778dce993d0e3d5930","datavalue":{"value":{"amount":"+0.8491403","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":"Q5703821$47C52E27-9A21-4A20-BDC2-0B9B4CB9097F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4154e163c0832e78feb3df69205db4800d643d4a","datavalue":{"value":{"entity-type":"item","numeric-id":5312934,"id":"Q5312934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd50c595a3b291ee9063882ab9d8118f1c9cb46b","datavalue":{"value":{"amount":"+0.8323566","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":"Q5703821$062FD48B-5D28-45EA-AD56-4967E40C338B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104cee67b542a22a9568d3979015d13d67a3bb1b","datavalue":{"value":{"amount":"+0.8318711","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":"Q5703821$1C43FCB3-D99D-40CC-BCE0-F9197BF6923F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5703821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5703821"}}}}}