{"entities":{"Q1105379":{"pageid":1116128,"ns":120,"title":"Item:Q1105379","lastrevid":69653598,"modified":"2026-04-13T08:28:37Z","type":"item","id":"Q1105379","labels":{"en":{"language":"en","value":"Deadlock and fairness in morphisms of transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058878"}},"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":"Q1105379$A09D6C85-5919-4A4E-815B-E6B428504802","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"208747fb8f1e0521fd4bcd96253cb06cfc33aa01","datavalue":{"value":{"text":"Deadlock and fairness in morphisms of transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105379$1AB10B26-8F38-4554-8DD5-6D9E7D8EC00D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2c6e195e061a567fa8a12b8a13f86648337aa19","datavalue":{"value":"0648.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105379$C1C6F854-5879-4DE9-9D83-86BD01334C6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c73d2b2eb64a7643066967a5a1fd311560c02d16","datavalue":{"value":"10.1016/0304-3975(88)90143-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105379$BD22E9D7-A9E4-4360-818E-A6AE23BB0803","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$E40F35F7-8AA4-4AC5-B68B-932E7CBC5C91","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":"Q1105379$0082EC2C-BB93-408E-B7A4-3E3BEDB317BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1105379$949A843E-EF1B-415B-9AC8-5A2F70F41317","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"645f9e264de7b5ecacd8250104eeac8687051a23","datavalue":{"value":"https://pure.rug.nl/ws/files/14954983/1988ThCompSciHesselink2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105379$17CC975A-E9C9-48FC-A01D-C8FF65358486","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105379$75A179D5-17A1-4A16-BA94-E4E717ED3B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105379$73BC9A6E-6969-49F7-9B85-B61EF0C93C7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ee192e92f3befa050a59f9e607358a491c9c7a7","datavalue":{"value":"4058878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105379$A5B00899-A888-4226-AD47-1D6183D7E82B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105379$519BCE77-1311-4CCD-AAD5-01AA5152A843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105379$A8244860-094A-4F3F-92CA-5D6A5E276E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"696b07c22ae100ff7d272013494385efb561b1b8","datavalue":{"value":"Strict morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105379$A93533AF-51E3-4AC3-90AA-93FC476745F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bee0d04317fd701af8ee91d7fb14e5d633a0548d","datavalue":{"value":"universal domain of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105379$8048FFF8-648D-4079-B970-C1A7F3C5134D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105379$F022B079-F905-4A96-96FE-5619C1D1A993","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":"Q1105379$3F1A55E9-FDC7-457D-B4F4-967F506D839E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7dc34c5f1695b67a33b479d90b872ba45e8010c","datavalue":{"value":"W2078259946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105379$11284063-9691-4D40-AAD6-AA8EF98CD217","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ed42e6afa67e0a876b228125ab53413fe2a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1050109,"id":"Q1050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$D5CD367D-F3C7-4D8F-8E8D-7B2C6CAF02E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6944c9039ee814df922b5558a628b5f60a22159","datavalue":{"value":{"entity-type":"item","numeric-id":795499,"id":"Q795499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$A3CD9BB0-E974-4AD6-A9C3-C71A54441E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9283d4d4ddb3b5f89b4c6db8d011e1cfd568cfcf","datavalue":{"value":{"entity-type":"item","numeric-id":3664418,"id":"Q3664418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$A39987BB-21F3-4BF0-BA0E-FA0E864C24B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acecb45d527064474401487c6d252f74914ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$BE62B4D4-F1A1-44A5-BA3C-79F8631244C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a0b30fcfbf66ed216e5240290803033a09cedd","datavalue":{"value":{"entity-type":"item","numeric-id":3343420,"id":"Q3343420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$C27FDC71-8C40-4968-AC72-C15F31863CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$8D193ACD-DF7E-4419-A7CA-022735ED2CE5","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":"Q1105379$42324F64-A50F-4A7F-9FA9-4A93E201DF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d20b3ecf74e65d3204654fdb2a95f88ee63b17","datavalue":{"value":{"entity-type":"item","numeric-id":4711358,"id":"Q4711358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$DEBFE59C-9466-4997-ABE6-8F42DCB55D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267e5728c52438fc92c0d16497f1b6fd3f946f6e","datavalue":{"value":{"entity-type":"item","numeric-id":1115173,"id":"Q1115173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$FDDBD496-BFDC-4558-BB26-D20A06D61D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$36103D71-974B-4C21-AB97-DB0765A00C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$D0317D42-9C72-4583-953C-47D8ADCC7048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33f602fddc4b117b67792efcf3246de0a8a1270","datavalue":{"value":{"entity-type":"item","numeric-id":3750113,"id":"Q3750113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$912B345E-2C3B-42F6-AC85-F7421ADF4FE5","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":"Q1105379$057C4237-FCB0-40EF-A1D7-A1450ED61CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$64B238B2-B5FC-4ACE-B597-CFD9BCE9BB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cdcd8c6e33c963f119b0f27089fc31ce7bb8c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4749207,"id":"Q4749207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$4658C178-2C56-4D16-8032-56D07EAFEF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d07053bfe32a04098a7ecd7d7f509a8717a462","datavalue":{"value":{"entity-type":"item","numeric-id":1821550,"id":"Q1821550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$8B83468A-3B48-4F74-B159-E7839FF38DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d262ff675f96dc143fba11bdd136a6eee1f4d1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5631102,"id":"Q5631102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105379$839B6256-F429-4DC0-8507-607E28232997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7148ef8cb70af69acf025b54c427aee29ac7cff","datavalue":{"value":{"entity-type":"item","numeric-id":4222750,"id":"Q4222750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9e1e2b723b7f5c9ef53d9a7e523e93f1326cab","datavalue":{"value":{"amount":"+0.7398311495780945","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":"Q1105379$D47D05F2-8F03-4F24-A00E-D2804F022FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c6c1b85ec001a4abe32a8024a0612c7ea7c086","datavalue":{"value":{"entity-type":"item","numeric-id":3776641,"id":"Q3776641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7986ba85084b8ffbeb4f4d4821c06f7919c00a42","datavalue":{"value":{"amount":"+0.7283223271369934","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":"Q1105379$D3F46203-B743-4297-ADA6-F2B621A5B714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26637de8bc31223ff5d04ad71a00c61cd216c2a7","datavalue":{"value":{"entity-type":"item","numeric-id":3340171,"id":"Q3340171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a798a869b66ef9ecb059760cc7bf3b9aaf73dce","datavalue":{"value":{"amount":"+0.7263180017471313","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":"Q1105379$3FD510D2-CAA9-4D4C-BACC-5367D546A2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c61ee564ec3d1a5940a31ab97dd95a7a56acb0","datavalue":{"value":{"entity-type":"item","numeric-id":3806829,"id":"Q3806829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c8c08ef41e4a250ab36d048479ac364013a37f","datavalue":{"value":{"amount":"+0.7232258915901184","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":"Q1105379$4812EA9B-F70D-487C-B4A8-6B7FB952B613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae59a4cc47fe1e1086ddad945bc27d2f01f42cc8","datavalue":{"value":{"entity-type":"item","numeric-id":1424348,"id":"Q1424348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63176d90a458844a71cb17af3452ca09b040721","datavalue":{"value":{"amount":"+0.7205988168716431","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":"Q1105379$018B132C-63B4-4917-8DDF-85304FEA377A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deadlock and fairness in morphisms of transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deadlock_and_fairness_in_morphisms_of_transition_systems"}}}}}