{"entities":{"Q6199101":{"pageid":13333989,"ns":120,"title":"Item:Q6199101","lastrevid":55589689,"modified":"2026-02-17T19:19:27Z","type":"item","id":"Q6199101","labels":{"en":{"language":"en","value":"Testing equivalence vs. runtime monitoring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7808774"}},"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":"Q6199101$98AD7F00-0B38-4A79-B8D8-4102C9788B90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"592b4f68b53053091cade8a7a7e1aea168d8a761","datavalue":{"value":{"text":"Testing equivalence vs. runtime monitoring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6199101$216A5A62-3324-4E0C-8BC6-8E9BC6350F81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07073909a99739c69e75c71457189143492f6dfe","datavalue":{"value":"10.1007/978-3-030-21485-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199101$B9007385-B647-40E9-BCF0-93329AA4E2CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199101$C2160253-BE9B-45D4-9EB1-B856F277A843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c8411560fc28b1b609a2591d5a543bf011c80b","datavalue":{"value":{"entity-type":"item","numeric-id":1652981,"id":"Q1652981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199101$E3F2CA2F-1EC0-4282-BF09-52F19A9E4F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90c8ea56ac9b448758a81db8e1e29014617fc135","datavalue":{"value":{"entity-type":"item","numeric-id":888410,"id":"Q888410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199101$F1A03B4F-022B-468E-A62A-321B18C14AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199101$F0CAE3D4-5D4E-4AD2-A296-2DCBD36272DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a6dfb5d891e79479fbb9027d2a465e4007f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2011664,"id":"Q2011664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199101$C9868B55-269E-4958-9134-4EFDD770BF99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"924820564c6ecefc5287b3e5601918954370ed83","datavalue":{"value":{"entity-type":"item","numeric-id":6199096,"id":"Q6199096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199101$21B2D7F3-BC26-421A-ADBE-264F1E3DC330","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0e577acca6061328888ba7365d7ba637bb2ce80","datavalue":{"value":{"time":"+2024-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6199101$A2CE90C8-13F7-40D8-8AE3-D0DBAB0C0977","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199101$B86CA9E3-49B7-4C06-BC40-80F1C39667BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199101$9A23E13A-24AB-4E0C-A260-4D5779DB1CFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afae3934be78ba55d4a363158c6981e5a47e62cc","datavalue":{"value":"7808774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199101$8A9A3E62-C11E-443A-A9E8-D817AF0BF91C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c2df63089c44ddfde3f68de7ad38c837b83632","datavalue":{"value":"testing equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6199101$D1C72B9E-ECC7-48A3-B326-9EAF02A3C4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f739b0407fd13fed79d64400bfb99b8621bd54","datavalue":{"value":"runtime monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6199101$8E03440A-3545-4E87-9432-7D8A70CC7EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a57f448d3d46db77a29981b20638773aaad2e68","datavalue":{"value":"trace equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6199101$25322075-61DC-4C8B-9E66-AFC7B8BB5640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c02085c9225090667e1a40d036eec69f14295ac","datavalue":{"value":"failure equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6199101$68E21A41-067C-405C-80DD-D66E85A69E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5073c0a5fb9f470d8e418aa70e3fb4e6b7562d1","datavalue":{"value":"Hennessy-Milner logic with recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6199101$B9DE6D07-CA06-454B-AA7E-6D7AC6BEC15A","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":"Q6199101$3A58C585-8EEA-4CBA-B7C9-FFCE5B77DEAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8c2bb88807eac8f533c8d86b421e02d1ebe7dea","datavalue":{"value":"https://doi.org/10.1007/978-3-030-21485-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q6199101$F294487C-385F-49C1-9882-114B41F67C72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3922a229df5c56de4387863d9ccf76fb11e69a47","datavalue":{"value":"W2956101827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199101$04222F5F-41E5-4032-A5C8-81D5DC671C47","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3c44c19a2a979eccb14f6063e034e7f0b02ac650","datavalue":{"value":"Q131419153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199101$F84CD71D-8110-46B6-8578-600DF5BEEFA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccabed90f431b4943cca6bdf6572f9edf2040f28","datavalue":{"value":{"entity-type":"item","numeric-id":6199102,"id":"Q6199102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abef78c0caf0961df3983d72089b2bd7e1ef3be5","datavalue":{"value":{"amount":"+0.7348217368125916","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":"Q6199101$AA30CDD2-391E-4710-A10E-767822132D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfef2ded8ac6e77d73b407144d18f8908ad0a83","datavalue":{"value":{"entity-type":"item","numeric-id":1104076,"id":"Q1104076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f05f73a979215ed1c3cebc2d5be773020e6832","datavalue":{"value":{"amount":"+0.7172485589981079","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":"Q6199101$8EE593CC-1241-4D23-B757-8B3F462F44BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224feff09a4b343756ba9499370a4e0cb2c8621d","datavalue":{"value":{"entity-type":"item","numeric-id":2141297,"id":"Q2141297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b94ee0d2d702083dccd852628f4d8b025d3714","datavalue":{"value":{"amount":"+0.7164272665977478","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":"Q6199101$113CDD04-DC8B-4F27-AEBF-7774F4B6BFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e801cbfed692536ad3a291e1df11a86377d37b11","datavalue":{"value":{"entity-type":"item","numeric-id":3725532,"id":"Q3725532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc3029f3b73bf45b53d8cb273d13658696cfcb95","datavalue":{"value":{"amount":"+0.7123315930366516","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":"Q6199101$89491000-6E95-4CA7-9122-B28CA656BDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcce62d4827410d7078cb1a4fb62787d8cd22cf","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ac806b0a6f119740705b1eb945512f029d1a29c","datavalue":{"value":{"amount":"+0.7026945352554321","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":"Q6199101$0EAE1014-19A2-4F8E-9636-908E0324A1F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6199101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6199101"}}}}}