{"entities":{"Q6976540":{"pageid":21362286,"ns":120,"title":"Item:Q6976540","lastrevid":84035558,"modified":"2026-05-08T11:43:27Z","type":"item","id":"Q6976540","labels":{"en":{"language":"en","value":"Programming and reasoning about actors that share state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8048066"}},"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":"Q6976540$4C28ED16-E630-490C-A6CD-E4B9E61851EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ac38824454f78492c8d59d47b3b37840398699c","datavalue":{"value":{"text":"Programming and reasoning about actors that share state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6976540$204317C5-A1B9-46CE-B331-D5D36B812C6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eedd47aa6023908fb62848a9c592f190558c8efe","datavalue":{"value":"1566.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976540$C3FC7495-DEB3-43F8-A83E-54A241F4A457","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0febabb0109c726ea8baa2e4a6d095b7c5fe39b1","datavalue":{"value":"10.1017/S0956796824000091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976540$D2421CDE-3AF0-4F0A-AB19-1F10F0535B77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9a538e550c3e4f7d41f2d65adf01f2abdf0c2b9","datavalue":{"value":{"entity-type":"item","numeric-id":6976539,"id":"Q6976539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$7B580506-88A7-486A-864D-EA3967BC4B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2594f2f99d8aa44ca8b30529f81a9a84c23687cb","datavalue":{"value":{"entity-type":"item","numeric-id":5410714,"id":"Q5410714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$773D019B-D3C5-46B7-9E70-9F2C82BE9573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfe7eec3db288eadfe34f00a6ac258323c994e5","datavalue":{"value":{"entity-type":"item","numeric-id":608230,"id":"Q608230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$DD653DA8-50A5-4D32-8F99-AFAA3A6523AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$86B1103A-F60A-47B2-851C-69E0E719FCD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1d287cb8d96589c2cc587d8d419d31e18e77b38","datavalue":{"value":{"time":"+2025-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6976540$94D8E5C2-EE5E-49A5-A3EE-CCCE58D91B73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976540$1D3939C1-DA73-434D-B1F4-03CFC086B580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976540$58C9B235-D852-4546-AA02-B2E3BF5AA467","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba2c3479c3e76b3f83045ecbd840077ac34d82bf","datavalue":{"value":"8048066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6976540$EA782604-1CBA-43E6-9558-7B06F306B974","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":"Q6976540$C276D44A-AA0A-494E-90B7-1401A89B4E00","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":"Q6976540$67F516FF-7A21-457C-B15B-433342A1EE91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$69490BEB-6C8F-4025-9EC3-714034C1C297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666de244d9c6b7db89668e88f94a6cfa7deae5e1","datavalue":{"value":{"entity-type":"item","numeric-id":3617706,"id":"Q3617706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$58E87215-056B-453B-98DA-A191B6D688C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7faf3e30e31f599e1f4f084511504817c437a2f5","datavalue":{"value":{"entity-type":"item","numeric-id":2931801,"id":"Q2931801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$E87288EC-4940-41C7-9DC9-7AE86C678395","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":"Q6976540$47376A04-3B74-499F-B2EB-F9F4BD855C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf3fcb4be5d293a08dc3cf01d80c9c9c2e49c3a","datavalue":{"value":{"entity-type":"item","numeric-id":1325948,"id":"Q1325948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$F3E50DF3-6A8C-4505-B2FD-F69D1D106501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd887abcf3ca35cae9e79acb86dc1203d0dca77","datavalue":{"value":{"entity-type":"item","numeric-id":5178897,"id":"Q5178897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$0A58EC54-4280-406B-8DCF-7A2F226ACC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60afde235cdbb039bebf756e68d37489e6748d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5370904,"id":"Q5370904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$DA8F5715-A870-43A8-AEF5-8E31B9529B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$23D3C33C-F26E-4FF5-9DEC-4EC5A0D5EC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf68b6ecba3cea84021f977ca66bd790d11e0f46","datavalue":{"value":{"entity-type":"item","numeric-id":5899022,"id":"Q5899022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$C1E6FEAC-6296-4C90-AA72-76C536DDE21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbb15e55e741b96895486fb34d1909c8e73e903","datavalue":{"value":{"entity-type":"item","numeric-id":5176943,"id":"Q5176943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$D13D6500-5ED6-4FFB-9008-B4FEF9598436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35197c3d3efe3799bd6276c5beebc7ae44976c08","datavalue":{"value":{"entity-type":"item","numeric-id":3165523,"id":"Q3165523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$2A6314C6-288C-4C75-91E8-F7D866D7A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f41d52ff5e280daed5eda3593ba1616c383d1","datavalue":{"value":{"entity-type":"item","numeric-id":5756504,"id":"Q5756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$5149C73B-7BAE-4F1A-AD13-63917B1459FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2a635c7014658d2cab77d1a6b57bb75cfd1436","datavalue":{"value":{"entity-type":"item","numeric-id":1583234,"id":"Q1583234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$4650A04B-0CB3-4F8C-901D-E8F511CFA1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$DF7E9545-0846-410A-97E4-080F07765914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$7ADA13EA-3191-4837-AA4F-7FF6D6840978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f0bead6506798a8e0a4236306007c58d8bd992","datavalue":{"value":{"entity-type":"item","numeric-id":5410715,"id":"Q5410715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$C5ED116F-4A55-4FD2-A50E-813E8127E3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$0ED5D7EC-A83D-4754-9485-9145FE1093F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb775710df417de62fb5abc6605142162bfd946b","datavalue":{"value":{"entity-type":"item","numeric-id":3189846,"id":"Q3189846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$7AB223F2-CEDA-481B-83C1-8565152326FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33fb5486878979db4428b757a9dae38f8d1a87cd","datavalue":{"value":{"entity-type":"item","numeric-id":5178880,"id":"Q5178880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$0BA1B094-86E8-4B7C-A579-78EDF147694A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$E7E8B14F-118D-44EB-9DEE-70B618EDE792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03455b971397d937afa50b2acf41cc84429c8a88","datavalue":{"value":{"entity-type":"item","numeric-id":465680,"id":"Q465680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$ECED7E07-1CE1-4CD3-890F-A7850E64A6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec630eaef94401ff37429d99e89da626bb1e769b","datavalue":{"value":{"entity-type":"item","numeric-id":925321,"id":"Q925321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$3FED62E7-50CB-4F93-B05A-77B7AD557A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e59eb46c173b6e2b7279f895900b5fa92af7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4681459,"id":"Q4681459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$093DEB76-3693-4939-B1B7-D3992B0FD055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff26acfa4f7a81a69ac1d22f5faa8f8ec3f24299","datavalue":{"value":{"entity-type":"item","numeric-id":3694680,"id":"Q3694680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$496F99EF-AB5D-488C-B60B-7B53428EF6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc75e886fbdf71be23e2431e3d1861376cec723","datavalue":{"value":{"entity-type":"item","numeric-id":2771059,"id":"Q2771059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$1161D100-7639-4003-92D3-DD8626C39160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5b8e183e4d67340cb8891484d4bf8a5555fdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5458402,"id":"Q5458402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$7D904A9A-BE2A-4EC1-85D6-0BBAD38321A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$9FEA9CF9-4B56-4DF3-83AA-696BB7AC439E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02c28bdaa921b7ef47e8a06a2dcfe4c6245464c","datavalue":{"value":{"entity-type":"item","numeric-id":1605229,"id":"Q1605229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6976540$46D0CF17-43C4-4FC9-9FDF-F020DB595748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Programming and reasoning about actors that share state","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Programming_and_reasoning_about_actors_that_share_state"}}}}}