{"entities":{"Q2510133":{"pageid":2520876,"ns":120,"title":"Item:Q2510133","lastrevid":79029767,"modified":"2026-05-06T12:59:09Z","type":"item","id":"Q2510133","labels":{"en":{"language":"en","value":"An interleaving semantics for UML 2 interactions using Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6323796"}},"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":"Q2510133$41C2ED20-60FE-42FC-B097-D9DFC802846E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cf88e6242516fa30863426ebcb1789dc90da079","datavalue":{"value":{"text":"An interleaving semantics for UML 2 interactions using Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2510133$370BBA6E-E6E7-4309-A8C6-9ABACC2D4BD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"527922cc4df3802e1317f50cff1d0be5c5fe1671","datavalue":{"value":"1293.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510133$DD2C9335-5AC3-4C79-9679-7238976FC9C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cbc123377cecd20914338016eee5630ec472b98","datavalue":{"value":{"entity-type":"item","numeric-id":2510131,"id":"Q2510131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510133$38D3BD77-46E0-4A74-BBDD-75EBB9355AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50b331c04b89639c24a316207e5b1a0daa768599","datavalue":{"value":{"entity-type":"item","numeric-id":2510132,"id":"Q2510132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510133$737D5B16-9465-4E28-86CD-04D4C4A4A55B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510133$A3B3271C-5FA3-4CD4-8AC9-D1BCC02DC7BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b66c4ebdc3ea8a32c3e796d6baa3c7adc2ca06a","datavalue":{"value":{"time":"+2014-08-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":"Q2510133$1049D0FB-6496-4AB3-97A9-D87529A99351","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510133$906B5809-A2A1-443F-BB5C-79F4C7B8C9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510133$AD935E70-C9C7-4CA7-8ED1-F9A306ECC8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510133$54991538-4FC0-4564-8536-C718582EF1BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d25fcc4d75b52af37b9ac7e525787f4afbf8d5f","datavalue":{"value":"6323796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510133$A8EB0939-674F-4D7E-8EA1-120565A9B636","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa05551b35a231ede8aa2a11fc02e749523158d","datavalue":{"value":"UML2","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510133$B4F1AAE9-E3E1-44BD-9F37-F7C3D66897C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510133$B1CA7863-331E-4307-A5C5-CF0F5CB09492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510133$A528F921-0CD4-4B0F-A16E-774849C56189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510133$4555BBEE-9204-40BA-A182-552BA6A8D80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510133$EAA1618E-4776-4CD2-ADBC-706C38EA11EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2510133$11BBC164-8556-4F7A-B0E1-72BC775CFB2D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8f4fd54df9908a4010811abbba153f49082bcb87","datavalue":{"value":{"entity-type":"item","numeric-id":20210,"id":"Q20210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2510133$164CE072-E6AD-4C5B-9B46-392BD2B61494","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":"Q2510133$19517702-D7EA-4A0F-AD12-8C3166EA19C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3919ecc010ed6c35dde7440f036e16f6b1d52489","datavalue":{"value":"https://doi.org/10.1016/j.ins.2012.12.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2510133$BD4A1113-A5D1-4F24-81B9-EC2F8AD41524","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"881e81beb16375db2cbc371b21d23aa14e9380de","datavalue":{"value":"W2039919170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510133$BEA08D51-16CE-4A65-8661-CBD56886244A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39915ba7d493331ac1286b5abc79517f2f48af18","datavalue":{"value":"10.1016/J.INS.2012.12.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2510133$E39501C9-9A8D-4EEF-959C-1BD190C0E079","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e07bf39d41a041eafe2ff424d6dff2905e2c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2768136,"id":"Q2768136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"283b089df7dd29cadc7563ddf672da0c5af68c22","datavalue":{"value":{"amount":"+0.7798595428466797","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":"Q2510133$968A5AD9-8A67-4F18-8F57-5F01E1FA05FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b738dd4f31d89835e2c1cde339e54fabe730f4b","datavalue":{"value":{"entity-type":"item","numeric-id":820134,"id":"Q820134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d9242c3cda70cfe1f465e8925ae5c449722e3c","datavalue":{"value":{"amount":"+0.7714089155197144","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":"Q2510133$DDB6BD3E-5F02-4D01-9A76-CC3578A77DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f547e95a43166ac36d22cdd0d0f89f7cebebe528","datavalue":{"value":{"entity-type":"item","numeric-id":5312988,"id":"Q5312988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc6ef5873784838d03a745250fc1d370cb6d51e","datavalue":{"value":{"amount":"+0.771407961845398","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":"Q2510133$2ACFEB81-5B48-44EA-A6B0-654263A3FA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb23b52cda45d1bbdf7595c9abd3faa83eaddbfe","datavalue":{"value":{"entity-type":"item","numeric-id":5479147,"id":"Q5479147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9234d026c29f9c4c618e55d9a9f129ae0873571b","datavalue":{"value":{"amount":"+0.7645420432090759","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":"Q2510133$2DB3A942-680A-49BC-8972-4255F55CBCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a03ea368dab2c9c6542dbc9bd37b39b263f1e848","datavalue":{"value":{"entity-type":"item","numeric-id":3613071,"id":"Q3613071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69cc3085177f4704c0a04fc671921f5f0805b93f","datavalue":{"value":{"amount":"+0.7588598132133484","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":"Q2510133$8CBA3F47-C1DA-4B27-8224-F022126ED400","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An interleaving semantics for UML 2 interactions using Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_interleaving_semantics_for_UML_2_interactions_using_Petri_nets"}}}}}