{"entities":{"Q1683463":{"pageid":1694204,"ns":120,"title":"Item:Q1683463","lastrevid":71968605,"modified":"2026-04-14T01:46:32Z","type":"item","id":"Q1683463","labels":{"en":{"language":"en","value":"A symbolic operational semantics for TESL -- with an application to heterogeneous system testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6814304"}},"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":"Q1683463$C9112ED4-4F7B-4810-BF63-A7F7EA4215B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7122ce24e8d71d641275b339d5f33537adc7d01","datavalue":{"value":{"text":"A symbolic operational semantics for TESL -- with an application to heterogeneous system testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1683463$CF0E47CF-F238-4C9C-9D62-84070E94175E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e03279bc1bfe8907323d268cc2211cef35eea51c","datavalue":{"value":"1494.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683463$E8CBBAE4-A012-4D05-9144-CEE67FAEAD01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab193f81467cc1244cab568363734244db81b64c","datavalue":{"value":"10.1007/978-3-319-65765-3_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683463$FA8ED722-DEAA-488D-B076-6108C07903AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d66243defa9a9e108781481ccabbde8f0f7ee1c","datavalue":{"value":{"entity-type":"item","numeric-id":1683460,"id":"Q1683460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683463$B13EFC52-CAAC-4AD1-9B2E-05A8EE32096E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"094f2a97278adad6d0ab3f1983066b2410a81260","datavalue":{"value":{"entity-type":"item","numeric-id":1683461,"id":"Q1683461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683463$5EDCD670-1E19-437D-8280-544C5E5F9AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"963fc60ff0d99567ed296a663a4b1e7de0ea8d7b","datavalue":{"value":{"entity-type":"item","numeric-id":263273,"id":"Q263273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683463$C9890726-9500-47F3-A6CB-A451B7B561C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e50206a6040e5309045ac8ce1bd781dc58d9c2","datavalue":{"value":{"entity-type":"item","numeric-id":1683462,"id":"Q1683462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683463$214BBE7E-524A-4A50-B7F5-79CEC3906C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdedd14f542819f3e703a4797215dd716a1cd763","datavalue":{"value":{"entity-type":"item","numeric-id":468583,"id":"Q468583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683463$53A09AB0-1353-4BB2-AD31-45A728A23E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683463$9F0EB6B8-CB59-4B22-BBFA-09444CCF0A79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0b35d2e482cf5e430246ef005011e53c42974f0","datavalue":{"value":{"time":"+2017-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1683463$CCF6E29E-2F44-4EC2-BD68-907069DA7BCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683463$BA66FA78-0A24-45A5-8F4B-FF46AA5A159C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683463$2A0DEF09-BBA5-44C2-AFC9-2F56922DC695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683463$0A210AB9-F61F-4CC1-8AE7-8BAA383E056C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683463$E2B8B8DF-F7E8-4EF9-836C-68104EF4F67D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bf7b42fe4ab28d7f819c80f1cd8f69271ed33e2","datavalue":{"value":"6814304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683463$B00071D0-562E-4F0A-93C0-8DCD66737DF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"715fe318c99227dccc8d26bf88e22776b68c9f87","datavalue":{"value":"heterogeneity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683463$DC8B1C43-D661-465F-95C0-3BBBE3BA33B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59564d38b3975c562e14fb5bcc8c0cf3a56ec130","datavalue":{"value":"synchronicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683463$0D0823B2-10C9-4309-86A9-74717A8D7C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2741a12186b1461d57d3a0fca31dae583ca46f3d","datavalue":{"value":"timed behaviors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683463$30D6966C-A171-4717-90D1-7CFD5371B24C","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":"Q1683463$1368AE00-C247-45A5-9A2A-F4144A4EA025","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff0bc85d2e38a4a170055184932b43c6f8bdb54b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-65765-3_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683463$0B6C38A7-9CEC-42E4-A8F0-3B256D0F5C7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9fcc09c3eff5d7ff231f4c5b097091a7b67fa4e","datavalue":{"value":"W2741953624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683463$B3017110-5660-4F4B-9B2C-67DA3E192919","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c4bed5e7b5361de8633bfd4f87fc4d45282e8d","datavalue":{"value":{"entity-type":"item","numeric-id":2296283,"id":"Q2296283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9ef779a7545958f80058fe22a3b8a361a573f8","datavalue":{"value":{"amount":"+0.8785596","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":"Q1683463$EF63BA9A-1360-477B-8DA1-B4F141FE65EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee4b0d092d0aea1749d436114d472fcfb54ef40","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4bde1e8d3af4ced3152f68f9e31c74e253efce","datavalue":{"value":{"amount":"+0.86104167","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":"Q1683463$B211763D-459C-44C9-A0FA-9A8CCEDD2B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2226623e729e3369244c5351070d6bd8a8d201","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365b257ac30f9af938cfd4f0ded6c8e4717df551","datavalue":{"value":{"amount":"+0.85423505","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":"Q1683463$9ED4FA9D-88AE-4D20-99A9-91265C8F5B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6aebcddd29533b2db84a12415f9ff59dec8565b","datavalue":{"value":{"entity-type":"item","numeric-id":5710652,"id":"Q5710652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad43757888d000f4261ead3e91ca4f0ab0e7aa4","datavalue":{"value":{"amount":"+0.8511759","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":"Q1683463$46916666-EC1D-47DA-A2B8-70AC11582583","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":"7e9c1f60b6d0098ed881ae67644df4a283e7d2b0","datavalue":{"value":{"amount":"+0.85079694","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":"Q1683463$081EBA95-56D4-4A22-89F0-66CFD8053449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066f9ab3be44cd6da3712c322b2d554b606e63b8","datavalue":{"value":{"entity-type":"item","numeric-id":3612360,"id":"Q3612360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f78ab46a556cebd7ae73cf411b20202222ed419","datavalue":{"value":{"amount":"+0.84767216","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":"Q1683463$54F305CA-9CB6-4890-A7C8-D814DA7F3E37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A symbolic operational semantics for TESL -- with an application to heterogeneous system testing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_symbolic_operational_semantics_for_TESL_--_with_an_application_to_heterogeneous_system_testing"}}}}}