{"entities":{"Q1753998":{"pageid":1764740,"ns":120,"title":"Item:Q1753998","lastrevid":53097896,"modified":"2026-01-24T05:23:04Z","type":"item","id":"Q1753998","labels":{"en":{"language":"en","value":"Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6876406"}},"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":"Q1753998$0E12F90A-C73D-493F-8E2D-0B9724B46750","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"843913c05ab395925ddc4571a3dd44bda75999a7","datavalue":{"value":{"text":"Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1753998$3CCC7F26-6E7B-4E51-9A9E-4ECDE8EF3F15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e100e0dd8920c8365c055bc90b3d1f0a41cfeb35","datavalue":{"value":"1390.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753998$98F4B521-FB1B-41E4-9AA6-DF52CAD33D21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf4da9b8b264032557942a19ba200ffba2984f30","datavalue":{"value":{"entity-type":"item","numeric-id":1753997,"id":"Q1753997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$63088822-6E86-4272-89B3-3F50E6231E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"715311bd47d04a108b5fe39c844ea8690cf0db3b","datavalue":{"value":{"entity-type":"item","numeric-id":291347,"id":"Q291347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$6FF7CC2A-5309-4520-ACFA-81FBC0E04B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2960711d7df6d2be52b6449e5f402fc00a9829dd","datavalue":{"value":{"entity-type":"item","numeric-id":526432,"id":"Q526432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$FFA175A3-89E1-47A6-B3CC-03E33052109C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b530460b6f0f5f8902bd35bb6f03a8ffe1d4a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":832088,"id":"Q832088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$2838FD2B-993F-42A8-99DF-B7822D128077","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$1D839D1A-7346-4FCB-B80F-BCD8273797CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c7837145f292fc799024546d5357bc1d83f0818","datavalue":{"value":{"time":"+2018-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1753998$F94522A7-8296-4DF0-BA32-0A155E134398","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7683f3d8d1c470e205edbc622be64da1abd3578b","datavalue":{"value":"http://hdl.handle.net/11390/1142576","type":"string"},"datatype":"url"},"type":"statement","id":"Q1753998$49937AC7-0DB1-4A70-BB54-9D6B42B50AA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753998$0D70221E-086C-41D4-AA8C-7BABFB9A045B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753998$A8AEC006-D634-446E-ADFE-167CCFF36764","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60515573a12d0e3eabdfabdbde36b5e4e5f007b8","datavalue":{"value":"6876406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753998$9F0A8D3C-5945-412A-AFB6-1F9BA57114AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a44e8223a098f05bc8780618a4e1843f0010066","datavalue":{"value":"stochastic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1753998$CBD953CC-8CC5-4AB9-BE21-3DF45D22D814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16da24c5a0382d4c0e1b754e184feb71bb9dfeec","datavalue":{"value":"quantitative analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1753998$02FB6395-913E-4FE0-AE26-5E6C51208E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1753998$2209674E-81B8-4928-88A0-EDAAED89B596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c36defd9f1181678f22d18c76d3ef50caeec8b","datavalue":{"value":"product-forms stochastic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1753998$94DDBFDB-14D8-4BAD-BA15-DA97075E870A","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":"Q1753998$593E0371-3553-4481-8006-9BB6DA5530A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cacc9a81239a0813c8f92bf9f07cf20a4a131054","datavalue":{"value":{"entity-type":"item","numeric-id":23722,"id":"Q23722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$42684788-8D7D-4594-9EE6-CED941BEA2D3","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":"Q1753998$559DA2E0-3B88-4777-9BDB-E81E9FFF79DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5103270a09e9d9cf230490795ed45d7b09d0bfa","datavalue":{"value":"W2804498827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753998$1DBFF484-1124-41B1-A467-3C275CC6D6A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2679c29c0d26197f91a356070d95bfb2b5e55c98","datavalue":{"value":{"entity-type":"item","numeric-id":2387196,"id":"Q2387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$D98F7724-7265-474B-9D10-D318B2A230E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae4508de361e244a7ab2d4e5bee4349f395af3f","datavalue":{"value":{"entity-type":"item","numeric-id":5930576,"id":"Q5930576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$FBC1AE47-587C-4DCE-A15B-1AC2D11EF19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02bb7960c718c8fbe528e11312eb18c5fbd34c5a","datavalue":{"value":{"entity-type":"item","numeric-id":3084587,"id":"Q3084587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$BD08003C-F2C6-467D-B56B-75A48474A32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae267f76e4d20275c19d4265eb04fd0662a9863f","datavalue":{"value":{"entity-type":"item","numeric-id":291348,"id":"Q291348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$359D8A97-14D1-4C81-A4E7-1E663BDFAC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d22058e17d91530d1f7b3cc001b636b40144da3","datavalue":{"value":{"entity-type":"item","numeric-id":4072866,"id":"Q4072866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$7A938113-8ED7-4068-A5A6-52814606A5A5","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":"Q1753998$22A9CE35-7D0C-483F-9B3F-549005AB4785","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":"Q1753998$27AC45EC-8269-4971-85FA-4E684B1DB0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090135f6b291e57b0e29f5b49ce2b500cec007d9","datavalue":{"value":{"entity-type":"item","numeric-id":1285589,"id":"Q1285589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$78FB94E4-A490-46D4-8C41-81F3A2047A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701c49517c54d1d803f456c7768bfd7ecdf050ba","datavalue":{"value":{"entity-type":"item","numeric-id":2386631,"id":"Q2386631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$7D0A1D00-01DB-48B8-9608-8CFC67DC069B","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":"Q1753998$4047F995-9477-4338-AC7F-8DB1513F49FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$18F19980-0594-43B0-9AA5-55FB25FBA104","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":"Q1753998$1C94169B-38FA-4960-A367-E67DB3CE9D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e037eed9d2d716d363f1cb70f40f121eab6a1a","datavalue":{"value":{"entity-type":"item","numeric-id":3855869,"id":"Q3855869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$47E1FBEF-4F08-4B32-9FF6-CC49E954B026","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":"Q1753998$987D488E-3E9E-4593-8831-4FCCC77E7FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$1396A790-BC3D-4F3C-8401-0BD0372F1B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33120daec98a12e1717a7c03f7d0fb0362a98c24","datavalue":{"value":{"entity-type":"item","numeric-id":1798140,"id":"Q1798140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$5AC5ACC7-771F-4367-B3FD-E7E871D0CB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27a348a124bfbf7ae46242c406a7910c37f1396","datavalue":{"value":{"entity-type":"item","numeric-id":2406431,"id":"Q2406431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$AF8C7467-0A22-43B5-9853-F41F11B36738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713d4f8eb268d0b0a0c017e3da9becbccefc7204","datavalue":{"value":{"entity-type":"item","numeric-id":2945596,"id":"Q2945596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$CAFEA624-EAE6-40C4-A30D-B06F8EA763BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$9F020142-BAD2-47BB-83DB-71EF158AD001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896f870032eba754755e97ee1b4e078582f4c0fc","datavalue":{"value":{"entity-type":"item","numeric-id":3851396,"id":"Q3851396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$63F3F727-5B6E-4AD5-B417-0E24C9309719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddaee849cfda84e9d982770877a08d5cd5bbcb0d","datavalue":{"value":{"entity-type":"item","numeric-id":3819799,"id":"Q3819799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$261D785C-46C2-404B-9850-7022AEA4D3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24479907e5ff62f7e96f21e3a99db2257659f8ac","datavalue":{"value":{"entity-type":"item","numeric-id":3557064,"id":"Q3557064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1753998$FC4EEE4A-7869-4282-A518-E58338E70365","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3769ae0efbfe0e4a5b7ac60d1ec8f2f795b01608","datavalue":{"value":"10.1016/J.IC.2018.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1753998$59B467F2-9BB4-476F-8828-707942A7AE42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460ac09476493d2de2dc093f739f0e09c29f1983","datavalue":{"value":{"entity-type":"item","numeric-id":1285589,"id":"Q1285589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c071ed5b5389bf90db28e83ce9a27b59d31478a","datavalue":{"value":{"amount":"+0.821168839931488","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":"Q1753998$2B7083DD-A3D8-48A6-9263-8279887297D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305886efe3ca3c79311d968af48d42a86d0842d0","datavalue":{"value":{"entity-type":"item","numeric-id":5262954,"id":"Q5262954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb6c6c21efabc606ba85d0377c7a91e72909f74","datavalue":{"value":{"amount":"+0.7975208163261414","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":"Q1753998$ACA21948-2949-434C-921F-D979D068A00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbefc8eb61c868f4c46a89fd12534005e7a2c1f8","datavalue":{"value":{"entity-type":"item","numeric-id":291348,"id":"Q291348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4daebd5202b1fc7966d24088d906f4db1ed353","datavalue":{"value":{"amount":"+0.7913684844970703","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":"Q1753998$8296C40E-F3CF-4385-8F1C-D47F14274B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f610574d14bec823de2866cd0db7f286ab6a2424","datavalue":{"value":{"entity-type":"item","numeric-id":2373649,"id":"Q2373649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d734deb47ce495bf2a5e94b6b36776c5ae5605","datavalue":{"value":{"amount":"+0.776296079158783","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":"Q1753998$0FF662EB-EE9F-496C-B88B-284BBDE55EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1224d34b3e66525782cad30fd26ee91e2b00511c","datavalue":{"value":{"entity-type":"item","numeric-id":2900404,"id":"Q2900404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f80182c20b386f29f06e6cde2380e5231d758c","datavalue":{"value":{"amount":"+0.7710975408554077","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":"Q1753998$C59EAD5F-C945-4AD2-AA52-BAF622C6FBC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1753998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1753998"}}}}}