{"entities":{"Q2355682":{"pageid":2366425,"ns":120,"title":"Item:Q2355682","lastrevid":52311560,"modified":"2026-01-21T10:16:39Z","type":"item","id":"Q2355682","labels":{"en":{"language":"en","value":"Checking conformance for time-constrained scenario-based specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6463981"}},"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":"Q2355682$7D955487-3F53-4723-82CD-D42EE6CECD72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"003c8310502cc574f809a2b9c3b8d470e5ba02e3","datavalue":{"value":{"text":"Checking conformance for time-constrained scenario-based specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2355682$DF065365-14EF-4F11-842B-2B0C2D24422D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdcff1d50d7350bbe0bce7d8cd941fbc213fdc38","datavalue":{"value":"1328.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355682$1CCCB103-62A9-4676-9247-8A943B058998","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$3AFF3BCF-D20F-4EAE-88A4-AFA0CB396CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$14A82617-74A3-43BE-9A5C-438B258F7E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab3eb29cbf9f23c5158deb930f0175a3e7b428f3","datavalue":{"value":{"entity-type":"item","numeric-id":229996,"id":"Q229996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$A29991CD-2D4B-40E0-AE72-C08737E5486C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3796e2b09efc9ac94e6c12485881d0be27760550","datavalue":{"value":{"entity-type":"item","numeric-id":1323354,"id":"Q1323354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$4629FB47-6B38-41DC-ACE1-3E9F12C4C34F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$071C0F14-ED5A-4D60-88E1-22FE8500A648","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffc3b242463a8a01767e25c752f32765f1655cfe","datavalue":{"value":{"time":"+2015-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2355682$CE5B00C3-F463-41F3-B18F-DB944826A5A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355682$E030704D-A592-4CF7-B2CC-4C0345D516CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355682$0F26F987-5E4A-4ECF-B240-3A80A489E9AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"184dfead550956edeff724e540a3270ca844e9ce","datavalue":{"value":"6463981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355682$59DB0DFA-3292-4CD0-BC7C-2EFEC33D86AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a282ea251e25207002af1922e6e1b486c2ce73","datavalue":{"value":"MSC graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355682$57C546FF-03B8-4CC7-8D53-2D38EA1421E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355682$9BEA5F2C-FA1C-49BA-BAFC-F9309FABC4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2355682$C2F73FE8-4C3D-4207-ADFF-6643198399B8","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":"Q2355682$88908C02-E066-4B74-ABE3-EA6B5FE9AEF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a2355d8fba00c7b9e3f99b72e68f92b4b0aee5c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.03.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q2355682$E1F5E0EF-8A40-45F5-B5B9-141B26DC228D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c1dd4ce68de30589b907cadef14e400b4da5772","datavalue":{"value":"W2086632956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355682$1C917F1B-5F49-456E-8D03-AC4E11F6A657","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee5f7ef210612ec0dccdafa60ae90d71e910bc","datavalue":{"value":{"entity-type":"item","numeric-id":5458842,"id":"Q5458842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$4E1277CA-C456-45DF-B84D-FC613BC0AE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a76c294ffd3a0f1225fd368a5df04a8aa0d8eaf","datavalue":{"value":{"entity-type":"item","numeric-id":2908850,"id":"Q2908850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$8DE702CE-7A33-4F94-B4FE-E7A34403EB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248d6e4c97370e7ba8db50b08c20d216df09a6a5","datavalue":{"value":{"entity-type":"item","numeric-id":2915094,"id":"Q2915094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$99C6296F-4D85-45C0-A347-DCFE466E877B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a79821514ee1346e47ff972face1110e6966043","datavalue":{"value":{"entity-type":"item","numeric-id":3525637,"id":"Q3525637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$9C9188E6-22C2-49D3-9904-ED560AEE88C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$C4E26885-8742-4A9D-8C45-516C6145A850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$8C3F91B4-93F7-4ADA-BA03-AAF85B87590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$C8EA7EF4-F617-48F9-AABC-D7577A76A976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0407a215480ddd9e54d8be6c2e28e9e0490e5298","datavalue":{"value":{"entity-type":"item","numeric-id":3522916,"id":"Q3522916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$51E46899-516E-40B3-A5B8-696271F0BF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0bb12ed38887abcabf99a6e60f20ed7a97898c","datavalue":{"value":{"entity-type":"item","numeric-id":3511226,"id":"Q3511226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$BC64ABEF-581D-43C3-9689-3021B29E5633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0530baf7a1f195d7b7b6c7924e772908c7c1a9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5897963,"id":"Q5897963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$D342C113-18A3-41CA-A221-526D4077427F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88281eb7099eaed3d92cf5fa2bdd7db821ed6765","datavalue":{"value":{"entity-type":"item","numeric-id":1094144,"id":"Q1094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$B41B09D7-17EC-410C-918F-4FCC9ACB2F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3722a01ff9977e3dae59cf7bb07fb3de2a6c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2985870,"id":"Q2985870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$F518A7D5-9BAF-4C49-AE5D-485805182D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f60183e054b85dceeb8c43a6ae5d3d0e1a4a3c","datavalue":{"value":{"entity-type":"item","numeric-id":4426378,"id":"Q4426378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$3E4893E9-40D7-4CEA-AF39-28C4D8197F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bdc88213ad901fc13d8a639e5a25c91349bfab","datavalue":{"value":{"entity-type":"item","numeric-id":2573333,"id":"Q2573333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$50798AF4-7A8B-47C7-AF14-7F7303EC85CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d499354eab8502f97a03c838f7e460501f69493","datavalue":{"value":{"entity-type":"item","numeric-id":5756736,"id":"Q5756736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$25FD1416-E3A9-4AAE-B98A-458969DA64D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c706cf525e1e8895186e5fdf1a56f877c4c63f","datavalue":{"value":{"entity-type":"item","numeric-id":1887140,"id":"Q1887140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$30EDB4F6-F4E2-4BA0-8AF9-DD87D39207BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c18ab676636b97245c873cb4e3d5b1cf83e630a","datavalue":{"value":{"entity-type":"item","numeric-id":4941891,"id":"Q4941891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$CCF072B9-4075-4465-A0EF-C20825D24D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2355682$05A718A4-98FD-4B5E-ABB6-529B78A5737A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db533bef6debaf2adce6af39fb7d570c7252b6dd","datavalue":{"value":"10.1016/J.TCS.2015.03.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2355682$D7B3D968-D08C-44E9-985F-E70E8C0E7882","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110c5be88e5d0a3ee51ebd063404c930a97e602f","datavalue":{"value":{"entity-type":"item","numeric-id":2908850,"id":"Q2908850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c3f43672bbe73197d4ea29bba7186faf13c1f1","datavalue":{"value":{"amount":"+0.9799061417579652","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":"Q2355682$6AB87757-C9BD-4C78-8BFD-E89C995457B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea49d02586272e9b423fc8822641fe798545b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3613085,"id":"Q3613085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386de89de2b35b96d7475f6cc9a4a44431a0d9fd","datavalue":{"value":{"amount":"+0.8482896089553833","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":"Q2355682$41F6C8D6-6491-4FF1-8493-6C7F59CF3C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0351ec2d848eea3430f3c13eeb5e11df17e26ed","datavalue":{"value":{"entity-type":"item","numeric-id":3511226,"id":"Q3511226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a1cd268900a54d3592333d0e67a1b3294521f1","datavalue":{"value":{"amount":"+0.8347226977348328","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":"Q2355682$63726BA7-AD8B-4394-AA49-30C6DDDC7F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e764936511f945e4e027379b43944c10a7fb99e7","datavalue":{"value":{"entity-type":"item","numeric-id":3525637,"id":"Q3525637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ba7fe77831498a7be9914e948b8e4460ec02cc","datavalue":{"value":{"amount":"+0.8286770582199097","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":"Q2355682$9BEFA6C2-AD77-4CAB-A483-1D2E12B1EA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e534f739260fc4042b3a2cfd9f983f6141215ea0","datavalue":{"value":{"entity-type":"item","numeric-id":1407080,"id":"Q1407080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952dd8dfb4eb2ba97c2ce8a47730fa4663961068","datavalue":{"value":{"amount":"+0.8049657940864563","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":"Q2355682$20DEB201-1868-46CF-9392-C6405E324F24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2355682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2355682"}}}}}