{"entities":{"Q2576575":{"pageid":2587318,"ns":120,"title":"Item:Q2576575","lastrevid":48611998,"modified":"2026-01-05T09:29:59Z","type":"item","id":"Q2576575","labels":{"en":{"language":"en","value":"Model checking, testing and verification working together"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238119"}},"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":"Q2576575$E84A52C7-A0B2-4510-B20D-55D8D3D93998","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3ae4a71e16dfc0e3e96eed7536f27b21349364c","datavalue":{"value":{"text":"Model checking, testing and verification working together","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576575$663CE570-C673-460F-A7F9-775E6929EF98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63f1d346da703415b000dbaf492a4ccc6eddd5a6","datavalue":{"value":"1101.68681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576575$EDDE402D-044F-4521-A0DF-BBF0C369306E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a435034e922571557f9f6ce98bc841f26d1cb0","datavalue":{"value":{"entity-type":"item","numeric-id":930877,"id":"Q930877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576575$58E6CF91-1E7E-4ABE-BFE1-419A66B7245D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576575$6C66D52A-F532-4180-A166-52B46F63D1C9","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":"Q2576575$2513D6AF-CE7E-43D3-82BD-FE982D034DFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"872b3ec3e8824551f65a9a9d299f4b9d6894a9ac","datavalue":{"value":{"time":"+2005-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576575$B7E6C11E-85BD-447F-9241-753953AB500A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576575$9C51C2C3-F2FF-4B08-9FF5-72B0E7AE2F6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc25a6af2f893c98680e9c5a3e4cb4292d8d1bf8","datavalue":{"value":"2238119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576575$1CC42687-8AFC-4819-9CC0-136433852327","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576575$0292D65C-069E-4E1D-8C68-55DF0F4C87CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a966d0d256a51016eb1af7fe29994ff8c727c54","datavalue":{"value":"Test generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576575$33AB8DD8-D612-45B7-97B4-C6137928909D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576575$7E62E62D-F02D-441F-A127-12433F52841A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576575$E734DBB4-51E2-4FF4-8249-96970A9BDD4E","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":"Q2576575$97CA1D0E-8328-4B3B-9167-01E0FB62A6D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"687322b0634d2a1ca7f4dbbdf30630ead5be9483","datavalue":{"value":"https://doi.org/10.1007/s00165-005-0059-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576575$42053A9C-DA24-4D35-AF97-69457D580726","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6f346d9d3e698a5a23e3b9a67bd77eb258f870a","datavalue":{"value":"W2101126217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576575$45139447-8873-483B-9FFC-38B7EEF1F3C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2c6b88fb43461431b4c2219a80d2c4c720f0fd0","datavalue":{"value":"10.1007/S00165-005-0059-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576575$7EA9980F-916F-472B-85C7-0DEB5A0606DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3440c06e8b0d027c6a1b80ff01ad8a593d9004b4","datavalue":{"value":{"entity-type":"item","numeric-id":5305656,"id":"Q5305656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83035f39f4f7275eb3cf8b645a1d20e1d4ce4a4d","datavalue":{"value":{"amount":"+0.96117901802063","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":"Q2576575$3362EC23-F1FF-4B08-89AE-CE9AB6C91A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2405ff32fd3c2eb1ae13e5863c9045acca62ab","datavalue":{"value":{"entity-type":"item","numeric-id":4449163,"id":"Q4449163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb98f5bc89a2781c29f300f586d17eb792c19f89","datavalue":{"value":{"amount":"+0.7605787515640259","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":"Q2576575$B129E080-A1DA-441D-8044-F051788BBDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46cd1bcaba57ac722cc1402854334ef1026f6e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4808833,"id":"Q4808833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5e135cdd1006aefaab49f5660dfe308ae44f3f","datavalue":{"value":{"amount":"+0.7497719526290894","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":"Q2576575$ACF0EFEC-F7F0-4113-ACD8-459D4E489A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52eee74a2a157ec512e4eef0bb4da0294fc354f7","datavalue":{"value":{"amount":"+0.7374395132064819","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":"Q2576575$B71D1ACD-CB4B-468B-BE83-C547D87F477C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52eee74a2a157ec512e4eef0bb4da0294fc354f7","datavalue":{"value":{"amount":"+0.7374395132064819","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":"Q2576575$9E17AA9E-3366-43C5-B1DA-FCEC77E8AF18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576575"}}}}}