{"entities":{"Q911263":{"pageid":913111,"ns":120,"title":"Item:Q911263","lastrevid":49366573,"modified":"2026-01-07T01:12:13Z","type":"item","id":"Q911263","labels":{"en":{"language":"en","value":"Automated analysis of mutual exclusion algorithms using CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4141480"}},"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":"Q911263$B03BB464-8823-415A-8B5A-8C36B650B5E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ced58269e1770d18581d7c9e04ac63e95493d863","datavalue":{"value":{"text":"Automated analysis of mutual exclusion algorithms using CCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911263$0E35BC4B-9B76-4C61-95AF-7E5509115463","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d996c554871d31ae7828941cf21fae13e402817","datavalue":{"value":"0696.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911263$89F8FE5B-14A1-499F-8EB1-E492756BC9CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67d9be5fed4b00be75efe7a10df1343c0c382726","datavalue":{"value":"10.1007/BF01887209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911263$058A7BD1-65EA-4435-BA43-7C9E44A2A11F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$AB370AB7-F81B-4906-BCC6-431D9C543EF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q911263$82D11797-0CEE-428E-9CC5-529EAB8D26FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911263$9CF47DEB-ADAE-4C32-8099-FCCC07DC57EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911263$FDCC7127-0BBD-4579-9A5A-9565A8BCF467","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76dc6e60c520b86cc962b168a0d26158903afcb4","datavalue":{"value":"4141480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911263$405D0F51-5F37-416A-9339-3180AE79183B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd7ee76e7e05ef6d3cb10a0d1597ba739d1a60b","datavalue":{"value":"concurrency workbench","type":"string"},"datatype":"string"},"type":"statement","id":"Q911263$EA0F7FE9-8B28-482F-B2C2-00B725751A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01602e4ca3a2b914bbf78fa927ee548eadd569a1","datavalue":{"value":"mutual exclusion algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q911263$2502F09F-D379-488C-8E25-6A949F4CC3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc617447803e66f7ea5950dea4153dabaf09d0a9","datavalue":{"value":"Calculus of Communicating Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q911263$C22DF5E2-C40F-4598-BCDA-F4A162408B3B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$53F5C0E3-9A2C-46DE-B495-4326CB581000","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b2754b0b45a6e30e205896d1011a7881783baf","datavalue":{"value":{"entity-type":"item","numeric-id":1576495,"id":"Q1576495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$78B3B4C6-78EF-47DD-A12A-DAC3FFFFEF0B","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":"Q911263$73133588-22A3-4F6F-947D-33C201905887","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95dab920df6bb4688d107a498b005a8577eead2","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$ACA23291-2F89-45B5-B6E2-F4CB353435B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$139201F8-CC23-4B67-89CA-53B5C862CC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$0A6A782A-B318-4B27-8700-57089861C2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6db6ae0639706eadf7df18e729d45f5d116049","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$ED784E3D-7E40-4F0D-8E26-90206056443E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$ED969DD8-4E85-4D9A-809C-BACF544812BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$80066D7A-4BC7-4E99-80C0-1267E19DBD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$1C3B2B83-3EB5-440B-828E-62DCBF80708F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d51e1c3483c4990b2154edbc34cd5e8724187d","datavalue":{"value":{"entity-type":"item","numeric-id":5903450,"id":"Q5903450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$C10F28DC-FE6A-46C2-AE51-F1B122605999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$52F59F34-C34C-403C-93CC-D27E5A359B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$99D38BE7-37DE-461B-940D-798274C27CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$C7B695DD-F397-4BB6-A600-408888627C9B","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":"Q911263$D454A75B-0737-419E-A779-9BBDB3919E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a291c3e37ed3ace5271b1780f1fd55ba08672dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3992743,"id":"Q3992743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$1EA8E91C-1B1F-4FDE-84D0-0896DCF8A97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$94CE9E56-766C-4441-915C-0B55B5AE9FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45280f113fe0216f2b7ecb89e3dff3eb55b2630c","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$B910304A-CBC1-412A-BB24-1DC886708497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911263$577EF915-F501-4162-AAEA-D30FF6A2B2D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1da4684f67d04cfdd54a9c1020ed18eda58c5d22","datavalue":{"value":"https://doi.org/10.1007/bf01887209","type":"string"},"datatype":"url"},"type":"statement","id":"Q911263$5C0560F1-C186-45FA-9C1E-7C96166EA621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86a3c74d8af3203ff46621820aace04d69df4534","datavalue":{"value":"W2063510765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911263$10C7E086-81ED-42A4-9017-350DC7C90180","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336425c1b23d1e264d004098431f3804f1ee5283","datavalue":{"value":{"entity-type":"item","numeric-id":5014797,"id":"Q5014797"},"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":"Q911263$67A53E19-3B65-4677-AB49-2873718DCB67","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":"e3e42d89625d45524cf1af3c9909ac266a9a8981","datavalue":{"value":{"amount":"+0.7784444093704224","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":"Q911263$0A1A2337-F382-4EF3-8AC7-21027822B7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dc6e5242afd690702e55e160f12b2b63c5729a6","datavalue":{"value":{"entity-type":"item","numeric-id":4790352,"id":"Q4790352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b9e1eca3359227e69ce875e844d52ef33d0d52","datavalue":{"value":{"amount":"+0.7677657604217529","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":"Q911263$ECA0F8E4-9A96-47FE-90C8-3FE7A55079D9","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":"a9aa695a86c6e7f44ac6cf116dc522b91f56f660","datavalue":{"value":{"amount":"+0.7675413489341736","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":"Q911263$94CE7EDA-D821-4D79-8DB7-02A7D7B813A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0247e62c0ebbba40051f38ac988f68e80610cc86","datavalue":{"value":{"entity-type":"item","numeric-id":5133677,"id":"Q5133677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e150284c59da2a0098b4ddafbd2e5802ce10f4","datavalue":{"value":{"amount":"+0.7574971914291382","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":"Q911263$27B07A4F-382F-4DDF-A49D-6825BB5254C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:911263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:911263"}}}}}