{"entities":{"Q6535332":{"pageid":14146475,"ns":120,"title":"Item:Q6535332","lastrevid":55529917,"modified":"2026-02-17T18:18:15Z","type":"item","id":"Q6535332","labels":{"en":{"language":"en","value":"Symbolic observation graph-based generation of test paths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776860"}},"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":"Q6535332$7B4E3678-DBDF-4BD0-B13E-5EA9B993BC7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ccd90936c421ce5af0574728815c440286582f1","datavalue":{"value":{"text":"Symbolic observation graph-based generation of test paths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535332$FF940243-93BF-4505-BEEC-6C2D28BFD869","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"939ee2783e69cfd426746d7b58ca862a0a10b2d7","datavalue":{"value":"1541.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535332$5C26D936-E77E-4A19-9A85-07B36272716C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3274c8377b07642ce82bf8b5c22af75ed75f0513","datavalue":{"value":"10.1007/978-3-031-38828-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535332$7A9EBF56-2C69-4014-A751-6400B3C3C3DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb113fd9a0c3df850e383c645074e0fac067ce8","datavalue":{"value":{"entity-type":"item","numeric-id":2672456,"id":"Q2672456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$C37C74FD-5E96-4BEE-BF3A-07DFCB62CF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bd3d2e3d4d70d159eed9492f60144258108cafb","datavalue":{"value":{"entity-type":"item","numeric-id":6535330,"id":"Q6535330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$E2424C3C-4116-4E20-8322-AD65CA398126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e54d5fdfa5bbd08b90411fc4d018d81d9a3460c","datavalue":{"value":{"entity-type":"item","numeric-id":530857,"id":"Q530857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$72F94F80-0202-4D28-ABF3-9FBF011E12EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b118e1d3cd5efbea6f6ab33e660d831d45ef0c","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$13374F4E-B1BE-4C3D-9C4B-D712D3361BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487673e3eaed0d0ffd3a005f4bb66a17f8c2b096","datavalue":{"value":{"entity-type":"item","numeric-id":6535331,"id":"Q6535331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$27F0F185-5D40-4D90-B273-DEB5A7E6B1A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535332$17FB8949-7EF6-47ED-908D-B43938C9E194","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535332$341351D9-551F-4A3A-AB0E-3CAF95507FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535332$42873B59-27B3-4D52-9B19-8390DE3ECDBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80f5e08c1947b277d3a9b11e4adcfae69929c485","datavalue":{"value":"7776860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535332$B39BF10E-B25A-427D-9657-AEAF04136870","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c970019c5d7186e4fa8736dbf7afee746108db","datavalue":{"value":"model-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535332$11EE1834-3763-4FFB-9039-15E55AEC62F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25de12f0f333a6393ba93ec8120a214d21f1aac2","datavalue":{"value":"transition coverage","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535332$E1518640-E33E-448A-BF5F-0B058013C9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535332$A90BC917-F9F8-4286-9694-532618720C41","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":"Q6535332$0F8D0441-56F3-4591-B074-66398D1712CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ceb233ba0d30f428f8e8cdcd58588ea0dfbd7bd","datavalue":{"value":{"entity-type":"item","numeric-id":5703773,"id":"Q5703773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$A93EDB69-B32D-43BE-9331-FADA22692540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3daff3d9b8cd96d86b12c97d07f68314098a3749","datavalue":{"value":{"entity-type":"item","numeric-id":1398676,"id":"Q1398676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$FC648C85-43A3-4150-B4AB-95F610D66B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4268a8510ce4675aa6a2550c2788f434a0fca994","datavalue":{"value":{"entity-type":"item","numeric-id":5394189,"id":"Q5394189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$FDA65E74-3620-4FC0-A774-0155640D29FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$E4A3483F-A78A-4F33-94A6-F34E96C7FCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3007e272c702a764fae31e0614acd59795e1145","datavalue":{"value":{"entity-type":"item","numeric-id":3510873,"id":"Q3510873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$8304272F-5F2A-4E8A-9481-52BDD64FFA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faabed206f3364f58c9a053d482aac13c181e514","datavalue":{"value":{"entity-type":"item","numeric-id":436408,"id":"Q436408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$38A4F78F-C2CD-458E-870A-B94E530FE746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30491a52648b6d0c8dbc674f6531ea266f3b510c","datavalue":{"value":{"entity-type":"item","numeric-id":2209549,"id":"Q2209549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$5F9AE26E-E7E7-4944-ADCC-AD29BFA70D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127420219c409140a2d8f79905ed7e36d184288a","datavalue":{"value":{"entity-type":"item","numeric-id":5034078,"id":"Q5034078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$BEF8687B-0CBE-4725-BAC3-7B66884CA0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb89da8ff2a2ca5ee4a1fe4ebe795434b4ea332d","datavalue":{"value":{"entity-type":"item","numeric-id":3011896,"id":"Q3011896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535332$56E8DE3D-892B-4B32-802A-6B384148EECA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9549904843cd5072255191565d6cca932aee99","datavalue":{"value":{"entity-type":"item","numeric-id":5710658,"id":"Q5710658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d7052378845b23d980e43c5ced0a4c7ff05c00","datavalue":{"value":{"amount":"+0.7364378571510315","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":"Q6535332$81F1867D-A430-47FF-AB39-52D1189303ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255bd870d045363d1b4665fbc37f6a59fb5fe945","datavalue":{"value":{"entity-type":"item","numeric-id":5710638,"id":"Q5710638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cea598560f8f65ec861586cce194e57c3b35ff6","datavalue":{"value":{"amount":"+0.7099789977073669","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":"Q6535332$DAA5A076-F7EF-47E6-818D-00C53CD33698","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":"8a5250a79f101a526406e18ceec48fabee524384","datavalue":{"value":{"amount":"+0.7045530676841736","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":"Q6535332$1C18C562-4DBA-4C09-977D-B119F89714F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60652e210dfc7de4e00672e585566c276bbc548","datavalue":{"value":{"entity-type":"item","numeric-id":3011896,"id":"Q3011896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3431858e5ff03818a1f780ff8f91342e6dd57a55","datavalue":{"value":{"amount":"+0.7017707824707031","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":"Q6535332$864254D4-56F3-4A71-82BE-4C73E188B6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46ba1b38163b375211627fec3047e2f90cd42c3","datavalue":{"value":{"entity-type":"item","numeric-id":6536171,"id":"Q6536171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b3b8218f2f9403b664eaa70379626601398472","datavalue":{"value":{"amount":"+0.6972525715827942","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":"Q6535332$603DE624-4150-4AD3-A958-AA0CA9C817E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535332","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535332"}}}}}