{"entities":{"Q2500697":{"pageid":2511440,"ns":120,"title":"Item:Q2500697","lastrevid":49898101,"modified":"2026-01-11T19:59:12Z","type":"item","id":"Q2500697","labels":{"en":{"language":"en","value":"On testing UML statecharts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047644"}},"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":"Q2500697$74FE5C09-D28C-48D0-83D3-5293544F305B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88879f412ad6855f12810ecb96d638f607124cdb","datavalue":{"value":{"text":"On testing UML statecharts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500697$7CC93A29-26BE-438E-B0FA-7EFAEDFED089","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56bc0549cf39d67a38f57af2a70f4ee977a40b28","datavalue":{"value":"1101.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500697$4F1367AE-F012-4CB7-B7D1-E8B79B44BC12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$80AE2EB0-74C0-4464-AC0A-F6699E0BEA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$77B3C5DB-4EFC-404A-95D5-370AD3A8A6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2984005ce562423e705837ece60ae424b1f13","datavalue":{"value":{"entity-type":"item","numeric-id":246445,"id":"Q246445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$B54EAD4A-C791-4671-927B-5A14C7871B95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$16DA7409-0857-40C3-B027-F3906F9E9DD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"843bd17abb8f5e9fd7f0b14de142c4a143fb1c46","datavalue":{"value":{"time":"+2006-08-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":"Q2500697$3414E468-9907-421D-B7A9-3D9AE6D099F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500697$0546B740-C056-497B-9B35-40E3AE2A8F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500697$014BE923-FDAF-4E32-AC82-5034EE59BDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500697$91F9434D-AEDE-44A9-920D-EF0F758193F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f20d12aecb576bcdb9ed8dce60682e0fe99d519","datavalue":{"value":"5047644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500697$47FF944E-E207-4C7F-A022-BA0670113932","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55fa58da04bac4c48275177a14bc0e5d5269081","datavalue":{"value":"UML statecharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500697$24A161B4-A8F1-4D92-A6AC-0465B4F0535B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b755317518733b5647b8388cd91a3617f12d39f2","datavalue":{"value":"formal testing theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500697$722B113A-6A3B-4B3C-A40A-3E5D1E4AC504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c2df63089c44ddfde3f68de7ad38c837b83632","datavalue":{"value":"testing equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500697$C1B16E38-11D2-4677-8D19-808C26F3A21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500697$7EDDBE17-24C9-4351-A59B-A988FBBBFA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60149d05bdd38aa448cf47fde160c558558532bc","datavalue":{"value":"formal conformace testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500697$FA086708-C55B-4992-BA58-028A9517A3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a69008b330349a881ca187bf2b252c791bba9647","datavalue":{"value":"test case mechanical generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500697$D16E3FAD-57F1-4865-85EB-E295AC976BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500697$1E64F84D-5386-46C0-A97F-97AA67497FA3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$80C58C17-F6E5-4159-8275-ED18CB041FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$C12598C2-42CA-4E62-BE63-8C6A83DE2F20","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":"Q2500697$26EBCE65-9BAF-41A9-9DB5-2C57D333D500","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90b1f69929f4d05cc9e731700474c03d4c324eed","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2006.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500697$F7F549B8-B4B5-4DCC-95E9-F2F2C7D6C663","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c480046821ce9aa324a4e232e8b8b6f38d02e7d9","datavalue":{"value":"W2006000146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500697$1248AFEB-EE89-4FD0-BAEF-345FF0327559","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354e7fee535f06b18b96c8fbf1ea2b4be609b212","datavalue":{"value":{"entity-type":"item","numeric-id":3664434,"id":"Q3664434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$ACBBD378-0B12-4700-AF5F-9101E6CFFDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4501e9a7ac9cd9b136e70f08c37dbb9024e4b36d","datavalue":{"value":{"entity-type":"item","numeric-id":4251109,"id":"Q4251109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$E6430FBE-1751-42F6-BC5F-82E5D77CE099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623619071b024e7792bffe623a1f704ecbe967ae","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$FCB3AF45-7C24-4E3D-83A1-C0EB58AA27C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb33ae94a6320047d1aedadb481cd57348d4147","datavalue":{"value":{"entity-type":"item","numeric-id":1858428,"id":"Q1858428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$BD9A7EF1-335D-46CC-8954-EAEF359E9F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$002D9195-6FAE-4D3C-8DF5-FE9DF0534B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"788dbbc73f1d1eeda905bae229ca9e7f1ace768c","datavalue":{"value":{"entity-type":"item","numeric-id":4245976,"id":"Q4245976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$ADA3E8CC-F15B-44B8-BEB4-AEC2ACA8D37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$7B1C947F-BA08-49A9-BFF1-4D45FC6EDC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd83fcebabf53ca985bbb64be66b5356ed9cf5e","datavalue":{"value":{"entity-type":"item","numeric-id":4028627,"id":"Q4028627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$32E1CBF2-55B1-403E-9772-50F08701FC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5d835a91e5f8b780c1597601ff74c03afb28a8","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$14CF0838-497B-4344-AE18-012FC7CBABAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f14593b713a33a73976f04d36c53f1d22d9026","datavalue":{"value":{"entity-type":"item","numeric-id":4251114,"id":"Q4251114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$DC2B92F2-9D6F-4730-8735-100D781EFF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4e9fb473ae6446e0cbfed655d9b22d095e579d","datavalue":{"value":{"entity-type":"item","numeric-id":5464839,"id":"Q5464839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$1528F3DD-B75B-471C-AEC3-0597970F78B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$A95D80B6-F3EE-4899-92DD-556E43C3D72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1913056ee4890f61e2ac414dcbdf1f99d9a1e82","datavalue":{"value":{"entity-type":"item","numeric-id":1374458,"id":"Q1374458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$36D9D0A0-0162-4DDE-AA7D-C1438BE082CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$C46D7D92-BBA9-49A0-83D0-F709CE7C1CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de95e5270d7815b11e7f5b3a0fe8c668efc76bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4422071,"id":"Q4422071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$85057D22-6DC8-4774-ACFF-D6F23E1AAD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$62C7DD30-7E37-4EB3-8A6C-56D505E65B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500697$AA710CA4-FF35-4C8D-A3C0-B938D9758ECB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69f2927643bdd80afcfc3097a6db55b165e8dd97","datavalue":{"value":"10.1016/J.JLAP.2006.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500697$5C0D3DA1-8A3B-4DBB-891F-F573DD1A5D5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68cc0e1dd25fde533ef5a36b3c5119a4a5a3075","datavalue":{"value":{"entity-type":"item","numeric-id":4438797,"id":"Q4438797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1d1bb049dcab9ab215b3c150eda0cd47c4f353","datavalue":{"value":{"amount":"+0.7747272253036499","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":"Q2500697$79CDF299-9463-4630-848C-C9A1563C8A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1224ca09ab0dedf29a3ded0f65f366d1febc995","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdf130f0141dcd7d5749618a933095b78b1865b","datavalue":{"value":{"amount":"+0.7732203602790833","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":"Q2500697$EE187078-3E8A-4F4B-9CE4-5BA54A597C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a4b3338b3af97897f121003b028b1aee32b4d7","datavalue":{"value":{"entity-type":"item","numeric-id":4483796,"id":"Q4483796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ad461ea83662c23e930edbb9978888ad0ee900","datavalue":{"value":{"amount":"+0.7676790356636047","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":"Q2500697$7D268592-10E5-4F1A-BCB8-54B2090687CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b0a5426e86c17c482dbbd0aa569e1f06ddf86b","datavalue":{"value":{"entity-type":"item","numeric-id":1858428,"id":"Q1858428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2aa0e4a9d63179efcb17e545851f904a01b8a30","datavalue":{"value":{"amount":"+0.7676032185554504","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":"Q2500697$8F27E3AB-030E-4CFD-8E65-F245366A870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65fa881f324653632221acdc28efb6628307f53","datavalue":{"value":{"entity-type":"item","numeric-id":4435883,"id":"Q4435883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de42cc166e8b6bccb0c1165a6d4427c4d301ef57","datavalue":{"value":{"amount":"+0.7623488306999207","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":"Q2500697$B1F92B80-BCAD-4627-AF3C-198FC2930BDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500697"}}}}}