{"entities":{"Q2915179":{"pageid":2925899,"ns":120,"title":"Item:Q2915179","lastrevid":79887887,"modified":"2026-05-06T14:56:24Z","type":"item","id":"Q2915179","labels":{"en":{"language":"en","value":"Compositional abstraction techniques for probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6085050"}},"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":"Q2915179$7C1CCDCB-51AF-4B21-ACF4-A9B82266423F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2317aba3c7ec76045985fffdcc7bcbc29244c664","datavalue":{"value":{"text":"Compositional Abstraction Techniques for Probabilistic Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915179$79D15674-04E3-4D16-A70A-CD547FDD1843","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2824b19eacdb386ca689eb4085155bbb0981a80f","datavalue":{"value":"1362.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915179$82D4B0C2-4897-4C52-A2BF-1BD5EC4EFE5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fc80873ed691b0b93ddbd373015889e2ca7d914","datavalue":{"value":"10.1007/978-3-642-33475-7_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915179$696B510E-361C-4BA5-A443-FF817E0651D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e914f56465f6480a2ef46b02f1dd75e17ee3762","datavalue":{"value":{"entity-type":"item","numeric-id":386010,"id":"Q386010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915179$2583C87E-96BD-4617-8DFB-7E729DD0584F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915179$DD20407B-C70A-499E-AA1C-EFCEA13C55F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915179$27A6AC27-063A-4F97-A456-9E421B504286","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915179$07A0EEA2-EEB8-4C45-859C-3550AF7C50C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915179$BACBB0EA-D9C1-4063-BDB2-C41F80BC386E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915179$E17869DD-7026-4F85-91C9-77E05B788C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915179$3ED7DA11-1DE6-4DF1-9AF5-FD737EBB3AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915179$D9CD5E94-8B0C-49D5-91CC-8D81104698C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84a5111c75e0825dde68f9896f3cc98ce96a53f1","datavalue":{"value":"6085050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915179$CE2DA514-A6E7-4B6B-8034-90FA536BBEC4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c931c57e8e61cb9c7be98c8deb7e5f14916a3a3f","datavalue":{"value":"Q57801050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915179$140B2EFF-F0F6-4FBB-B89A-626970FB191D","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":"Q2915179$38E24D42-2CE6-4FB2-BBA1-0D3BFB960095","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89f803e965474754609edd50f2974cd361e69d99","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33475-7_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915179$1C135FD6-1D3D-49F6-B163-348EE410623F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61d6cab9f155b4345269832f77d840daa47100a1","datavalue":{"value":"W106578878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915179$4DA255C3-C9F9-4521-BB40-D32C2098C679","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955a7b5b0e1d5bd801b77869d7b6ffa9693b1e5f","datavalue":{"value":{"entity-type":"item","numeric-id":386011,"id":"Q386011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e348e0146250bedd09d0954dfb3c352f35b70155","datavalue":{"value":{"amount":"+0.856093168258667","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":"Q2915179$67967102-31DB-4DD8-92BD-E7D03634E638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0add54a764ac02f2329798cc005bc54762c5966d","datavalue":{"value":{"entity-type":"item","numeric-id":3075492,"id":"Q3075492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"093ce698e9674f9382ba713c7c5b09353743ea11","datavalue":{"value":{"amount":"+0.8490744829177856","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":"Q2915179$DD1984B6-EBEB-47F1-884D-FDA45E5039B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948aa440b79f167b1ada3f07861977d812b29078","datavalue":{"value":{"entity-type":"item","numeric-id":3190145,"id":"Q3190145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d28311d6262f2bcbc0220eeec2f0888624c6f91","datavalue":{"value":{"amount":"+0.8468232154846191","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":"Q2915179$DAACAC4F-905A-457D-AB2D-C9FAD148EBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e64633ec1a393cf785d4efb7bfa06a5e6f3c7ac","datavalue":{"value":{"entity-type":"item","numeric-id":3648832,"id":"Q3648832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2ad5fa34abf93a3942df2b8d2723b70f0572ffd","datavalue":{"value":{"amount":"+0.834359347820282","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":"Q2915179$A3453257-A128-4039-B693-E9100644768D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92466333a2dc3690fe3bbb80844d55b18e8dcdfb","datavalue":{"value":{"entity-type":"item","numeric-id":2937733,"id":"Q2937733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b60373d35a33a2f53db5981da90bb56e7bdea79","datavalue":{"value":{"amount":"+0.8291318416595459","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":"Q2915179$42B5E36A-A420-42CA-959F-0AC6F11CFFA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional abstraction techniques for probabilistic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_abstraction_techniques_for_probabilistic_automata"}}}}}