{"entities":{"Q2629854":{"pageid":2640597,"ns":120,"title":"Item:Q2629854","lastrevid":79261592,"modified":"2026-05-06T13:31:06Z","type":"item","id":"Q2629854","labels":{"en":{"language":"en","value":"A space-efficient simulation algorithm on probabilistic automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601720"}},"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":"Q2629854$96148FD6-F12A-402E-9F90-7845B8CCA56D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23c42b6a12a4e9fcc0f490a20afdaf5fb99d2c92","datavalue":{"value":{"text":"A space-efficient simulation algorithm on probabilistic automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2629854$D3A28AE7-A390-43D3-8919-2D00F3ED37CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae8157ee3e33414503dc650f05e4bc590ed21470","datavalue":{"value":"1345.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629854$4C80F99A-96D8-457C-9A34-EC7BF6DE5B7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$0CB09F80-15D8-46B4-8A6D-2B76CBB6F12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$C5F7AA00-5D6F-4964-A4C4-BFEDBBF7F676","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":"Q2629854$35AE133C-4CB6-4E11-B511-325B616AC756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83a193227d6ba6906cd45e4bab84652b56c48091","datavalue":{"value":{"time":"+2016-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2629854$476E2584-BB76-47C8-9562-688E478A5CA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629854$33C3D04A-57F6-4174-802A-76E766C0900B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629854$606288BB-FD52-4886-AB96-8C51A07CDB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629854$4B5EE1EC-CB0A-4795-969C-E920A576F0F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8972fc7f6a8b7effa1f68a79b1236bedfcb6033","datavalue":{"value":"6601720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629854$D6457606-FEE8-4881-8459-D6BD5DC6E2F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629854$8AB08F54-6F37-47EA-B4E5-287341DF8F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629854$5ED00427-4233-40C4-83B4-63F541616F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e8b43431268f67f3d3261502b214dc7d8163ffd","datavalue":{"value":"partition refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629854$C581D2C6-637C-4892-BD03-CEE2E67C027C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2629854$99DEAB63-A1A1-4606-8931-7BE1852A01D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$CE6693A5-3260-4F57-B648-0AE581820A35","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":"Q2629854$55137331-AFF0-4CBF-8078-7DF51833091D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3461eb2fac277f0f98404ed3487a028e07211159","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2629854$72075287-D3E5-4EF0-8801-6C91C92294FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9fd77ef8c70dd617c5ed26b5fac76acbc1aa258","datavalue":{"value":"W2345422704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629854$7B099C4B-2450-4815-8C83-5FDD8085FB27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$D6394929-DD12-4DF3-B343-2B84D5E568D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c365e25ffb1da604bb143141e561fe2efa1863","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$3445112F-CA61-4B80-A1FB-8C42A4A076AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f3de8681a56bb96adb9cc22e793c071c545a14","datavalue":{"value":{"entity-type":"item","numeric-id":4508289,"id":"Q4508289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$6DF7CED8-D6A2-42B0-986D-4982129C7722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55e8ce4ec20f9f894e2d7db5e6084d390bc1c76","datavalue":{"value":{"entity-type":"item","numeric-id":2266992,"id":"Q2266992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$2650131A-AFDD-4147-9F64-7E4073B3E39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19e969818e69efab98e68b20b6cbbb145ad8c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2986820,"id":"Q2986820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$3EC3980C-8575-4369-8588-F854B3B869A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$D7A0FD0C-F0C9-4945-85E9-3A78F0AC65C1","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":"Q2629854$5FC5AA71-6504-470F-A49C-6466C8C4408A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$4B37F703-FC4D-4207-8C57-E213DF9A411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5443bb9284f87063c1317606853d9c7a7285a7","datavalue":{"value":{"entity-type":"item","numeric-id":1014448,"id":"Q1014448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$C8637B0E-9351-490D-B1EF-5A913970F696","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":"Q2629854$ADC375A8-E0E1-4E81-9AA9-DAA16686A359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf2126ec31c7fc7d45c247c9431c6fae536e374","datavalue":{"value":{"entity-type":"item","numeric-id":1431342,"id":"Q1431342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$673FBC3C-D819-44CE-9CAD-B9450CF6EB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d291d754d0cd452557c8352d0248f0cc56e3bef2","datavalue":{"value":{"entity-type":"item","numeric-id":3623003,"id":"Q3623003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$7FC937F6-2C7D-4F6A-9013-FFD94CEAB6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8d9315c5891d32d45c12916adfcdec972dfa25","datavalue":{"value":{"entity-type":"item","numeric-id":3541022,"id":"Q3541022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$ADE08FF1-E295-4454-B2E3-1B6913AB6614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7fc49cc172128cedc48b48157e5d0ff89c01e8","datavalue":{"value":{"entity-type":"item","numeric-id":1899135,"id":"Q1899135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$3C276D07-E517-41F3-BFCA-F4B2903001B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$57F4DE22-4A0B-4E23-899E-5C7089C658E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b4581bc83587212b62cb05e1a5626286213a57","datavalue":{"value":{"entity-type":"item","numeric-id":4037388,"id":"Q4037388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$B2530AC6-51F8-4073-B157-30CB1082902A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55219ffb08479eea056d4935e47c830652aeb7c2","datavalue":{"value":{"entity-type":"item","numeric-id":2771063,"id":"Q2771063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$E69EEB5E-D7FF-4CBE-937F-A656F6FF4B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e9e846290cee4dabd776cdd2008efe4fe65b7e","datavalue":{"value":{"entity-type":"item","numeric-id":2723424,"id":"Q2723424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$6F76317F-3D8B-4EBA-B110-C49DFBF80B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4d173d86e0c216957e12c1d5d9e85e51ce99f2","datavalue":{"value":{"entity-type":"item","numeric-id":3512514,"id":"Q3512514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$0E65E0C2-C032-402D-A048-6A9B51099791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41815ead4035e513c9364777986329821f2b908a","datavalue":{"value":{"entity-type":"item","numeric-id":3510797,"id":"Q3510797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$2A8508DA-FA92-4C52-B5F6-664DCAE94FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94005bb176535c6c15a9c0d85f2fd5ebf58c63b","datavalue":{"value":{"entity-type":"item","numeric-id":5758107,"id":"Q5758107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$AD5C6BD7-7EE6-40D0-9760-92BCAED9997F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9b3542afef9b7d7b8664dc5e5aabaf7b4bfeba","datavalue":{"value":{"entity-type":"item","numeric-id":453545,"id":"Q453545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$0FFD387D-4127-48DD-90B6-98557D73CD6D","rank":"normal"},{"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":"Q2629854$BBCFC796-2B32-44D0-A456-25E4F71AC0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8432f01401c49ada6550faac9dbee25ecd47b2c","datavalue":{"value":{"entity-type":"item","numeric-id":627128,"id":"Q627128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$3F86B06C-3C6F-4226-ADA9-5D34600B6C5E","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":"Q2629854$B04EC70E-07B5-43A3-939D-6358A4C35259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$86354653-EDD3-421D-9A35-D2B07C2619F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7b52efa5c49f9efc8f854d031b835d61617bf","datavalue":{"value":{"entity-type":"item","numeric-id":3623001,"id":"Q3623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$ACE7575C-F43E-4AB9-846E-506D73FCDC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb8aaef1c205ebf45c9dc1ce99a4270edcf3b80","datavalue":{"value":{"entity-type":"item","numeric-id":4312415,"id":"Q4312415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$92191B66-149C-4296-BB0E-CA2572C9D4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$A228AC62-15F5-40D4-BF50-9115BADA8427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$91886EFE-C799-46B6-9FC2-0BC9823471D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c327d54b89f1d9396d01a5c0a7b87dc33721b9","datavalue":{"value":{"entity-type":"item","numeric-id":1079944,"id":"Q1079944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$3B757F29-F4C6-482E-B4BC-9BB0D768CA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a169adab299c12720908aa76c8eb974acaa7ce27","datavalue":{"value":{"entity-type":"item","numeric-id":1029062,"id":"Q1029062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2629854$3E943D05-6900-4EE4-942A-EFBE136912F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7d74845ff7737ac0a1e7165a7e84fd17db61163","datavalue":{"value":"10.1016/J.IC.2016.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2629854$6A2D942F-BC75-4B9A-A345-51A9F9C4F419","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47ab40bd69548a69223d130a15c9a6d13fd70526","datavalue":{"value":{"entity-type":"item","numeric-id":3541022,"id":"Q3541022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8de65a48db16a256931b47937d1cef86a8a7ce","datavalue":{"value":{"amount":"+0.9680694341659546","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":"Q2629854$7EAA4E58-1693-47AE-A046-614C3EE15F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909fcb888d1a6e1d1add4c713b120198b29a8d66","datavalue":{"value":{"entity-type":"item","numeric-id":2895774,"id":"Q2895774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84832da2c366cff39d56ff63ced4b7a2ab408079","datavalue":{"value":{"amount":"+0.8146777749061584","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":"Q2629854$E4E21140-8263-4FA2-90ED-48B364B48198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892394453526a814225f5640ee704f116822b08b","datavalue":{"value":{"entity-type":"item","numeric-id":1049401,"id":"Q1049401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d48d7868dca309ad42bdc9fa00c9068fefc6ece","datavalue":{"value":{"amount":"+0.8023110628128052","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":"Q2629854$18488046-AB4D-41BD-9D17-D6354A2E578E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A space-efficient simulation algorithm on probabilistic automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_space-efficient_simulation_algorithm_on_probabilistic_automata"}}}}}