{"entities":{"Q1015393":{"pageid":1017241,"ns":120,"title":"Item:Q1015393","lastrevid":69822171,"modified":"2026-04-13T10:35:21Z","type":"item","id":"Q1015393","labels":{"en":{"language":"en","value":"Liveness of a mutex algorithm in a fair process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552179"}},"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":"Q1015393$A1EA60DE-190A-4F3A-A68B-F4CDEB739BE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09adac77db967ea0f4199def74ea1483bf14c543","datavalue":{"value":{"text":"Liveness of a mutex algorithm in a fair process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015393$73D31DA1-B4BE-4F6E-8642-B3162806C529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc12ccb593305325111eb130d1fd99d50af92e3b","datavalue":{"value":"1166.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015393$187CCA5D-919A-4420-A454-17F4FF2EA1B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015393$0FA6FEEE-C909-4A3D-9657-84C6C7666B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e87597fce80985ef8513e5ad4d0ca29728335e7","datavalue":{"value":{"entity-type":"item","numeric-id":1015392,"id":"Q1015392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015393$69DC59A2-DE66-4351-B117-EB29B11B8951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015393$26FADD7D-D1CA-4FAA-BDCD-9C697066E948","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015393$FF02165B-D68C-4446-BE66-D09DE41B053B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-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":"Q1015393$5A03C4DC-1F95-4435-8381-DC3EA01B0FA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1935011257fca90d539f95c37e13b88ba6e129e1","datavalue":{"value":"https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-5021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015393$D3287203-67DE-469D-B71D-EE4B8EF95C7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015393$BA3E721A-E6C0-48AA-BA10-265448DE12D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a762dba528f2682d0f929c1fc2dca6b7a3ef0a40","datavalue":{"value":"5552179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015393$452B5D39-B129-4A51-AD05-FE4188FEB68D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"767d7aaa93135e148ad74e6d303b8eaf48e20338","datavalue":{"value":"timed process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015393$BACEC6D0-F9B8-437A-988E-1EED1472CC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef3ca9e2e98f40d081d71e967a7c3be2088a4e00","datavalue":{"value":"PAFAS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015393$89AFC26B-3968-4A97-88D2-9547160C740E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"984c4ed35d4c889c022fff392c61a25c7926293b","datavalue":{"value":"Dekker's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015393$B4CF1F24-E26A-4995-8F60-C092E0662FC4","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":"Q1015393$10C51BDF-9E62-48CB-B589-F23F64EB7805","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba20f727abaa88b2d8a60fe7d7057f2110f0126e","datavalue":{"value":"W2110430770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015393$17194CA7-1429-491B-A8D3-4110C6FC606B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fdd10dc2ab70f07979d1f4b6799b4222ef3d2f","datavalue":{"value":{"entity-type":"item","numeric-id":2491632,"id":"Q2491632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015393$1101FA26-4834-4152-BEC1-5993BF140CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f44c065b88f54f258ca55309a57b17721a7838d","datavalue":{"value":{"entity-type":"item","numeric-id":2502272,"id":"Q2502272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015393$A5FD081A-A754-425C-9B56-1C2643FAA4AF","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":"Q1015393$63D5A00D-6E6D-427C-8FD5-6C60E90F3B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c698eefadf05b4044401b41598f0f1987129c3b3","datavalue":{"value":{"entity-type":"item","numeric-id":1781997,"id":"Q1781997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015393$D5182B3E-3E84-4351-AAE1-9709C9EED0B3","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":"Q1015393$8E870969-2040-4713-BCCC-37C0CF8A966C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da935f1521b6e35de7f6fe6de2ba023fbd6d31d","datavalue":{"value":{"entity-type":"item","numeric-id":1822489,"id":"Q1822489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015393$2FC1FF53-5719-44C0-8BAB-4407FF4830CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4716e90af71d607f89f4b46161563fdea0f4d","datavalue":{"value":{"entity-type":"item","numeric-id":598200,"id":"Q598200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015393$221FD3A7-9E5A-493B-81D5-2D84A991DBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015393$0F0FB715-5BDF-4B21-9BF8-CBB082470AF2","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":"Q1015393$DF90EAC6-A34E-4AAB-9F83-08348A6954F9","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":"Q1015393$2DBDD73D-E7EE-4CA2-8497-9B37AEB147B7","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":"Q1015393$2705AABB-3271-4F3D-9040-21ECD7193B12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51c2501692e5444c945c0eafb97cbe40525f598d","datavalue":{"value":"10.1007/S00236-009-0092-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015393$D739F3E9-B608-49A6-8AE5-02CC1F268535","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8697e1c24e570c780c1f68447d8126fa2689c0f8","datavalue":{"value":{"entity-type":"item","numeric-id":5756622,"id":"Q5756622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424a2bbe8a56b4526097811a19704d599cc4de0a","datavalue":{"value":{"amount":"+0.9706658124923706","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":"Q1015393$207D8618-0C36-44CB-9133-B022AFD44125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0e79ed70ae05e46df10477630e5316c14540a0","datavalue":{"value":{"entity-type":"item","numeric-id":3599073,"id":"Q3599073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e0a4fcbdcbb2045f2909adf2aee702143d53c1","datavalue":{"value":{"amount":"+0.7954681515693665","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":"Q1015393$22D773DD-2ADA-40A1-831A-289C8C07A393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d21ee0f204110533d888447534135dc49ebd253","datavalue":{"value":{"entity-type":"item","numeric-id":4791836,"id":"Q4791836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3353e29348b56d6ddad9532b21dea09de5dcfd","datavalue":{"value":{"amount":"+0.7940890192985535","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":"Q1015393$3D8E3D23-15E8-45F3-B2F1-D4E3135D3014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f759bd247c7c8f06c78be55e78441211b231c9","datavalue":{"value":{"entity-type":"item","numeric-id":4964718,"id":"Q4964718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc231d7e93cc03731d99b0e96dd38bbe56d748e2","datavalue":{"value":{"amount":"+0.7815186977386475","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":"Q1015393$F009588A-EB32-4AB8-9520-7324E3924CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee734390286f41c9fc0001ccdf8b200c08e3cbd6","datavalue":{"value":{"entity-type":"item","numeric-id":2117021,"id":"Q2117021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e322fc259a0e4ba955d92fd5c384e4955b9ed490","datavalue":{"value":{"amount":"+0.7266275882720947","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":"Q1015393$C2E2FF6E-61A2-4175-B272-A945A8136E80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Liveness of a mutex algorithm in a fair process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Liveness_of_a_mutex_algorithm_in_a_fair_process_algebra"}}}}}