{"entities":{"Q3400920":{"pageid":3411623,"ns":120,"title":"Item:Q3400920","lastrevid":46139161,"modified":"2025-12-23T11:47:41Z","type":"item","id":"Q3400920","labels":{"en":{"language":"en","value":"Applying Step Coverability Trees to Communicating Component-Based Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5663812"}},"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":"Q3400920$7B3EF936-87F9-406B-98BE-76D2C9A17BA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce6d3511a6bcfbd89c5bf6fdab563a0c21f382c6","datavalue":{"value":{"text":"Applying Step Coverability Trees to Communicating Component-Based Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400920$83713CA5-7A68-41D7-8925-E38C9D0F4712","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6a19b9accc51aa6d58df5741d6506d2f90520f1","datavalue":{"value":"1274.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400920$3E937774-5761-45EC-9D5F-96B252130198","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef7eda858b944535dd3524b19375560c9d2f19da","datavalue":{"value":"10.1007/978-3-642-11623-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400920$25276D68-568F-4DCA-8F5E-62279F48F2B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400920$18593AC8-995E-461D-BEAB-FC76FFA7F9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5eb12e286e978a89b59265932583f917042300b","datavalue":{"value":{"entity-type":"item","numeric-id":598183,"id":"Q598183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400920$CAE99F90-7C9B-49CB-BFE5-D88939DAC825","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400920$401A7E93-96A3-42F7-A16D-FD49696807F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400920$029A05A1-8B26-42EF-9429-024DD3785C3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400920$1D7B7206-7AC1-4CD0-8DE5-0B28058AD69B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ab8d1fc5c810e2762eb6af2e71b7a31392fd067","datavalue":{"value":"5663812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400920$BD414D05-06E8-4EC9-8F7A-BCE2655BFE30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400920$9A45907A-4FC9-4652-9EBF-3BF90F0CE354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b95e2dcaa560e6825f9757fbafaeb76a1d41a9e9","datavalue":{"value":"step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400920$0F3F5416-71DC-4316-88A4-FF68460A882B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"928e067533e73b3e7d9702cc83473b32b39231c7","datavalue":{"value":"step coverability tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400920$A7BB5BA6-082F-40E8-8538-B5EE54177753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400920$3590D023-F02A-4EF6-980D-CE6342A352B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400920$C3248EA8-8E83-46B1-99F2-86A3861F2B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c78f8a68ede35220e783b31d29110dce45fb72e7","datavalue":{"value":"maximal concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400920$C2214B54-1DDA-40F9-AA9C-D5FCC71EA1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90d2b0cedad86395d09c6c52108833d65b326755","datavalue":{"value":"marked graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400920$73A0BBE5-FB0D-4E9C-BEE2-4A1A826A19A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89637058ec4fb31a987fb3056088b8f52b77eaf9","datavalue":{"value":"components","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400920$14106B95-7294-4C52-AACC-A925FCDFF94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b5287dae2a586a744f8121e47bc4e47fd17434","datavalue":{"value":"localities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400920$2FE614EA-1E76-4F81-A07B-1A100EDFA5AB","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":"Q3400920$8C3A53E0-A40F-4088-9093-8DD752A8E7D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3733a05ff2ee2d310655deace10f80d07abadf2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11623-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400920$E77A245A-2D6F-461D-B85E-1748CE701690","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f52bc2525a1a4575ce4e4a40351ba29e55f42e49","datavalue":{"value":"W1500934134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400920$7A5FBC61-FC19-42B5-BAA4-910945465124","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5d8951533abd501a5fa724f3fca12ec7230f0a","datavalue":{"value":{"entity-type":"item","numeric-id":433351,"id":"Q433351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b9865777010da6361ce4d1e9b7047b8841504a1","datavalue":{"value":{"amount":"+0.90867406","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":"Q3400920$69640630-D439-40C0-94B4-DC643AEE3FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56432cee93355b9256b6c7e0cdfe14183f014031","datavalue":{"value":{"entity-type":"item","numeric-id":1924630,"id":"Q1924630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b3da17e2d8c6e491598ee10711ed5404423a20","datavalue":{"value":{"amount":"+0.82839435","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":"Q3400920$2C824969-18C4-447E-9F1C-649222E0AB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a6c165ce0495ac7f55f5cdb4d53a3ee6dcba58","datavalue":{"value":{"entity-type":"item","numeric-id":6487379,"id":"Q6487379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6531f2c1e6a0add6eaf373618bf3185148dc2e4","datavalue":{"value":{"amount":"+0.8190081","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":"Q3400920$3C448751-AC86-4FB9-9555-ACCFDF5DECAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76341b585ef84da711f1776d66eb042958535d76","datavalue":{"value":{"entity-type":"item","numeric-id":3055041,"id":"Q3055041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc63008e8a82c4666c06ad194f616554024136cc","datavalue":{"value":{"amount":"+0.8140607","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":"Q3400920$8EEC0075-739D-4D08-BE98-2F1298D54D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b75469c427d0c1a71066e8bbe329e703f6728ca","datavalue":{"value":{"entity-type":"item","numeric-id":2225129,"id":"Q2225129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10e13a1a8a70b25f1e28c85b95c9d4f94e722d5","datavalue":{"value":{"amount":"+0.8121813","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":"Q3400920$CD301496-E08A-4127-93FD-E809AFE61AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585be1445e8d666131d390ada5fd4f1841cd5a04","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c071c2e7d67b094e9360ee4fbbd58cd962ea44","datavalue":{"value":{"amount":"+0.80991316","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":"Q3400920$5D612E75-63B3-4699-BC2B-307DD5A40B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c2c14f72237860549681ca2e4282ab4f5cca39","datavalue":{"value":{"entity-type":"item","numeric-id":2699967,"id":"Q2699967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbcfe758647637d5d7196f2095606d4773661fdd","datavalue":{"value":{"amount":"+0.8088317","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":"Q3400920$0556D787-7D87-4B62-988A-F0DBA4DE7AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1012fb79df7f40d18d25b20cdc90c394fa3ff056","datavalue":{"value":{"entity-type":"item","numeric-id":5209965,"id":"Q5209965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aade4608e086319387a8349f66849338084e8bab","datavalue":{"value":{"amount":"+0.80827844","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":"Q3400920$6D868940-F9E7-4BBE-A96E-B9203CAD96EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400920"}}}}}