{"entities":{"Q5850754":{"pageid":7880305,"ns":120,"title":"Item:Q5850754","lastrevid":50877260,"modified":"2026-01-15T13:22:08Z","type":"item","id":"Q5850754","labels":{"en":{"language":"en","value":"Applying a testing approach to the calculus of fair ambients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658700"}},"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":"Q5850754$E599BC60-D7B8-41FD-9C7B-A3E7D1964D82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65547875721fc0e8fd73757db2ef0b3dea4c6d0c","datavalue":{"value":{"text":"Applying a testing approach to the Calculus of Fair Ambients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5850754$435CE5BF-E37C-4107-A430-978BEA94FC20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"383d6da20b25074b6ef8ea435161a70c4013bd6d","datavalue":{"value":"1187.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850754$9F422D17-00CA-4D1F-965E-0E3AED913488","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae9483b29058ff46e5d36daf061c45f5d788159f","datavalue":{"value":"10.1080/00207160903243148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850754$95AFE022-364A-459B-A2AE-539CABFFA46D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af74bd0d476ef3105469f50f0b324dc591a89229","datavalue":{"value":{"entity-type":"item","numeric-id":621582,"id":"Q621582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$ED9F022D-E66C-4A61-8EED-A0F92DF9AB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a66c2978a6d528c143d15b52ecbe77a871c6e9f7","datavalue":{"value":{"entity-type":"item","numeric-id":194116,"id":"Q194116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$8EA962FF-0121-40C4-A408-F5614133358B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$ACDBE93C-7CE1-4ECA-A1A9-C6B562DC7C90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f6c5227c532f1642a28ac5ec57c91ab7b824960","datavalue":{"value":{"time":"+2010-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5850754$3D6F4984-A1DC-4EB9-BDAC-1EE530F0F7B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850754$FE68EDC1-6E87-41C8-AA86-C051E570A425","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93329a0e954de535acdcbe5070e4a3a079a9a71f","datavalue":{"value":"5658700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850754$90CE17F2-FC5D-4A90-9A35-133C460B796A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471e9dc487a56b5f3ea73c701ec3a9aa5d2cc274","datavalue":{"value":"theoretical computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850754$0DFE77DE-31BE-4735-8687-57B0760B71DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850754$A9685AD3-5E37-4C72-997A-ABEF57325C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850754$2DC12ED5-4D6A-45A8-BE97-2A8D6557D816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5d0ea7890c6706c8ab66718943b98f475b2c3e4","datavalue":{"value":"fair ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850754$FA8B560B-90BA-45A5-B3C2-9593410787D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c2df63089c44ddfde3f68de7ad38c837b83632","datavalue":{"value":"testing equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5850754$7805E419-2EDC-4A12-A83B-ED212B402764","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":"Q5850754$5C0C5B06-9BFB-4564-B178-97A08104BDA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff3a02796ce07067ec54bf3790d6d4eabf1af6a8","datavalue":{"value":"https://doi.org/10.1080/00207160903243148","type":"string"},"datatype":"url"},"type":"statement","id":"Q5850754$87ED5F68-76F7-4A26-8EB7-8C059B62B340","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f41f075051fdd4333b3176e8cb2c82a56595561","datavalue":{"value":"W2057614962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5850754$733F7022-BB6D-4FB6-B680-05FB2887915C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0daef8d517dc4a268220e86d71133cde1525d9a","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$9B920F38-5843-4DDC-A0C0-51421C154998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$8110A041-81B5-4484-BFF1-2BBD997041A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$E552F09A-A0C6-4221-9FF0-19AF17CE8C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$E7F37A70-FADB-4DB1-91E1-367648FA6613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ca38fe6af8def374017e7d43231a4b5eb1783f","datavalue":{"value":{"entity-type":"item","numeric-id":1599646,"id":"Q1599646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$AC6A085E-CC8D-4524-B865-2024A0B64616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4382dcb6f19f8b1edbe5ebd4a3e17998b0a7aa44","datavalue":{"value":{"entity-type":"item","numeric-id":557789,"id":"Q557789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$A864DF6C-069F-4AD0-9632-ABC208DD8909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c56510bf50a3b25e83ab2793756e7ea4f7058ca","datavalue":{"value":{"entity-type":"item","numeric-id":877172,"id":"Q877172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$BE567B76-9B6A-454A-91AB-47026D9555D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc12cdf250d6ce6c82e9504d13ccc5b58f7168e","datavalue":{"value":{"entity-type":"item","numeric-id":4814186,"id":"Q4814186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$3CE82BE5-FBEA-4CB4-A79F-74516E946BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0615c52f7b25e5ec3adc7ab4fd78a2808c08fe","datavalue":{"value":{"entity-type":"item","numeric-id":1607130,"id":"Q1607130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$984CA66D-263F-4C55-A85F-1414E99EFFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e72b8de73bbdd23fef30f98a3a67a4606b53d","datavalue":{"value":{"entity-type":"item","numeric-id":5178864,"id":"Q5178864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$DF3D75D1-DD6C-4A98-908E-BDA416305F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd5f93e880f26a351dd01f246d08f28f874f70c","datavalue":{"value":{"entity-type":"item","numeric-id":5178899,"id":"Q5178899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$08627B12-9D6E-4D57-BE0F-8C4E55591296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$8DE94420-E347-46BF-B1E2-0EB76AD66927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa22b894615c9558226d014a95a1deff4421311","datavalue":{"value":{"entity-type":"item","numeric-id":3541038,"id":"Q3541038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$23E86D82-1218-4A0B-B2E3-50D4FBDD97C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba27ba98c7c431125f81ca3dc365c703443ec4d2","datavalue":{"value":{"entity-type":"item","numeric-id":4791841,"id":"Q4791841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$2FFEAEC2-87F3-4BAA-8C10-3CC48CC468C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345ba4a3d1e4dc3ddd6b2147f521a3345437dd70","datavalue":{"value":{"entity-type":"item","numeric-id":4484494,"id":"Q4484494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5850754$9692F5EC-66C8-431F-BE1C-52229B950CD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aba416a041e79de0f87c4176eb91010dfbe73a7","datavalue":{"value":{"entity-type":"item","numeric-id":877172,"id":"Q877172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c22ee96fe0f0a4cc8d46a6c4e63ae9ac672ab4","datavalue":{"value":{"amount":"+0.8202037215232849","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":"Q5850754$2C99CC9A-18B0-4CC5-A3FC-92FA6FB3FEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcce62d4827410d7078cb1a4fb62787d8cd22cf","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bea8e776e94f5e2cdbc6640e3069083dbcdcbd1","datavalue":{"value":{"amount":"+0.8015896677970886","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":"Q5850754$8EABE396-0399-457A-85A0-32AF013B628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348e76111f53630ce12417c397b560c72fee3e18","datavalue":{"value":{"entity-type":"item","numeric-id":3636814,"id":"Q3636814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea0e7da0ef354920630fe9b1003718d5bdf6e36","datavalue":{"value":{"amount":"+0.7805855870246887","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":"Q5850754$918F90C4-52AB-46D7-88A9-8AADC08CDDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8285d9b8a2394b27be1a3eeacbf5e23e3d87d88","datavalue":{"value":{"entity-type":"item","numeric-id":2866341,"id":"Q2866341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7eaf454eb00ba9ad945531d8d8dbd19145551ec","datavalue":{"value":{"amount":"+0.7656945586204529","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":"Q5850754$3E383892-61D7-4993-A71A-0186B0BA09C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08859ebc6c8358b09adb7af20e08647ecc7c5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":4942011,"id":"Q4942011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68871ca48abe425e88ec28700849f62a4e292278","datavalue":{"value":{"amount":"+0.747286319732666","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":"Q5850754$FCCBCBE5-CD29-4F83-BE2D-A8E72F2FDB5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5850754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5850754"}}}}}