{"entities":{"Q4302821":{"pageid":6332422,"ns":120,"title":"Item:Q4302821","lastrevid":41623713,"modified":"2025-05-06T12:13:09Z","type":"item","id":"Q4302821","labels":{"en":{"language":"en","value":"Termination, deadlock, and divergence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622304"}},"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":"Q4302821$9A370A1A-F51D-417C-8B0A-9ED9F4C4AFF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9e220158db8b6ef4a66eb5ad072d48e87a721f4","datavalue":{"value":{"text":"Termination, deadlock, and divergence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302821$02B8919E-04C0-45EE-ACBA-3E09D99ACBC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83e2d8a9c8e884c0e49b960847f4000dbe12b237","datavalue":{"value":"0799.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302821$A0227B52-587E-456E-BCE9-ED032D02D013","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b6f55677cf5630da0a1dea3acb887bc1095e4da","datavalue":{"value":"10.1145/147508.147527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302821$F5E281B4-2A13-4059-AFEB-79277A88709C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302821$CAE38BDE-9AD3-4E9A-90C3-DF8AA0C22288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302821$814A1997-0E47-4D0B-B109-1549FC2023AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302821$4804BBD5-6C91-4CAC-BE29-26B7A141F52E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa19c9ba2bfb06d6b3228b43c9df9a36396a6316","datavalue":{"value":{"time":"+1994-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302821$D5FFF2CA-D7F4-4325-BB35-BFC070D9289F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302821$EA3C7F50-9FAC-43B4-B22B-33B2A8E6C643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302821$240184F1-E722-47AD-8428-74E6E7CCE794","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e34bd41e65546512c403113e369ad2fdde3cfd12","datavalue":{"value":"622304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302821$89562695-44AC-4C51-8934-5FB32D43E406","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302821$35F04B81-EE9A-4787-9604-D63BDBFE11AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302821$B7A63E07-FB00-4E2F-AF9D-D890DCE6A447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302821$EB685995-14EA-46BE-8B4D-8E46EFE439CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302821$2C0EE6E3-CE19-4167-8078-AA9E1F4C733A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302821$D330B6E3-258A-440E-A6B6-71698E73A5CB","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":"Q4302821$9808B2ED-CF8C-4A73-B9EA-C60D8B15EA9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17ca4ee0cd4165031917518a4a53f84d3df9417c","datavalue":{"value":"https://doi.org/10.1145/147508.147527","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302821$FB072516-63CF-4DD0-A7B6-D47F120EAB85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b39614bdf75b2b02c511770a6522cb8b74dba63","datavalue":{"value":"W2078105844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302821$FF9248F3-92AC-4E6A-8809-3C728C471E47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519390c447d906e8c8db35bf9c952ca560e2e3ac","datavalue":{"value":{"entity-type":"item","numeric-id":5887521,"id":"Q5887521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8c5f3e6affca926028577ece1e35bf7612a6d3","datavalue":{"value":{"amount":"+0.9982871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302821$A6CCA249-3101-4860-A7EB-D51541A3055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88ff01594fdaeb611f2b6f35887f913ddebc2f6","datavalue":{"value":{"entity-type":"item","numeric-id":4222749,"id":"Q4222749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faab5a98d7f848d704185f17d3ccfd660119420b","datavalue":{"value":{"amount":"+0.86840254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302821$FE464819-0E85-475A-B270-E895F786E43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6176b360a7e875fd1f45f6d622ea6641d9a6eb81","datavalue":{"value":{"entity-type":"item","numeric-id":710674,"id":"Q710674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1b315df06ca8876f47a1410dd1979e84b1fd3e","datavalue":{"value":{"amount":"+0.8620336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302821$533765B8-E487-4B87-892E-069083020AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71cc2a5d5f90211cc13f1c802d72aa31ec55427","datavalue":{"value":{"entity-type":"item","numeric-id":3400914,"id":"Q3400914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1b315df06ca8876f47a1410dd1979e84b1fd3e","datavalue":{"value":{"amount":"+0.8620336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302821$2F8A9404-7D58-4ED3-8971-4710656409D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea71ab070476830d168152e13b7c43ffab3fa1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3584940,"id":"Q3584940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8751830b4f0c3c02ce96900606c00dae7e173e","datavalue":{"value":{"amount":"+0.8495106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302821$26444B31-1FF5-43CB-A778-01704CEACB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93088fcb332273f6481a0f30800cb5ea04dfb3b4","datavalue":{"value":{"entity-type":"item","numeric-id":4507890,"id":"Q4507890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ccadde9d9f045d081a257d9776f934113a3c7c","datavalue":{"value":{"amount":"+0.84836006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302821$46026469-8972-4ADE-BE84-B988A538DB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f94e7d4fe61a281e7f9ae3c2b43e961ad3a030","datavalue":{"value":{"entity-type":"item","numeric-id":4223007,"id":"Q4223007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00a248475a844aef14505310710d72e9422444c","datavalue":{"value":{"amount":"+0.843319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302821$74E068FC-E568-4B4A-A94A-53720EBE13D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a974f773161bac435d08c6b5fe02b6bc6ac0ddc","datavalue":{"value":{"entity-type":"item","numeric-id":854184,"id":"Q854184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403b7e54002b21a139388a3a7e9a174366699402","datavalue":{"value":{"amount":"+0.8368293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302821$3843033F-CBC3-49CE-BC81-4720417CF690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e62f556d4cc30f0be9e1e71b7c6c9aa83845585","datavalue":{"value":{"entity-type":"item","numeric-id":5175772,"id":"Q5175772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fffa67d2fbf4ad7b139f9f8231f304aec873238","datavalue":{"value":{"amount":"+0.83582944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302821$5812CF0F-A746-4F23-8528-33063AC6BF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a39890a8754b4d980dadf774b94c025c1861f3","datavalue":{"value":{"entity-type":"item","numeric-id":5491849,"id":"Q5491849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff70a8ce0b32b21996ee73b2cd8b4a4242dde01","datavalue":{"value":{"amount":"+0.8334133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302821$899CD0F0-A161-4EDA-9C29-39B6DF38462F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302821"}}}}}