{"entities":{"Q1854396":{"pageid":1865138,"ns":120,"title":"Item:Q1854396","lastrevid":69361041,"modified":"2026-04-13T06:29:29Z","type":"item","id":"Q1854396","labels":{"en":{"language":"en","value":"Strong fairness and full abstraction for communicating processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853143"}},"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":"Q1854396$3344DFC5-18F9-4930-BAF8-FBE18FA11A3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07e5654f8b84c8ed3a67a2e2d71a0a80c59863ba","datavalue":{"value":{"text":"Strong fairness and full abstraction for communicating processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854396$3EFC462A-A819-4CAB-9F74-7B2E9C1C88FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8ad9eb7dd98bf522cb3d0e09bb620b9a2cb98ba","datavalue":{"value":"1003.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854396$3F65A430-C53B-44F8-B012-349351F2E007","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f406311b3ff32228ceb583a8d46f68f7c88228ad","datavalue":{"value":{"entity-type":"item","numeric-id":1854395,"id":"Q1854395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$3B5D4C42-3B87-4A56-A184-B6A4C9DDC90B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$47E72C4F-8264-4135-A85C-8E1E6D529F35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854396$D1AA0C69-BC51-45CF-A3E9-BFA21ABCAE58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e8e61533f6c2ce87bba864f14d56c2f17b98d8d","datavalue":{"value":"https://semanticscholar.org/paper/c6c86b658e6b1cf3b1e1caa917570634d0828b80","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854396$AAC746FE-4A1E-425C-ABC2-79305210AC0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854396$65074C80-D5D8-4898-B585-A353187E3C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854396$4F1E3419-1B8D-4D35-B99E-2116F128EEBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cce109b6ce1aa50820b2ba8532b81a76b7ac13c8","datavalue":{"value":"1853143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854396$C1929BFC-F651-4F16-96B5-CBC3B54604ED","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":"Q1854396$E32E6341-4FB9-4232-9CBD-D3FE2F70804A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6e098f8e8b097d3ed36497da782be76d6240c84","datavalue":{"value":"W2010167000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854396$FCEF6CF5-95CB-4C55-9BF1-0B815062F732","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"118b337def20aad99129592a4129251c2e27dca4","datavalue":{"value":{"entity-type":"item","numeric-id":1112589,"id":"Q1112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$A84B8301-C78D-46A2-ADE6-83BFE4BABEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$B645C29C-2062-4A05-B700-249141EE279E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d919a86d9292d6be7aa1a38625b18c4d1cdbe7d1","datavalue":{"value":{"entity-type":"item","numeric-id":1400721,"id":"Q1400721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$8CC5D673-0D30-46E2-851B-A6122DADE64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$D3255435-D524-4E55-B435-FD624096CE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a666d52186942ed811a1e2a5a60711edb5336c","datavalue":{"value":{"entity-type":"item","numeric-id":4222750,"id":"Q4222750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$284EE172-35A3-437F-9629-C3229C17A8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$1988C4E0-A834-47FE-A148-034169F5BE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da935f1521b6e35de7f6fe6de2ba023fbd6d31d","datavalue":{"value":{"entity-type":"item","numeric-id":1822489,"id":"Q1822489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$BC0856F3-1B2B-4A9B-A499-287535318559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e350f79352e0bb4c95ca290e0b35c3575449038","datavalue":{"value":{"entity-type":"item","numeric-id":1085603,"id":"Q1085603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$AE3AE451-F254-4862-98D9-0331C2464124","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":"Q1854396$77AAA79E-A4D3-4845-8EEE-C50F2D667BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$63C39F73-989C-4280-8E4C-DB0BE771A0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5c1042f0947dd1c45a57ef801475ae5c3a5c53","datavalue":{"value":{"entity-type":"item","numeric-id":1088403,"id":"Q1088403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$7D645E93-38FD-4A31-83D9-8BCC0593C313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$C1A34F9A-293B-4E6F-8C22-F8F8F39F4C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abb4d5aadd197de7bfe25cc729a40b39875c154","datavalue":{"value":{"entity-type":"item","numeric-id":1164413,"id":"Q1164413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$3FB35933-1393-44E4-8422-C18784F20003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6af56092ac7d59558df3b0b65c04aeb844b4c18","datavalue":{"value":{"entity-type":"item","numeric-id":1341758,"id":"Q1341758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$633F1320-9C22-4798-A5F4-22CD0E100238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bade70664fbf608a525f21b092e81ebd16081db","datavalue":{"value":{"entity-type":"item","numeric-id":3677137,"id":"Q3677137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$3243A308-C749-4AE5-872C-6B0292CDCE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed8059afbe0c195cb4a846254457c939cf24366","datavalue":{"value":{"entity-type":"item","numeric-id":1333374,"id":"Q1333374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$8056872D-EC8E-497F-9EFB-28B5F92A9FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f1a69e26fabe59c076aa79bd10093f339b6c21","datavalue":{"value":{"entity-type":"item","numeric-id":3657417,"id":"Q3657417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$ACDE2854-2E87-489F-B47A-EFFEDEB78711","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":"Q1854396$ADF717C1-FB19-4318-839E-2B91C2A474B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a410bbcf9ccee0170cfebe308dbe3c93e5b960","datavalue":{"value":{"entity-type":"item","numeric-id":4222898,"id":"Q4222898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$359C5E77-B2D3-478C-9FBD-A5B1FFAD1C9B","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":"Q1854396$5AB89ACC-E55C-4C39-B42D-2F8680DD4F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854396$5E11D589-6D56-4470-AC0E-2DABA5B32779","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a87d3ec91812be67d9342c9d605b295286e515b7","datavalue":{"value":"10.1006/INCO.2000.2886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854396$8C6D5D2A-A8F5-4D47-9ECC-964766CFAAB4","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":"3f0f9ee2499cb87d1becaa918c5706cab98f6d46","datavalue":{"value":{"amount":"+0.9878684","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":"Q1854396$20A15B7C-08CD-4E84-BAEF-FBAD45EB56E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cd0747efe4a25bc063b0e0d8caf824e001a683","datavalue":{"value":{"entity-type":"item","numeric-id":4261095,"id":"Q4261095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e708ff7c0bce5c3009be6f92a3536cce7a5fe5fd","datavalue":{"value":{"amount":"+0.9210372","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":"Q1854396$E42D3840-BFED-4D5C-8CA0-2022A9B8D5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb11fcfcb53fbf6f93a2a0669f29389fa611462d","datavalue":{"value":{"entity-type":"item","numeric-id":4222898,"id":"Q4222898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061c9157bd12aa8270a7c27b3afc5bc77d124582","datavalue":{"value":{"amount":"+0.90582955","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":"Q1854396$AE50B0A6-649A-4A6E-8CC9-611E13D836AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1754c52076e86f1c553ccd52e18fcf55f7f6f035","datavalue":{"value":{"entity-type":"item","numeric-id":4484505,"id":"Q4484505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53ac570b0bcc41be4d4d68691de76dc723d42fc","datavalue":{"value":{"amount":"+0.8972246","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":"Q1854396$96548B6E-3460-4D3D-92B3-6A9D30694DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1ecb6054843b0f539cfdf6f6863ba96ed7880d","datavalue":{"value":{"entity-type":"item","numeric-id":793508,"id":"Q793508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922cb243cec3ddef7140f1348b09e2a58c18857e","datavalue":{"value":{"amount":"+0.8877939","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":"Q1854396$95091574-BE10-419A-A4EE-1B1F46565661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e39952439876948a7ebc5a0f8399883c30dae23","datavalue":{"value":{"entity-type":"item","numeric-id":3681913,"id":"Q3681913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90937f1c9b01e34418fcd33ebde3f1d8d2c64c7c","datavalue":{"value":{"amount":"+0.8792164","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":"Q1854396$37A4BC0F-46D9-49D3-BD17-0EBA240014C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"548392e32871c2664a26efbafbcc5fd9356df0cb","datavalue":{"value":{"entity-type":"item","numeric-id":1088403,"id":"Q1088403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90937f1c9b01e34418fcd33ebde3f1d8d2c64c7c","datavalue":{"value":{"amount":"+0.8792164","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":"Q1854396$C714D6F7-9342-4EC4-A236-09324657726C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cdd712c2061c1fea90cbcff259f3731168b2e7","datavalue":{"value":{"entity-type":"item","numeric-id":3678656,"id":"Q3678656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e83da3409aba2a7506d96fb14784239986a9d1","datavalue":{"value":{"amount":"+0.87077916","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":"Q1854396$2AB81A99-48A6-4540-BAD5-FBFE60E6D337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21bfee474f22c5f1d613020c19a4aa91e83845c","datavalue":{"value":{"entity-type":"item","numeric-id":2672270,"id":"Q2672270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486674c79dfcfdf3908dcb3adcf080d0b973d7e6","datavalue":{"value":{"amount":"+0.86690277","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":"Q1854396$04FC94C9-197B-4366-A119-E48CC2306478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong fairness and full abstraction for communicating processes","badges":[]}}}}}