{"entities":{"Q2216864":{"pageid":2227607,"ns":120,"title":"Item:Q2216864","lastrevid":53892818,"modified":"2026-01-25T21:42:37Z","type":"item","id":"Q2216864","labels":{"en":{"language":"en","value":"Test generation from event system abstractions to cover their states and transitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7287057"}},"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":"Q2216864$692C43BF-7B2A-49CC-8F8C-ED628511FF3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fb1eda4822c970a6529d7fe36d1955be0b7d537","datavalue":{"value":{"text":"Test generation from event system abstractions to cover their states and transitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2216864$85E2EF61-0934-4B4F-98B4-FD45407CCAB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e325ccbb6c055b4cf25333d6108079a988c04ae1","datavalue":{"value":"1455.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216864$A0253CB5-983F-4A6C-9E63-97146718E90E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f5367b4e5f108c440793828e0c3e8885e831ee5","datavalue":{"value":"10.1134/S0361768818010085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216864$542508BE-6A51-4F5C-AE98-D83B34909E98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f860df6d0eab6adfbf50b83d296afaba170486d","datavalue":{"value":{"entity-type":"item","numeric-id":2216863,"id":"Q2216863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$D5B266D8-4545-4741-BD73-EAA7729302A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0ea8e448665b06fdc15b872b5a3c294da68ecc2","datavalue":{"value":{"entity-type":"item","numeric-id":493527,"id":"Q493527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$126E4441-84EA-48DD-848F-52ECDB4AC0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0452d00e02db17d83907d40dea3913224ed5f7","datavalue":{"value":{"entity-type":"item","numeric-id":442147,"id":"Q442147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$FF80FBDC-E35C-46AC-93FA-D03D66796B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d8e8b0056e29f22768c66b98d281aa53ae66174","datavalue":{"value":{"entity-type":"item","numeric-id":539224,"id":"Q539224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$869636BF-5395-4C08-900B-FD82C08E09D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$AE518210-763C-4A4F-A70A-73DEE583D394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18e6ec83af5e33cc2c606812b07c45206b57922b","datavalue":{"value":{"time":"+2020-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2216864$35A96E94-1F80-4788-9677-ACEF563B8942","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216864$F795D800-D259-44D5-A489-86D86AD08E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a12e6fd31fb8a57535fefd64f90b078733045f13","datavalue":{"value":"7287057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216864$B826B2AF-7889-4E95-942B-2AAC71259639","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216864$3E92A7CC-1CD1-4FC8-A5A7-60F37B99BE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2ae2e76a94134630492fbf529637ddb4e7cc619","datavalue":{"value":"underapproximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216864$223539BA-8705-4BED-ABEF-7A7843C45BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39456be9390c6950baa505401661e8f0dd7dc97f","datavalue":{"value":"event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216864$AB9719B5-BBC6-4ADF-BB72-2BB11CE17C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc3b8c194132223914405bde1a43ad1b3945d050","datavalue":{"value":"model-based testing from abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216864$42BA4C4E-57FF-41A6-AEC2-EBADD147EBBF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$0ABC0A2D-2214-4C5F-B95E-9174D206513E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$271602C0-B510-4AA2-814C-D51F195E1995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$869FBC68-D838-4E34-895A-7E1E3838FB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$896FEC78-42EA-41BF-8E12-9E3F5AD80D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$C03F4AA5-01FA-4B6E-BA06-328CB4D22A37","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":"Q2216864$B70AB7C2-4AE6-4CF2-9AAD-97686696015E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87d244bb47b7033a2215bba62f2b5aef99a339c","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$8381922F-309B-497F-A9AB-0373B4DFE9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$930A8D94-01ED-4ECB-9AB2-639DF99A8386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$CB4AE3E0-C18A-452D-B1D7-C30F8BEC0F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$8B3CC532-E01A-441A-A9C5-80E545FA08C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$2D02E5A0-18A8-428B-9C42-E2CEE3C8BF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$85669D0D-B2FE-4A9B-9BA7-6820D7A93B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092c87bd385bdffab3efa74e7021155389be7050","datavalue":{"value":{"entity-type":"item","numeric-id":5738899,"id":"Q5738899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$3FD5A9AB-A058-4927-BD20-81A8A276D70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3c7d5ca3af614ebbc0e97bd4f7355c6c0f311f","datavalue":{"value":{"entity-type":"item","numeric-id":4471921,"id":"Q4471921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$58752055-8A7D-4842-A581-10AA3F0D0528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$D50CD8EB-9048-4225-AF72-1EA3A18FB9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da74dd37ec309cd86a1950a33c37923d03a50500","datavalue":{"value":{"entity-type":"item","numeric-id":5897443,"id":"Q5897443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$36BBB432-716D-41E7-82B0-84AF222B1796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$4ECCD668-9A97-40ED-B194-8492C027B57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ebf1bc10aa4d54ce3219d0b1b6f0ced96007c","datavalue":{"value":{"entity-type":"item","numeric-id":2565429,"id":"Q2565429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$A5AD287E-1DD9-4A17-8A5A-6C9013D272BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89cd85487889e09b966c64c5e39171336a641131","datavalue":{"value":{"entity-type":"item","numeric-id":3012965,"id":"Q3012965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$48F95B9D-73B0-4952-B54F-89C59BAF3500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70efab4d3d82b39f07a48d15be341a102ff3fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2754105,"id":"Q2754105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$BFB780F9-4C40-4BAA-8D19-3C2F107468E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426e2dec292567619d8946d3b9c6e612c9eee6b5","datavalue":{"value":{"entity-type":"item","numeric-id":5310681,"id":"Q5310681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216864$615A8567-A1E3-436B-9E47-8ECFDF0AF215","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c2a22f8a22517adadbb7cdb058a643d57ece835","datavalue":{"value":"https://doi.org/10.1134/s0361768818010085","type":"string"},"datatype":"url"},"type":"statement","id":"Q2216864$1DCA86AB-4C00-4926-9EFD-C44224928543","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1b9c1070c9f8f769f07a85390c28941131e019b","datavalue":{"value":"W2790375072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216864$9F4F3811-88FD-4A73-9154-E8344F1D4790","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"45eee44a972bd4918dfdb449f9dc6fb49f7bd7d7","datavalue":{"value":"Q130184705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216864$BE841689-C908-45A6-9E46-9ADB3BE6FCA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8afd2aa3369f07b413f023def983d20aa46c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4989673,"id":"Q4989673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef58a757cdf12deeda1409db8b81a64e06629f04","datavalue":{"value":{"amount":"+0.8494728803634644","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":"Q2216864$3C0DE2ED-D4AD-4F88-AB37-170D28ABED36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b5649a1b78562f75de67b17a2e7bcca01ed6b0","datavalue":{"value":{"entity-type":"item","numeric-id":6039391,"id":"Q6039391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f21fa7cae15aecf649635fdb77c5207a98810a","datavalue":{"value":{"amount":"+0.7768086791038513","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":"Q2216864$CF2AE2C4-A70F-416D-98A7-825B56F53949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df636484f4a5feac48d2306ec92644f539acf1eb","datavalue":{"value":{"entity-type":"item","numeric-id":3012965,"id":"Q3012965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20aa3ff51592f3048079105ce4ce801ae4c37eb","datavalue":{"value":{"amount":"+0.7559889554977417","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":"Q2216864$094AA7A3-75E2-43B8-8B1E-6CD38F7D0CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32640d47148b666d0ab05cbf243533169262b3b8","datavalue":{"value":{"entity-type":"item","numeric-id":4472251,"id":"Q4472251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44cd66154db0c82b84295be9c9191db2ab2bda4","datavalue":{"value":{"amount":"+0.6955168843269348","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":"Q2216864$7B331A58-6614-442A-8C9C-90C3E0979EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632ac12ce08a2bd24f304321baacc22fa885dbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5423870,"id":"Q5423870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb1501f627b72026b0b0200acd4ab45ec13bb45","datavalue":{"value":{"amount":"+0.6907685399055481","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":"Q2216864$D86F0623-65E7-4CA2-AF82-CDA672D44FEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2216864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2216864"}}}}}