{"entities":{"Q5014797":{"pageid":7044374,"ns":120,"title":"Item:Q5014797","lastrevid":58392450,"modified":"2026-04-05T00:41:58Z","type":"item","id":"Q5014797","labels":{"en":{"language":"en","value":"Analysing mutual exclusion using process algebra with signals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441256"}},"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":"Q5014797$1E231EDA-203B-4431-BEF2-C9D3F883D046","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"670de4f4845cd092425afb3e545e56101dd423a3","datavalue":{"value":"1483.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014797$EE4F6101-ED8F-42D2-85D7-E4DB6726E645","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9c909fe83737d2d32b7375936a75cb138b13f72","datavalue":{"value":{"entity-type":"item","numeric-id":5014796,"id":"Q5014796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$1A5D9D17-46CD-465A-A62E-E8ED4FCFA278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5ff26ceda91726cd3bf91a0f416b57791b93992","datavalue":{"value":{"entity-type":"item","numeric-id":246439,"id":"Q246439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$362C7730-A7A2-49E2-8ED3-BF77F58C3EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$73755972-4E47-4428-A024-66D73C7B5CA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014797$3B39A08C-0100-4A8B-85AA-3632A2FEE591","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1724b4a92d401bc884bada0ee36d32922cedc955","datavalue":{"value":"https://arxiv.org/abs/1709.00826","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014797$4DF9238A-36C6-443C-9CE3-F876C46B28F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b331d50b245b99f5165c4db0ba93553ccfe2261","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2017.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014797$D4B541E6-76E9-40B0-A356-B75EFE13A4E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014797$F4B104ED-4D53-4261-BD5D-7AD51A5B9FEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"080498363062a892be6c4a26f3baa7201b086793","datavalue":{"value":"7441256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014797$2E3FB47D-7493-428C-828D-41303A36F967","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":"Q5014797$DD120746-542D-4BF7-B22B-9CDD9D995DF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcd46d5321a7520f52ba903b91e708fdb23bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":1329199,"id":"Q1329199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$19686F7A-8AC9-4AE6-B14E-AD10ECC6BEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$C6C0A320-95D0-49AE-9EC7-4C2D8A941052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0e0f081002949991ff0f2aa3fec86709b9997a","datavalue":{"value":{"entity-type":"item","numeric-id":3490964,"id":"Q3490964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$46F5EA69-FC63-4EA7-B6C6-7AB724789559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1891e4045cd93999a8de2705a064dc22e7473b19","datavalue":{"value":{"entity-type":"item","numeric-id":685414,"id":"Q685414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$059E26DB-7D19-4388-80F9-4D36662BDB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170d28b455d5d0a98d8115a060065b436291213e","datavalue":{"value":{"entity-type":"item","numeric-id":1329198,"id":"Q1329198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$ED243E2D-EF51-4DD3-82E9-DCE28B9793A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6633695e4023fb3cedba1c11c68d904607e36654","datavalue":{"value":{"entity-type":"item","numeric-id":4964718,"id":"Q4964718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$D66FE218-A930-4422-A349-7E3A39F5D261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0bdc0696b3b0e59e404b3e1b3358479d4319d50","datavalue":{"value":{"entity-type":"item","numeric-id":1015393,"id":"Q1015393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$685483F2-FF87-4D5E-9CB4-FB27DAD900AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55e42a7ce2b2d8e8112abdc0e09ac585d85981c","datavalue":{"value":{"entity-type":"item","numeric-id":3599073,"id":"Q3599073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$7CD8FB2A-45FD-4DC2-8C52-3627C401CED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288f3eac7f1b6b15b95cb2c8d1606aef6a3d1927","datavalue":{"value":{"entity-type":"item","numeric-id":4965857,"id":"Q4965857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$5F04E400-39C4-42A1-9A13-62F87D576507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819647a0df2454c57c57c52b9899d66ae2a22f50","datavalue":{"value":{"entity-type":"item","numeric-id":1403331,"id":"Q1403331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$BBB4D1D0-B83F-42EF-94D8-DA1004597060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c511108d665ef3f97b7b356f26adafce655ba945","datavalue":{"value":{"entity-type":"item","numeric-id":672869,"id":"Q672869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$D6ABC39A-7F29-4515-A6FC-4E25D4ED4F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$F097B3C4-E8F2-453F-B2AE-2377DF5619A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69be5ff76d3bc7cd7d91442fec76214087ce158e","datavalue":{"value":{"entity-type":"item","numeric-id":3075318,"id":"Q3075318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$D03B414D-3171-47D6-BAA8-3FFD590E33EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689a359b14c7eaf1819996ce0a39be45acac584d","datavalue":{"value":{"entity-type":"item","numeric-id":2340255,"id":"Q2340255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$C8DA8C74-B1EF-4103-B9DB-EC5E7912D5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c9480c19454fbe3ecff51a7596c262c26989d9","datavalue":{"value":{"entity-type":"item","numeric-id":287028,"id":"Q287028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$B12110F5-78A9-4972-B95C-F45BE17C74EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440595374f599ec5be0989586dd7c7351c9a80a0","datavalue":{"value":{"entity-type":"item","numeric-id":5338473,"id":"Q5338473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$B2CAA881-0AD3-4CE2-BE05-B697AB21C964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$F44A1ED8-64D7-4784-BA39-EECB583B641C","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":"Q5014797$32A17EEC-DFB4-4345-A677-2963C554D9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$4D87506A-D53E-4556-AF16-C7654C3FE349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$B664968E-AD1B-468E-BB30-8BB53CCECFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c1d25d8f3328e97b9f324bbbf97c02995f451f","datavalue":{"value":{"entity-type":"item","numeric-id":1607225,"id":"Q1607225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$109B398D-4F68-4CB8-A253-414B66F573BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c647fa1d172318cd49d05d4eb4fca603299b18b0","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014797$02C66CC4-1BA8-425A-83CA-283DB5477A9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5d4b2e4dbc503b611daa1dd39622f954b97305","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"917b0c2d44c5bdbf3500905c040760f19cfa799f","datavalue":{"value":{"amount":"+0.7917024493217468","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":"Q5014797$B377C461-13A1-4F2B-B281-B2D755189D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68c6ba27890b708523170dfee09c845f188ff6d","datavalue":{"value":{"entity-type":"item","numeric-id":672869,"id":"Q672869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c3fad4c8df12f281c6fc183a3393ef29ac18f22","datavalue":{"value":{"amount":"+0.7420783042907715","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":"Q5014797$802045A3-3E03-4A90-883D-F059FE9AA829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f17a4a27024f93c5659f361223a4a95ba10d9321","datavalue":{"value":{"entity-type":"item","numeric-id":2340255,"id":"Q2340255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871b8eba8111eb5e7cb75dd18fe680c381863218","datavalue":{"value":{"amount":"+0.7356495261192322","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":"Q5014797$97E6FB4A-0D8B-4E55-9D6B-62B47A49BBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1b26ffe7931237ca320d6118752c86eb51a024","datavalue":{"value":{"entity-type":"item","numeric-id":1006897,"id":"Q1006897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301550b9333b553596ff04a3afb64436c2e3ef84","datavalue":{"value":{"amount":"+0.7353031039237976","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":"Q5014797$86DE77D4-BF6B-46EB-9A32-FE8238E6A0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07278f8262fa6ac0f547d23cd0df38390356791","datavalue":{"value":{"entity-type":"item","numeric-id":5903449,"id":"Q5903449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe899fed48ae0ab365e49579defdadb3f43e1e1b","datavalue":{"value":{"amount":"+0.7351018190383911","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":"Q5014797$B9476014-44DC-408D-8397-35D587315C57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014797"}}}}}