{"entities":{"Q673911":{"pageid":675760,"ns":120,"title":"Item:Q673911","lastrevid":63721143,"modified":"2026-04-11T15:06:09Z","type":"item","id":"Q673911","labels":{"en":{"language":"en","value":"The weakest deadlock-preserving congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985831"}},"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":"Q673911$84671050-58DC-4C01-9315-49183CA9F9BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9f4d03bd64c71b4ad605af500eaf912b28d282a","datavalue":{"value":{"text":"The weakest deadlock-preserving congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673911$2B28D742-BE16-4C4D-BDB5-B8DFFD8F188B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"845c63f8a2a54d2d6b085e45478242fad42cf7ec","datavalue":{"value":"0875.68620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673911$965AA27F-3D01-4844-B169-FCD01DF87338","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2d4ef67cae41c6cc76e1d17fa0ec4fcf342e630","datavalue":{"value":"10.1016/0020-0190(94)00214-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673911$2C00FD58-2601-4585-96D5-B3D0F7856B2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673911$5EB4BE0F-531D-453F-ACBD-865ECDCE6205","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673911$70CEF3D8-7565-419B-B61F-AE6406CDC3EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673911$C36CBA30-0151-4E5E-946E-C201FFBA781F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673911$83DA0F68-1C82-4D90-B510-BEBAC18D9250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673911$A183A68D-149D-4AF8-9646-0420368EBB32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f2c3f4cbe2630fc9b860466b4e88bb2f92cedb1","datavalue":{"value":"985831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673911$41A1F210-0366-4DFF-AEA9-E3DAB5D49752","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q673911$6AA98F76-A90D-4ABA-A572-F6885923897E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q673911$96A4021E-6348-47F2-A8D1-10215AFAA078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e44a161ba26e286cc00f505fc2c17b54142149f","datavalue":{"value":"Specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q673911$B1A58264-CEA2-473B-ADD7-D3E2427D465C","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":"Q673911$C01B18BA-D64F-4679-B3B4-A4897CD69DA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8885a586015fd9af027d47f78a409508c3a3dab","datavalue":{"value":{"entity-type":"item","numeric-id":3994996,"id":"Q3994996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673911$9D5C794B-5A8E-464D-9F3A-87E5F06C0080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673911$E3C4502D-C7D2-4655-8E84-5AD68FD2027B","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":"Q673911$B31CD513-4DFB-4C21-8494-1A4DE1AD6A2C","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":"Q673911$E594FD05-99AE-4375-807E-D85C8ECD2CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8a395965b4a89157441c6e6d74ef9d13de849c","datavalue":{"value":{"entity-type":"item","numeric-id":1903079,"id":"Q1903079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673911$27A6C1A1-F3A3-4138-AAF2-F02064063068","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2e4eb1c96f82670eb9e428ba9628ee8334bc2fed","datavalue":{"value":"Q127554564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673911$1B216C42-A419-4333-83F6-2FB02518A291","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daae161733166b0f49f20c2844f95e3c335687fb","datavalue":{"value":{"entity-type":"item","numeric-id":5714451,"id":"Q5714451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823f66dc94ac34c06151c1e0e73ac56ca6f3cc41","datavalue":{"value":{"amount":"+0.8250901103019714","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":"Q673911$C41454E5-829E-4963-AFC3-564565C1A740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2abec84cd159edcb991b6ffe28b63e7888e1a67c","datavalue":{"value":{"entity-type":"item","numeric-id":4270078,"id":"Q4270078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b796adbc25453351a0ab70416738bd3d9e42a0","datavalue":{"value":{"amount":"+0.8235231041908264","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":"Q673911$E39ECF54-DE55-44F5-B6D9-2ECF6376282A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ad121243449a27012fb5095c971ef1db78325f","datavalue":{"value":{"entity-type":"item","numeric-id":2182664,"id":"Q2182664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717948f7d02437e8f87a95b7651abcdaa8563752","datavalue":{"value":{"amount":"+0.7323874831199646","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":"Q673911$A59A6F2E-1AAC-4494-816F-C3739157E486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfef2ded8ac6e77d73b407144d18f8908ad0a83","datavalue":{"value":{"entity-type":"item","numeric-id":1104076,"id":"Q1104076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319e196d0969deed847e62b36b4459cda787758e","datavalue":{"value":{"amount":"+0.7104601263999939","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":"Q673911$BB455A09-36D5-4851-AA8B-F17CA3FD053D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71e2654c3f5c92e1425cf36a40e35656b6ad3d8","datavalue":{"value":{"entity-type":"item","numeric-id":5898149,"id":"Q5898149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62ae43b268873598c53799bda3ac296ba5dd3df","datavalue":{"value":{"amount":"+0.705838143825531","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":"Q673911$B2EB590B-ADCB-4706-B873-3BFCF573DAE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The weakest deadlock-preserving congruence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_weakest_deadlock-preserving_congruence"}}}}}