{"entities":{"Q6204540":{"pageid":13339427,"ns":120,"title":"Item:Q6204540","lastrevid":57112518,"modified":"2026-03-26T16:24:42Z","type":"item","id":"Q6204540","labels":{"en":{"language":"en","value":"The synchronized ambient calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7826196"}},"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":"Q6204540$A9203802-534F-4C63-8CA7-F2A7754CD578","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62854e1b02600f6d700b140ad14f11691efe1b3e","datavalue":{"value":{"text":"The synchronized ambient calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6204540$C54A9CED-3980-4345-BF1C-F17C6511DA16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80041ecac9dea364d84b37399ca40293f15d0529","datavalue":{"value":{"entity-type":"item","numeric-id":6204539,"id":"Q6204539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204540$F74276A1-21CA-4821-AFF4-417CE4699836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934d9f36f6fb35781a8de66fa08545e9a2861724","datavalue":{"value":{"entity-type":"item","numeric-id":5392642,"id":"Q5392642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204540$AD5D2668-1FDD-4205-9610-8F3D6EF90246","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":"Q6204540$EE17A7BC-C371-4217-BB94-BE8D688A74BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1ccdf6217cefa4fa8e84abc7a9cf0870ff18c0b","datavalue":{"value":{"time":"+2024-03-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":"Q6204540$5A201FD2-A56F-48CC-AD7D-1073876A23E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204540$79A8679B-293F-470B-B59D-2BEACD2FB89A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8f88899fc44e1b980559e321f5d668d70da8341","datavalue":{"value":"7826196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204540$543E4725-257F-429C-B332-A4805351AACE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204540$6DA5CC9B-11F1-42F9-B9C1-2343C8203B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"373ae8a92dd7f60bcd748f53e3a1c8b890713df4","datavalue":{"value":"ambient calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204540$EA60A06F-3177-4816-8F08-B7E37340EDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2435be14fc82a0ca60db86a56cbdce627db296f5","datavalue":{"value":"modeling concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204540$40622CE6-3BF8-4069-9A45-FCD4BC849CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab31482eee8f34fa99c5284980862acac4a0b6b4","datavalue":{"value":"reinforcement learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204540$24E73DE5-9E7E-4D9B-8528-68398129A1F3","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":"Q6204540$CEDB3F4A-BE6D-4B6A-BFE4-DDD9B59FF134","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23376629e4bae944fd1768c196a7e9248c8f1a1c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2024.114479","type":"string"},"datatype":"url"},"type":"statement","id":"Q6204540$C150D1DB-61BF-4D5D-99C5-25852BE606D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48f3790e899e3aa299a5a30732f17f6d88308c3f","datavalue":{"value":"W4392387998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204540$0C49A600-6779-4A40-8978-3382E80FC11F","rank":"normal"}],"P223":[{"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":"Q6204540$25D608FB-E163-45F8-9AC8-5BCB343F4A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153d2b4b4e2180e8288d36f0b68ab9e70eb4eed6","datavalue":{"value":{"entity-type":"item","numeric-id":653874,"id":"Q653874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204540$24679098-D9D5-468B-A0C6-A3BCE2589F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc2f7f952092927dacd0d7a73c8568f10e239b8","datavalue":{"value":{"entity-type":"item","numeric-id":2760245,"id":"Q2760245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204540$2D94B6F4-7828-4770-9D35-BBF8ECA5D4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ff99291fc23db333da452abed8dce9cbb5fdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1812931,"id":"Q1812931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204540$0EFA5C91-8EE5-4732-8F4D-2E86BC608DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3bd02791f3fd6f2c39b3ae9244b7d656a93c72","datavalue":{"value":{"entity-type":"item","numeric-id":4626283,"id":"Q4626283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204540$40D99CAB-372C-42E2-AA57-B73D726CE5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4bd2b5025f233252d2c4e23706e3602cbd52cb","datavalue":{"value":{"entity-type":"item","numeric-id":2766538,"id":"Q2766538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204540$F2026AD0-3C0E-4CD2-9939-27286C0325F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91bafa49c4b7378e53eba98400486f4842c52459","datavalue":{"value":"10.1016/J.TCS.2024.114479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204540$4CC8218D-9707-4CA0-B3D0-5410C348D97C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c85aff40ad00e6f50149fbc6905f82e8f90cf7","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d81cfec11d73b816a5fb0eaf4526cc6821c80a","datavalue":{"value":{"amount":"+0.7209978103637695","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":"Q6204540$08D1963C-203F-406B-890E-9C514EC7747E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67dc44a9ced30ecc4161ba45046b1561ce28845","datavalue":{"value":{"entity-type":"item","numeric-id":4448354,"id":"Q4448354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dde7ab1030355f41ee83b6009f2fd035757d21a","datavalue":{"value":{"amount":"+0.7187479734420776","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":"Q6204540$DC9567A2-5211-48D5-8624-EEBD722E91DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be720b63400f43790e1e6472af71a6fa3b956db","datavalue":{"value":{"entity-type":"item","numeric-id":1869977,"id":"Q1869977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bffdf4036544c940b041e49ffa9e125a50e1160d","datavalue":{"value":{"amount":"+0.6992939114570618","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":"Q6204540$8A4950EE-4942-44DF-AD73-F20353ED296A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417dbea961f33457b88bc7687695584d36b36d74","datavalue":{"value":{"entity-type":"item","numeric-id":5044776,"id":"Q5044776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045b292a5306c52137001d59b1c7d18d01ceb033","datavalue":{"value":{"amount":"+0.6992695927619934","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":"Q6204540$EBFA109D-BE49-4F95-A6CC-B1FD4686DE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273c8d1d1c522a70753ee3a928b358bc4ffcca84","datavalue":{"value":{"entity-type":"item","numeric-id":6612288,"id":"Q6612288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b1fe055099d05b011c27e8bd9b87b56aac58433","datavalue":{"value":{"amount":"+0.6987473964691162","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":"Q6204540$2590B6EC-BA21-4DAF-8D63-8057C702C143","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204540$2447C472-1B17-4DD7-80FE-616197DDCEF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6204540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6204540"}}}}}