{"entities":{"Q4749184":{"pageid":6778764,"ns":120,"title":"Item:Q4749184","lastrevid":90081995,"modified":"2026-06-04T19:05:49Z","type":"item","id":"Q4749184","labels":{"en":{"language":"en","value":"Termination of Probabilistic Concurrent Program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3806915"}},"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":"Q4749184$E4D0336A-1AEB-4F35-8158-9841B6472AB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a140a0f7711d0545545f695ca1bcd0f7239eecf4","datavalue":{"value":{"text":"Termination of Probabilistic Concurrent Program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4749184$65A4A238-9AEB-4ACB-ADEC-BCD3A85C12B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4989cad4439ebf6c2b7e0f138312c96cb2fc4cd1","datavalue":{"value":"0511.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749184$52BA8DA8-1B95-4039-B3C6-C38999F21BAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e13d2144cde77399e565abd236bcbaa808780d3a","datavalue":{"value":"10.1145/2166.357214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749184$BF15C372-1B09-4E58-88E4-90844600B3A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d1bf12482695cdef9e154da16db454d5e8e7444","datavalue":{"value":{"entity-type":"item","numeric-id":192152,"id":"Q192152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749184$4FFE67DD-3A32-437E-B6E6-A963F64F9CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749184$56E2B290-82A6-4F3F-B6E5-431A70FD79A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05973d4747711a904c4eb354f325fda834906623","datavalue":{"value":{"entity-type":"item","numeric-id":396765,"id":"Q396765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749184$C9C9ED59-8607-4640-A94F-D38815AEB257","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749184$FF05A058-34C0-4F2B-A148-DC0D581D675C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4749184$7953EA9E-948B-4B4D-AE92-4F5B850ED48E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749184$D8304427-2FD7-49F9-97EC-AD78933192A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a85e89cccd6216cc5a6733bb2abb192c770fc84e","datavalue":{"value":"3806915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749184$47FD3782-1654-47FB-99B3-C95C2185B2FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de2d557a46ddcbabcdc7f4a42e4160584ecd714","datavalue":{"value":"asynchronous execution behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749184$8DE91C12-EEF7-475C-A91B-4C4D3EF62736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749184$C6B9AD3C-AB7F-4173-AC3E-8B8B7FC662F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9403ff1b8190d14a65df59d8e498c024af03c4d2","datavalue":{"value":"synchronization protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749184$971B246E-31E0-48CC-A075-761E95BB0C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fcd17185e932791ca308ac584b1e8bb3fa833d","datavalue":{"value":"deterministic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749184$999F7F51-ACF5-4560-A07B-AAB918D81B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fb1dbbd4ca64770b3d4cd752a2bb08b5b158599","datavalue":{"value":"lockout","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749184$8F246512-8A79-43FE-92A3-03871A8FB257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749184$A40055CF-454E-4DBE-A769-6DE6592D8FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749184$33C34686-9B94-4A77-B5F5-2CB52AA33F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749184$F6206B79-30D2-4959-AD64-E1508816DB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749184$926ADD7E-66FB-4A94-A5D5-DEF5E35C742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb2553908c074f778798ad6fe31ece7c8fbf5f3d","datavalue":{"value":"ergodic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749184$503BBB90-FBBD-4334-B864-8E83B5824C3A","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":"Q4749184$4BE8DF5C-304D-4173-87AD-44E261530967","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0bff580be3ece754179abfbb3780e84248c5655","datavalue":{"value":"https://doi.org/10.1145/2166.357214","type":"string"},"datatype":"url"},"type":"statement","id":"Q4749184$84FD5F95-D567-4EF3-B203-B3B99CB7A61E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b886e86396924d1d2343ee24f7224d0e5d32ee4","datavalue":{"value":"W2091188761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749184$43E6EF40-45FA-4ED9-A6FC-38B83994D2FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination of Probabilistic Concurrent Program","badges":[]}}}}}