{"entities":{"Q2453115":{"pageid":2463858,"ns":120,"title":"Item:Q2453115","lastrevid":73199547,"modified":"2026-04-14T14:57:06Z","type":"item","id":"Q2453115","labels":{"en":{"language":"en","value":"Exact fluid lumpability in Markovian process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6301508"}},"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":"Q2453115$1FDDA8DC-47A4-479E-8993-E77C557DA405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80ea4ef7df63aba78b294b87ed6240c92360f0dc","datavalue":{"value":{"text":"Exact fluid lumpability in Markovian process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453115$7BE61815-B12D-4F1D-8B63-6613F7B1E3BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a183b3aa58744b47bdb542b775738f466d827cb9","datavalue":{"value":"1359.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453115$60C08269-C0D3-467D-9D6E-6F83B3867019","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24b64afcbe07b96dc4ade0b892f497c36127e74d","datavalue":{"value":{"entity-type":"item","numeric-id":387986,"id":"Q387986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$527BFA34-E55D-4A62-B0AD-CBBAB4178926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e4d8b61176f50b79f15dd82d4a93cce65317276","datavalue":{"value":{"entity-type":"item","numeric-id":387987,"id":"Q387987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$8D893399-13E5-4768-A8E9-CE632D39598F","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":"Q2453115$8CA3B2E7-7991-47C3-9124-486C6608F55A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7f3fbc447f1c390e2d7e7b93294821ab0240de3","datavalue":{"value":{"time":"+2014-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453115$C95183EC-63B1-4DAE-AF1A-98624E01FCF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453115$0A2F5ECD-8F28-4D12-92B4-0A34EA513685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453115$DAAF5ABA-2FBA-42D4-9069-076398646E79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e45f3108ff32cd235934fb87fa82cb24fcd64d5","datavalue":{"value":"6301508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453115$E23B2EA5-E603-41EA-A57E-82A81A6133DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453115$AB9451E9-EF80-420D-8418-F9DF23E5BA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c57ad59cf3d0781c61ff6711d6e05601a6f7e0","datavalue":{"value":"state-space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453115$DB03CA48-BE6C-4E1A-878B-596BE87D1A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b36e7f2f2edf82469896981120488f710d53d80","datavalue":{"value":"aggregation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453115$058F4F79-8DA9-4670-83C5-A650FAE94D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453115$E040EBA9-A0A9-43EB-ACA1-73376642E7A8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4dfc98257ef05838717ad78b3bfc5b476a4a2699","datavalue":{"value":"Q57790791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453115$B0A0ACE4-4E51-4725-996B-CD07980F117D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68c27ca2fb44e713225441b9417dc37e3cf80073","datavalue":{"value":{"entity-type":"item","numeric-id":14749,"id":"Q14749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$932D5C2A-4709-4879-AC7F-94654C8FDC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"893408b55425822008bbb61cbc533a89cd7bf4e4","datavalue":{"value":{"entity-type":"item","numeric-id":14101,"id":"Q14101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$9DD04F5C-7D4C-43B1-891D-4A6C529517A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8e5d5bcc5e71e7649f82c0434334f298b02dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":22650,"id":"Q22650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$EF32EFC9-AD6D-46D4-871B-CF0AA2715D5F","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":"Q2453115$2FC243AD-74F7-4BBD-86FD-13AABB798D0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"711fb9d6876dfa1d062d016ed1660dc43fee93e3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.07.029","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453115$5E4E66A6-529C-4E77-8B2D-D2B17BF9E7BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38285a746153efcd7a047adc69d8ac07c3745040","datavalue":{"value":"W2237280868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453115$67EF25E5-ED57-4BC3-B108-EF21995BCF5E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffeeab1a882018ab2fd9a3350311f16e8b1c7734","datavalue":{"value":{"entity-type":"item","numeric-id":3617561,"id":"Q3617561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$2AF12B87-1851-4EE4-8314-5C4782A1715D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7182439e0ed109f0fc10ef28a8043d20c0540a","datavalue":{"value":{"entity-type":"item","numeric-id":1401206,"id":"Q1401206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$C730C36F-C6A1-4FF4-AA23-D7A9ED9116AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc59bae63b743ea9cdfc1df5e724d22cf1709df7","datavalue":{"value":{"entity-type":"item","numeric-id":4296371,"id":"Q4296371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$15ECFA11-2DCB-46A2-9C3B-E5703D9D6034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f52de9a4a1b8cd2deeeaf3402deb174d136fd","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$3D86798F-EC43-4F9C-B83C-074A8610F993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cb374a41806ad4b396c44c30dfb45f7d22fdb9","datavalue":{"value":{"entity-type":"item","numeric-id":953546,"id":"Q953546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$E5FE4302-D70E-4B39-9F28-2048DD9088A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3e09623e43e30d6d46fcdeadf9fa5f804c320c","datavalue":{"value":{"entity-type":"item","numeric-id":2271444,"id":"Q2271444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$97E8C973-B4BD-46DC-8007-D0DD7603AC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d267520a8bc44c2f4381b45c205a6d0e3929bb24","datavalue":{"value":{"entity-type":"item","numeric-id":2474433,"id":"Q2474433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$675A5E30-EF46-41D9-9FF9-61C1C789DCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28a028fdc0937ab74303af59ba233ae6fd2e9fb","datavalue":{"value":{"entity-type":"item","numeric-id":3642958,"id":"Q3642958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$E343414C-55CE-47F1-9D8C-EFDAA623E6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97d3292bff579fd9ae77118283efce3760f4888","datavalue":{"value":{"entity-type":"item","numeric-id":5640612,"id":"Q5640612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$FCC5EA35-81C6-4829-8105-9950BEA1E4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b0222f0424dda604acf25f47b92ad85e80d854","datavalue":{"value":{"entity-type":"item","numeric-id":974116,"id":"Q974116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$14FA16F7-C7DE-48BA-8E63-89C79ABE6A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddbd1b714c9bf00109e41795874b93c1d0e4e200","datavalue":{"value":{"entity-type":"item","numeric-id":2912691,"id":"Q2912691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$4D2A433C-EE6E-46CE-9427-7B5AFE3C45CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e90df9c1808bbdbed1a180785eb0aaff379ccf8","datavalue":{"value":{"entity-type":"item","numeric-id":4094202,"id":"Q4094202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453115$1616BC8C-CC83-4327-BF47-BC6E366CEA88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29de62cbfbddad9946520b90233bc582d4e4f594","datavalue":{"value":"10.1016/J.TCS.2013.07.029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453115$FE09435F-FC08-4E6D-8BE2-E161BFC776C8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"824540407853b823f4a8c935c8b43c86c71bae6d","datavalue":{"value":"journals/tcs/TschaikowskiT14a","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453115$0BFE74F3-1446-492E-AFBA-DB50A527DE4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831cde8f45d46da1e32604d4682db4b89371af26","datavalue":{"value":{"entity-type":"item","numeric-id":2912691,"id":"Q2912691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e76c3b1af580d25dc938230c9a8b844a91aef4","datavalue":{"value":{"amount":"+0.9306057691574096","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":"Q2453115$60E29F18-2DCA-4254-9BA1-61013739911A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e7c2615d65991a46e93210d84a22219b2dbf0b7","datavalue":{"value":{"entity-type":"item","numeric-id":2258842,"id":"Q2258842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e59245680b22b257d34f0ffaf5f193e7b36b74","datavalue":{"value":{"amount":"+0.8794904351234436","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":"Q2453115$0C2E013C-6DB4-42AB-92CA-9566E57D3693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5076c31681ff0bb61ad7aa97a2293d2ea2350f8b","datavalue":{"value":{"entity-type":"item","numeric-id":974116,"id":"Q974116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39b169833077ae1f705947692d2eabc142b3705","datavalue":{"value":{"amount":"+0.8264548182487488","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":"Q2453115$53CB66C9-BDD4-424B-990D-575710F62C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e453ab8dcebaa3bacf3b05d79a69f27f95442a79","datavalue":{"value":{"entity-type":"item","numeric-id":387988,"id":"Q387988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5cd62c896922ad37304002f0aa4aad8efa3e81","datavalue":{"value":{"amount":"+0.8230285048484802","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":"Q2453115$AC28B52C-BEA0-44C5-BC61-3510233A7315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552234f04f7f4bc4a5c96a6f53da7a493ad97bc9","datavalue":{"value":{"entity-type":"item","numeric-id":1798123,"id":"Q1798123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1087e8af66567d2f5fdee95a46783c278988e625","datavalue":{"value":{"amount":"+0.7941377758979797","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":"Q2453115$E4037D36-6300-4316-A3C4-3E5D5AD920CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exact fluid lumpability in Markovian process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exact_fluid_lumpability_in_Markovian_process_algebra"}}}}}