{"entities":{"Q2303366":{"pageid":2314109,"ns":120,"title":"Item:Q2303366","lastrevid":43848141,"modified":"2025-11-15T12:30:25Z","type":"item","id":"Q2303366","labels":{"en":{"language":"en","value":"Symbolic timed trace equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176724"}},"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":"Q2303366$9FAD3F3B-CFB7-4F65-A2F3-AAD909BF8CAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90bb3d06bd762bd52bf151f7e9b37ac38dfbbb4f","datavalue":{"value":{"text":"Symbolic timed trace equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303366$0D2CABB7-8F36-4283-AEA3-303196944E4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e30f3918a4c98026354b7cc5bb0f2289724616ea","datavalue":{"value":"10.1007/978-3-030-19052-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303366$4A86A346-5F05-4E9D-BDE2-C06BCC2EAA02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303366$C6C8417F-2086-42DF-9594-993100A3017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303366$5663C9B1-0F53-4CEE-9802-BADDD8E8554F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbf27719943d05535282ce22981be36830a006bd","datavalue":{"value":{"entity-type":"item","numeric-id":2165488,"id":"Q2165488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303366$3C80CCBC-F663-4F2D-8A3C-496A2A86B11E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61e2e5951dfff50ebb9b8606073c3ef7da57bd09","datavalue":{"value":{"time":"+2020-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303366$96CC7BF9-D81F-46B3-B778-29D1B8ED9B3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303366$A96C76F6-C0E7-48C9-B282-A4CABB67B600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303366$310D17F7-70A9-4A17-8E74-C9E93A471BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303366$902B3DE4-0609-4F91-B5AC-F3711023720D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"737e7564f5e3a64367fd95aaa230e920a3fdeed0","datavalue":{"value":"7176724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303366$BDA4C349-5D11-4FE5-9362-6130B570DB48","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303366$A2E46F51-1C50-4BC4-9B82-47B8850A930B","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":"Q2303366$06101F82-9AB7-4095-B02C-061208E1A9EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d43ba14a9518d3c444de6598013532cdba9b3da","datavalue":{"value":"https://doi.org/10.1007/978-3-030-19052-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303366$04DA813E-3113-4C86-9E8A-18522546A186","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d334f48647e4bb2329bb44933bc635e42f52d6e6","datavalue":{"value":"W2945033945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303366$C9B37313-B673-4DAF-8C0D-4A1DD99829BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a3f84bf07f8ba41d4ee83b6e450c703c00078f","datavalue":{"value":{"entity-type":"item","numeric-id":1425003,"id":"Q1425003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2f7fc59a20184b7e9e5a0d6686cd92ca8e8dc5","datavalue":{"value":{"amount":"+0.8821404","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":"Q2303366$EDB96FF2-620C-4EC0-84D8-AE3D35796ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060b77ec043ed67f38d3951a98abf0269a80d868","datavalue":{"value":{"entity-type":"item","numeric-id":2945581,"id":"Q2945581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a8cc066ab5ad73610f954291ac7370ad4ff5ee","datavalue":{"value":{"amount":"+0.8787232","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":"Q2303366$6C653AF5-0494-481D-88B0-374AFA53A0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef0ad68e2d4fc5fc3234cf353375e68702f27f9","datavalue":{"value":{"entity-type":"item","numeric-id":3121518,"id":"Q3121518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2eb9eb99fba58a38982014cdbb818ed2733321","datavalue":{"value":{"amount":"+0.87785023","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":"Q2303366$2A35D1B7-ABF0-4164-A287-9DDD57377517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d208b446ccac64af76ccde11e6b331963a03dcd9","datavalue":{"value":{"entity-type":"item","numeric-id":3584959,"id":"Q3584959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6782b6dcaa563851d160f2fa9123ae083b67df4b","datavalue":{"value":{"amount":"+0.8741304","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":"Q2303366$86441FD0-5966-418F-8AB9-A06A8A7ECEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2331247730812214a89c61f4db7268aeefac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5464768,"id":"Q5464768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c18ada4f01241e246fc226f2a878162b3ebee4f","datavalue":{"value":{"amount":"+0.8685223","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":"Q2303366$FF398C3A-1F9C-44FE-8649-30471751AE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450b5151aa04ee408b0559751b02917d24395a14","datavalue":{"value":{"entity-type":"item","numeric-id":5395106,"id":"Q5395106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2388062ad79ac8e0ae7e9581d49b3f285d005778","datavalue":{"value":{"amount":"+0.86383617","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":"Q2303366$5D731DDE-D062-4BD0-AABE-D214951EED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2583cd1f5bebd6a9b0bff0d8ac893d1207151fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3457811,"id":"Q3457811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8100e4fa47813683575b915618cb532062c0ac","datavalue":{"value":{"amount":"+0.8634239","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":"Q2303366$8C166364-97DE-43EB-B69C-0C1F594520DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578d2c1610f34cd2757ae6811af4efc6a02432f8","datavalue":{"value":{"entity-type":"item","numeric-id":300337,"id":"Q300337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea716e01568e1c68d79917d1e7b461557036961","datavalue":{"value":{"amount":"+0.8626459","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":"Q2303366$C7A6EB80-4005-41B1-9902-74D617C02D4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2303366","badges":[]}}}}}