{"entities":{"Q732003":{"pageid":733852,"ns":120,"title":"Item:Q732003","lastrevid":63955134,"modified":"2026-04-11T16:40:14Z","type":"item","id":"Q732003","labels":{"en":{"language":"en","value":"Deciding branching time properties for asynchronous programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5612510"}},"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":"Q732003$8B30457E-A992-4AF4-952A-C8171F1FA400","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71413bde53e67547af9b904fb08f9a8053b746aa","datavalue":{"value":{"text":"Deciding branching time properties for asynchronous programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q732003$33B5E340-8F54-48DE-8020-35165BC33D86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc0a29d95f9e769833b9cefd1886729782179e1a","datavalue":{"value":"1187.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732003$AAE8471B-5C01-4FA2-A1C9-B5F43DF795A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732003$01F1BD97-4B18-4561-B244-10CD2BEF9FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732003$436E4F8E-4478-4237-8390-789BE0796E5A","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":"Q732003$32DB7F1B-1E9F-4B03-A25D-868BD9575A4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q732003$384E9BFF-2EC6-4572-946D-C0C5D3CDE47E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732003$DA4742E8-4D29-47CE-BB0A-08A5F1FFC0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732003$C12B1A11-D6CF-4748-83B7-882F86599E18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16ba6205d6abf27a6009f06513514b273bf1ba2e","datavalue":{"value":"5612510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732003$9E3AA6CE-7981-4055-9358-CCCA0846AE32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f146664e0585ffe86edef13e939aea15c4544d26","datavalue":{"value":"asynchronous programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q732003$8FA34559-D34D-4A2A-B27C-85A5CDEC0A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9ffb48a91e943ce3c733feac83ddb601e3b075","datavalue":{"value":"well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q732003$F10E2F66-2F7E-4C14-B04F-8E8F1D62EA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q732003$26D5BDB5-1A34-4AD9-A3DF-D194CEA8C243","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":"Q732003$45AC0D6A-976C-4DA2-8BF3-A6E1FCCF8E01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cc7c615f3a2da409db9fe629abac9416c48615b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.01.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q732003$7C603560-2BA1-4BC0-93BC-A864B039F0A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62eec48efaf0a27b8b1b705cf444c605ba66c739","datavalue":{"value":"W2166873473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732003$8F3047AB-A062-4D24-8F2E-54FDD9C94094","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732003$B0A38F97-43A3-44D4-9D11-F42CA897EE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a9a5643ffb9377c949d43e5c9037c1779537f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525634,"id":"Q3525634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732003$26E634A2-1C4F-4E4E-90D9-3F5591F851EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94334be6146395653dc9c3fcc6225ab412bc328","datavalue":{"value":{"entity-type":"item","numeric-id":1336048,"id":"Q1336048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732003$AAFE021B-1DA3-4D5D-A522-2F49D9834732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732003$7A86182A-D0C4-40CE-915C-BBDC576F5B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d97f46277b151ef37d50bf9b520874a1a65a2","datavalue":{"value":{"entity-type":"item","numeric-id":3189813,"id":"Q3189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732003$064D4D85-0DA3-4131-9184-119D169202DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732003$34A8BDF2-3E79-419A-A9CA-3F7B62B5C383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e8598dd145899622e0c9231c1d2cac0836c00c","datavalue":{"value":{"entity-type":"item","numeric-id":5756745,"id":"Q5756745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732003$DF3794B1-CF8B-4466-94B6-3A7AB04DF112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3d28acd643d396b152fcaf01bfc8613dfbfd42","datavalue":{"value":{"entity-type":"item","numeric-id":5458334,"id":"Q5458334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732003$55876762-FA69-4ADD-8B6F-32457F8EF1A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"198cb2099c921cd65291be7f73d5ec2cfa6cdb16","datavalue":{"value":"10.1016/J.TCS.2009.01.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732003$8ADBD56B-258C-47C6-BA6A-200FDF26ED3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22ce2b1aba81ebf2512e27078d6abf9d37e81a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5261509,"id":"Q5261509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c5518a082ff1092f52661bb3b3c9b101a0451b","datavalue":{"value":{"amount":"+0.7624970078468323","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":"Q732003$8023B1C7-4989-4AEF-91D2-6829384F5467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdcd4d5d433e9e6cf366fad8fc39c7ac2c12b7e2","datavalue":{"value":{"entity-type":"item","numeric-id":2044219,"id":"Q2044219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5dc44c149ba3051c1956be25f1bb6b08c97295","datavalue":{"value":{"amount":"+0.762215793132782","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":"Q732003$9ECA1791-C0C4-4DBA-AA4E-B04EA386E595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3b3349e861057ef25d3e153f1e107c33a6e3cd","datavalue":{"value":{"entity-type":"item","numeric-id":5136300,"id":"Q5136300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb84f79a550f6fa73945896519ffe625929d0f1","datavalue":{"value":{"amount":"+0.7275699973106384","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":"Q732003$9B04C147-940D-4D60-B552-A36CE8CEF6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d979e78698faf55aaaeb2f3ecf2e8880f644d9","datavalue":{"value":{"entity-type":"item","numeric-id":3165945,"id":"Q3165945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7357291753039c7356c9ef108404e52c23a65d36","datavalue":{"value":{"amount":"+0.7120115160942078","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":"Q732003$AB26A410-EDD4-4EB0-A3BE-5C958FD78B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d7bff4654bfa0ef7c81747e8e73d4088156488","datavalue":{"value":{"entity-type":"item","numeric-id":5756745,"id":"Q5756745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d621cceba45695d89db38ec2f7e9fef86c6b997","datavalue":{"value":{"amount":"+0.7033963799476624","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":"Q732003$C8929D96-4E9C-4D8E-95F1-B1DF7F7C0BBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding branching time properties for asynchronous programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_branching_time_properties_for_asynchronous_programs"}}}}}