{"entities":{"Q3449629":{"pageid":5200869,"ns":120,"title":"Item:Q3449629","lastrevid":46438104,"modified":"2025-12-24T19:11:51Z","type":"item","id":"Q3449629","labels":{"en":{"language":"en","value":"Translating Testing Theories for Concurrent Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6504742"}},"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":"Q3449629$72A54143-2345-4497-A9CE-4952D90F66AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4bdf275025f0e591ef42e8e552c17ec244cf554","datavalue":{"value":{"text":"Translating Testing Theories for Concurrent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3449629$EEAAAA21-D96D-4ED5-8738-54E7A6A0A207","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"980e1514dca4835a6a9febd52ad62ab81132ca48","datavalue":{"value":"1444.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449629$CDC1D46D-0075-41A1-BAE5-658C1CEED936","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc277846dc5f1687daf0d157f7a5eaa8dd3e54a1","datavalue":{"value":"10.1007/978-3-319-23506-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449629$752D9DA0-0C91-4305-9762-648468F82BC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff72d2830868bf9e7ed58c85e71f5c25c51d4b9e","datavalue":{"value":{"entity-type":"item","numeric-id":520245,"id":"Q520245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$641ACD77-A59C-468F-AFC3-1BCE58B04B54","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":"Q3449629$2D798781-EFD2-4E3B-8892-76148B7537F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87b5c622b344036d13fd1ced0604456063cc2441","datavalue":{"value":{"time":"+2015-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3449629$6DAF8E60-FBDF-4D2C-9043-E07B043AAF04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449629$25FC596F-A42C-452F-8867-34E6F8FC156C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449629$C3BD4A9D-EC24-40BD-8E2F-F6EF378350CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449629$5AE80643-4C04-4F08-96B8-F223CA6244F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449629$670CF53F-3148-49BC-809B-8A6D0ADCAA80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b5ce2b97eec4397b6cc1201d56a2b9a0944f08d","datavalue":{"value":"6504742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449629$7CCEC020-BD6F-4552-8169-CC9FEF4A5BD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449629$44D15E48-8F0B-4E98-AC9F-3464B730DD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449629$571B4D91-E317-4EF1-B5CA-BC3A11050AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449629$E8EE6E07-A92E-498D-9875-541D6BEB15E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449629$67E836CC-BD3D-4A41-AC0C-B024E16D7FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449629$29D6DC67-035A-4F67-9459-92D762AC85A6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$583849F9-B7A9-4397-839C-E8831D5AE1C8","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":"Q3449629$3CA875FA-4545-471E-814A-B5DBE6A527DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efc4158c1c2bee9cda171e628d0bd59d8eb0603f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-23506-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3449629$41CE8A8F-5646-4F1A-8641-AEE38663EA9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e5686c57b8d6032178aac46615d18c1423060aa","datavalue":{"value":"W2173472474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449629$B9B6CB33-ABCF-4884-AFED-AC41E0C16726","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d943a0ef985ccc7c0d6f0843144df920387ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$945D4A91-BE46-4F93-9061-7CDE82AEEBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$156261EB-8079-460F-B94B-41AE8B65FC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$C20C10D0-55BF-4B47-B167-EA6F28EAF814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$DF047FCC-3B19-4673-AFAB-8F42902DD470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$3C909130-70D1-4118-8E8F-FC51170412E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c004dbcf8f9c2b728a575c5bb49fc8bbc10cd4f","datavalue":{"value":{"entity-type":"item","numeric-id":3591065,"id":"Q3591065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$39BF931F-A00A-485C-982A-7108CF9C6512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74351bc67b1f4ec915dc17aab4f97588dd17301d","datavalue":{"value":{"entity-type":"item","numeric-id":5900958,"id":"Q5900958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$1FB76393-9578-4E05-98B7-66E64A7232A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcea52628e44d8eb0f4dafe059475aef6acd0444","datavalue":{"value":{"entity-type":"item","numeric-id":1176076,"id":"Q1176076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$5876BE8B-F8EC-4E13-996F-3C8684DB33B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449629$CECA3EF6-2526-438A-9628-08C2667C33FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea1c0ddf920643618f98d4e5d37057de01246cc","datavalue":{"value":{"entity-type":"item","numeric-id":5897796,"id":"Q5897796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68928eaba4a6f7573fe3ea1236c77cb1085ba66a","datavalue":{"value":{"amount":"+0.8962862","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":"Q3449629$211E5B9B-4A34-4190-B35C-ECDCAF3F4D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecfbe113934a78ccd3805db9f684132790f4391","datavalue":{"value":{"entity-type":"item","numeric-id":3999590,"id":"Q3999590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ed796d6bd11f7d4b8c6af16fa9ba9467a2331e","datavalue":{"value":{"amount":"+0.8934751","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":"Q3449629$61411CE7-EC57-4589-AB47-B588BF4ED5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b89d6bf426821dc943f630901e143a2afc81e0","datavalue":{"value":{"entity-type":"item","numeric-id":1899907,"id":"Q1899907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03587cad47f05f030ff3ed69eec8b1e4ec53e0d1","datavalue":{"value":{"amount":"+0.88545865","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":"Q3449629$F6888B36-4867-42EF-8C22-091A21C77211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc7dab1bb30934f0eae57dac898f8e097de09c4","datavalue":{"value":{"entity-type":"item","numeric-id":4630289,"id":"Q4630289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03587cad47f05f030ff3ed69eec8b1e4ec53e0d1","datavalue":{"value":{"amount":"+0.88545865","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":"Q3449629$EB60D869-C7AB-4828-8C5A-470C956B10A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3449629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3449629"}}}}}