{"entities":{"Q3406857":{"pageid":3417560,"ns":120,"title":"Item:Q3406857","lastrevid":80942321,"modified":"2026-05-06T17:21:18Z","type":"item","id":"Q3406857","labels":{"en":{"language":"en","value":"Formal description and test cases generation of protocols based on input/output sequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673759"}},"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":"Q3406857$42BA919E-7969-4095-BE9F-32907B634E6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f76f3a137c3b468941f53b906ca4609abeb2e51","datavalue":{"value":{"text":"Formal description and test cases generation of protocols based on input/output sequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406857$1BF0A885-1999-4E33-A36E-35E07592FFFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68af3fa29257b3d88302ddcf8a177c64429c94ff","datavalue":{"value":"1180.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406857$F827AC22-4CB2-42B0-BF01-7086F6FDCB80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6fab1ad13ff1971e331d284d70a635c6b6b4a6e","datavalue":{"value":"10.3724/SP.J.1087.2008.01471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406857$7CF6B6E1-C43B-44D9-8109-DE6849840443","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16229aef739d34a3196aed17f36773eb0ce717a8","datavalue":{"value":{"entity-type":"item","numeric-id":380610,"id":"Q380610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406857$2CB44014-C4E9-4931-8D45-4D2E0F7028A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ece9bcf8e8b786ec8d926fb68fe8978887a31f2","datavalue":{"value":{"entity-type":"item","numeric-id":3406856,"id":"Q3406856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406857$24482079-EFA8-445B-8BE0-DD1201ABCDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba9d7e4fc7cd089c23439292914d11d3ec4e74d2","datavalue":{"value":{"entity-type":"item","numeric-id":273948,"id":"Q273948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406857$F08F8647-1243-4E54-8C6D-2A062E4BED83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3dd0f4a863078e32a4c218c26f3bff7cf9c6f1a3","datavalue":{"value":{"entity-type":"item","numeric-id":2844978,"id":"Q2844978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406857$993B9404-D46A-4E68-8EA0-06116E761A11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cb95d587262194d307ba54f42f5206c22bb8956","datavalue":{"value":{"time":"+2010-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406857$150D330E-8622-4C12-8875-E1CDC25F90E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406857$2009972B-F991-45F0-8EE2-768166CA04E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406857$AC6CDFD6-1502-4B32-B376-3E111D2866C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0030950e5432369441f6207b39824068a96c3d59","datavalue":{"value":"5673759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406857$144D14AB-87F4-4016-88CF-562D85A2DF81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0542852df702711f65a0d3c122a5c70d4d7d466b","datavalue":{"value":"protocol test","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406857$3EBF24B4-9B01-4A4A-A3F9-8CC488E7CE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b63e3a2a39c26b592116d274dd98b7d8593ec423","datavalue":{"value":"formal description","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406857$ED85C9B4-3DF6-406C-9874-BD40A55AFB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1b694d182243237e5088d2ef9ca688621c4c9b","datavalue":{"value":"RAISE specification language (RSL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406857$56088BD4-1B52-44E5-802C-19A781E5CD56","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":"Q3406857$E1514FFA-B4F1-41E4-AC5F-F0A64C555A84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"106178c5581f62fe225dff76d76747ca50721896","datavalue":{"value":"https://doi.org/10.3724/sp.j.1087.2008.01471","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406857$156E025A-8CC8-40B6-BDFA-6730D014DEA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9ec17c45d09eebe581139b3648d820c56ac1f12","datavalue":{"value":"W2318012924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406857$12E75C18-A6A4-46CC-92EC-03E268C42F47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e309b46ed24f003d62e8d95fe3c7d975d62750","datavalue":{"value":{"entity-type":"item","numeric-id":1383470,"id":"Q1383470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575bb9dff3f4ff47d3cda3b0f6ecda373dc3f4cd","datavalue":{"value":{"amount":"+0.85661364","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":"Q3406857$DD9BB2B4-A3D2-47C6-B66D-4C532185BD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78a3fdcbcb5764b2f4ab8f89760b7b4af6d765a","datavalue":{"value":{"entity-type":"item","numeric-id":3643922,"id":"Q3643922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1894bb9ca0de3eeab4ac9ad3551fc7ab45e32c","datavalue":{"value":{"amount":"+0.8466619","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":"Q3406857$56B302B5-D6DA-423B-8605-67C85ABAAAA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal description and test cases generation of protocols based on input/output sequence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_description_and_test_cases_generation_of_protocols_based_on_input/output_sequence"}}}}}