{"entities":{"Q6639409":{"pageid":14250561,"ns":120,"title":"Item:Q6639409","lastrevid":55793887,"modified":"2026-02-17T22:54:21Z","type":"item","id":"Q6639409","labels":{"en":{"language":"en","value":"Rate lifting for stochastic process algebra by transition context augmentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7945424"}},"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":"Q6639409$5F2907EB-7EAE-488F-B92D-E792C13F7EED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25ca8ee1df0d26d5f2365d21111b802ce3727ba2","datavalue":{"value":{"text":"Rate lifting for stochastic process algebra by transition context augmentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6639409$76DD5184-9255-435C-BF64-3F4848BCB992","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f88d4bdf585b259183aae342a6f7b5497b0ef786","datavalue":{"value":"1548.62202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639409$D67F02BE-A437-4370-B388-A61546E64537","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aac131d0c0b37cde5b20498d092a08bfe4a899ab","datavalue":{"value":"10.1145/3656582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639409$89F06C2F-C3C4-41E2-8804-E72FCEEDEA39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"418118856004218b1d38dda0583edc7a50194bd8","datavalue":{"value":{"entity-type":"item","numeric-id":2145273,"id":"Q2145273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$2ADC50E5-7320-47AF-928C-DF26F2F5E2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"949e78a66cf5c91e4a4ce5d9e267895c69248c77","datavalue":{"value":{"entity-type":"item","numeric-id":600973,"id":"Q600973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$5F8DBAB1-DBF4-444A-BD4E-89639C0024F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f5bae07c449260f47024289866c93e24bb0f22e","datavalue":{"value":{"entity-type":"item","numeric-id":64755,"id":"Q64755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$A17E17A7-2A4E-4EAF-BAED-958085073FF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"766bbc3e4a23e7a800cf46cd9ae3e5e68d6d6874","datavalue":{"value":{"time":"+2024-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6639409$8EEC6D5D-5C92-49CF-9EDA-FD9D84FCC70F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46b5c34ce8c233319220da380cff61aa0fb62b3c","datavalue":{"value":"62L10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639409$3CF85D90-928A-4EF2-A0CA-50AABC949BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2ef3c37a0453694c8108248b63c06b23b44dda9","datavalue":{"value":"62-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639409$151B7C07-453B-4FD3-9558-931C186C4689","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a681108af534f7678fd606cda83e0c1cd959f257","datavalue":{"value":"7945424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639409$D26BCDD4-3634-49AD-8263-2841EA20EEA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e241b3cade993e79fe0ff29a89f8d51b63d87b","datavalue":{"value":"stochastic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639409$ADF41E79-5184-4705-A71E-F9CB3EDC2726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0c590d5db61adb2d3f351daaab39afd12185c3","datavalue":{"value":"structural and behavioural properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639409$EEF94916-E553-4F33-8739-AC41EB1BFBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397d9252ef89819a92633d8502b4000f6e56c083","datavalue":{"value":"Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639409$D489313D-F7CD-4604-BBE6-7AA4D16C8BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5261b3f94c4e1d7dd6543546ef60f48972992361","datavalue":{"value":"model repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639409$53877BC2-80A7-4110-8A57-DD0DB8D235EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd360cc29582c383e187146099e32347da850a0","datavalue":{"value":"rate lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639409$2DE9C405-D7A1-4423-AA91-ADBAAD3661DC","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":"Q6639409$BC24A064-A7B3-4A35-B0BB-B369697ABAB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"487448dd707475ff2ae733502dd4fc7b7a38882c","datavalue":{"value":{"entity-type":"item","numeric-id":3000664,"id":"Q3000664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$39185CCB-1E7C-4E27-81BC-3799948AB878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fec0d5f2f76a1a236a8141f561809a50a7d6044","datavalue":{"value":{"entity-type":"item","numeric-id":6136746,"id":"Q6136746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$1A21E2AF-F148-4656-9167-C1124A603434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb05c55beb900b23c04060b709030c4759e3de5","datavalue":{"value":{"entity-type":"item","numeric-id":654738,"id":"Q654738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$340DD4EE-46F1-4F73-9FA7-A87735951098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf75ae3bbb86aaaa95ce7d83fadffede3af73d0","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$5400D1F5-3515-4A7B-AD1F-A7712EBEB9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0638138df0291ceaa76b7827ba2e8709b02fb13","datavalue":{"value":{"entity-type":"item","numeric-id":4840578,"id":"Q4840578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$4EBDAC9A-5890-47C8-AAAA-52A4B3E2F25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aed4666b07664ef219077b71f63730ce7d0198c","datavalue":{"value":{"entity-type":"item","numeric-id":3875313,"id":"Q3875313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$39498948-BEFF-4971-9E99-29C2D6FEAEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$F3C37C55-D9AC-477B-9D0D-B0AC2FF1029B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d96b9884c45a81505a46bd48cdafe328a8e2ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1935393,"id":"Q1935393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$047E7619-DC76-41D9-A281-C2CDA4843887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d4f399b435e7752364e0de9f1928f8766aeecd","datavalue":{"value":{"entity-type":"item","numeric-id":6103028,"id":"Q6103028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$756C7EC3-F43B-4009-BE46-D99A87AD068A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c997151e8bbe249710995619981ef8a3c83fb3","datavalue":{"value":{"entity-type":"item","numeric-id":1086985,"id":"Q1086985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$FC15A1D6-99EE-4F70-8EB1-41EA4460BB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b065692239fd4d4eee611575859bd4fe4301db","datavalue":{"value":{"entity-type":"item","numeric-id":5014508,"id":"Q5014508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$8C4D077D-229C-483F-8ADF-55C4911D9139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d16e67158061e5538053fbcfe19f89813584496","datavalue":{"value":{"entity-type":"item","numeric-id":2145274,"id":"Q2145274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639409$166344A2-8DA1-4CAF-85E0-CC2068C1EF7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be3ffd4d70af23a7fa759de9a8eed24939f5042","datavalue":{"value":{"entity-type":"item","numeric-id":6103028,"id":"Q6103028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d95b29a271b5d1aa1b262592114d619113d2d71","datavalue":{"value":{"amount":"+0.9593375325202942","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":"Q6639409$89E5FA5E-8ED4-42CE-8012-3953368F047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac1a85493a0d760dc2211d1ebeee40ca034a12d","datavalue":{"value":{"entity-type":"item","numeric-id":5014508,"id":"Q5014508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3abbf52556c6fb6101d48f682144e0d5bfe48a","datavalue":{"value":{"amount":"+0.8841248750686646","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":"Q6639409$96A92B2C-101F-453C-A99E-1BE4606D89DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d7a99441ff220882069ee26422f79c25fdb2ece","datavalue":{"value":{"entity-type":"item","numeric-id":2145274,"id":"Q2145274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98021ace6f851d8f19bd0b263db02bda2d642a6f","datavalue":{"value":{"amount":"+0.754067063331604","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":"Q6639409$E995430A-18B6-435A-87A1-191578FDCD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302f04b90087390f15980699eaa3b58d2ac61acf","datavalue":{"value":{"entity-type":"item","numeric-id":5321675,"id":"Q5321675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13fc3a14c580c7f5ea2bf28da9e12f33c35760b2","datavalue":{"value":{"amount":"+0.6722548604011536","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":"Q6639409$CFFA44F5-7AC3-4A2D-8E27-16C2BADA3BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d9a7a945c5286c6203081d6135226f2dc644ec","datavalue":{"value":{"entity-type":"item","numeric-id":3599097,"id":"Q3599097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32bc6a88e40af702b7d4919899f7cc54d505c260","datavalue":{"value":{"amount":"+0.664749264717102","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":"Q6639409$7626E021-59E8-4EDB-9C9E-A21D94E485E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6639409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6639409"}}}}}