{"entities":{"Q5756622":{"pageid":7786173,"ns":120,"title":"Item:Q5756622","lastrevid":101718938,"modified":"2026-06-06T02:37:53Z","type":"item","id":"Q5756622","labels":{"en":{"language":"en","value":"Checking a Mutex Algorithm in a Process Algebra with Fairness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187279"}},"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":"Q5756622$007A34F2-88A6-404D-B58C-4F7E4D63DA7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f984b62bffeb91350a1c93da8eb7f00c101e6b68","datavalue":{"value":{"text":"Checking a Mutex Algorithm in a Process Algebra with Fairness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756622$33860263-903A-4B6D-8838-534EB0D0D873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db872607e4532ea088041975740cca7b73d3d5ee","datavalue":{"value":"1151.68522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756622$423943DA-87DC-4CFF-8F92-9B3A1F2A8FCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ccdd0447bce936dc261ce0c75cf1729c730fe70","datavalue":{"value":"10.1007/11817949_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756622$1E7AE6A2-D638-4F8D-8A7D-CA49D0CE11ED","rank":"normal"}],"P16":[{"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":"Q5756622$9EBF07E9-E43F-474F-8C3A-71616EA0A83C","rank":"normal"},{"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":"Q5756622$29FF1BF7-1AEC-4070-A761-D6C6B7A69AFB","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":"Q5756622$2BC91080-0B4D-4F55-A8BD-8A019AFEF6B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f8f253e349e54e13b7bb591e43e3d03254b865","datavalue":{"value":{"entity-type":"item","numeric-id":5756587,"id":"Q5756587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756622$1855F76E-7E7C-4F93-9E4E-9C39B4166F07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756622$A55B0236-9694-48B3-820B-E62247893CA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756622$78701C08-6720-43E6-A4F2-DCDAB121E11A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d34c00b683059b08cec781bc5dad1f1c6d81ee2","datavalue":{"value":"5187279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756622$66571FAA-DBA5-499D-926A-FE7CFAEFE065","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":"Q5756622$0F668325-178D-4E61-B141-CCA579EB6B1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aa3b27a67196b001217b608c74c5feeaececb39","datavalue":{"value":"https://doi.org/10.1007/11817949_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756622$70723BF6-05C3-4FD4-831D-A91B64AEB2FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcf103b9eb4f463e8cedbad19393554866f133e2","datavalue":{"value":"W201621441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756622$B1DE5B56-9793-4BBE-8B0D-275C5C55D542","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ba3fc43baea66471c1f6efcdc220183910b18c","datavalue":{"value":{"entity-type":"item","numeric-id":1015393,"id":"Q1015393"},"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":"Q5756622$E1F91E34-DC91-40E3-913A-9FEFFBCDC3B9","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":"cd291d9242194a6be5708cdd676688a2811af4d1","datavalue":{"value":{"amount":"+0.7957470417022705","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":"Q5756622$4BAA4BFD-BA7E-4434-BDAF-A1DD811BC90D","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":"41832897ac9cdc84c5bd1f2d02805606239a8d58","datavalue":{"value":{"amount":"+0.7884007692337036","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":"Q5756622$AD1C8B1D-ACD2-4164-8A4E-7428B301D023","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":"2f857718d37fab3fff423e94b5ccd0ea447fe691","datavalue":{"value":{"amount":"+0.7659119963645935","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":"Q5756622$618BC4CA-A92B-4715-85CD-BFA37C14BFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acccbe92788e34d1c1ea872a72b8c45d5e70f6e1","datavalue":{"value":{"entity-type":"item","numeric-id":5305647,"id":"Q5305647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5052cadc3f069098ffbbfa4809e34e123da7d39c","datavalue":{"value":{"amount":"+0.7351775169372559","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":"Q5756622$B093229E-6E52-4A81-9865-82CD93529AFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking a Mutex Algorithm in a Process Algebra with Fairness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_a_Mutex_Algorithm_in_a_Process_Algebra_with_Fairness"}}}}}