{"entities":{"Q4989485":{"pageid":7019062,"ns":120,"title":"Item:Q4989485","lastrevid":92276042,"modified":"2026-06-05T01:18:53Z","type":"item","id":"Q4989485","labels":{"en":{"language":"en","value":"Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350966"}},"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":"Q4989485$315FAE67-F53F-44C5-A275-0CD28145B41A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7325de12d546513aacd2d235cad37735a65ca13","datavalue":{"value":{"text":"Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989485$8C116649-F8A6-46A9-A7B0-1C31130D719A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44bfcacb14f316f44dce26261f389a74c8c4e00d","datavalue":{"value":"1461.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989485$3E73CCBE-37EE-4F78-A40A-AC193F60EFB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f19ee5da380f7f7a74ae8c1c51327364e01eb896","datavalue":{"value":"10.1007/11768869_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989485$73D1479C-A090-43E6-9EBF-212786F3DC66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fedef0ca27b62e01c90e6910e47dfd182898de65","datavalue":{"value":{"entity-type":"item","numeric-id":681341,"id":"Q681341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989485$846700A4-E360-4CF1-8159-9D1E99F01C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947999c367037277243554e8f44908cab3697255","datavalue":{"value":{"entity-type":"item","numeric-id":2147211,"id":"Q2147211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989485$A3C617CF-A19A-4CFE-B666-8D0B76AD631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8da0ead3e796cb81313b10acfc741b0e5e1a66bd","datavalue":{"value":{"entity-type":"item","numeric-id":2279136,"id":"Q2279136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989485$BDB20527-90C3-4BD4-AE51-37A7680D3FE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989485$59988351-F620-4FE2-9E34-A0B1022B5DDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ffa60ea309af725dad80fc9f6348e56a9ea74b","datavalue":{"value":{"time":"+2021-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989485$9B79068B-8B31-426E-8865-E76B46329306","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989485$5AC72B91-DB2A-494A-BF2A-03A8482AB076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44742165228cd10fba0254f6360298404e4c64a4","datavalue":{"value":"7350966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989485$9A77CBDD-78D2-414B-B1AA-4C36304AAAFA","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":"Q4989485$8E952C2A-85DC-45BA-88C2-3FBB93B629DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca085d03426a41037d1f4dc5b1b95de265a4687c","datavalue":{"value":"https://doi.org/10.1007/11768869_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989485$E6F509BA-D7B1-43CE-90D1-958ABCF44931","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88c0b2114e0e636fb9d1bcbcf4215b38232cbca8","datavalue":{"value":"W1560079556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989485$9E444F2B-3DAD-467C-A06D-65DD8CE91707","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce774291015f30425e26b8d875073ad7b896e26","datavalue":{"value":{"entity-type":"item","numeric-id":4251118,"id":"Q4251118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1802f6b95c96d1a9729645e8f7b25d4c50583c6e","datavalue":{"value":{"amount":"+0.8799738","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":"Q4989485$55BF2DAB-EAC4-4FE5-935E-D357BCB81DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec27621b1688c7b214ee761896d0d51e26ae476","datavalue":{"value":{"entity-type":"item","numeric-id":2995468,"id":"Q2995468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d2bd3780e3f86b00cf2393d2f897d8bea0a95de","datavalue":{"value":{"amount":"+0.8620347","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":"Q4989485$524C265F-75BA-4724-A26E-F36987AD6624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d65460650fda6442071e21e391346bcd1f1bc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536623,"id":"Q4536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16913639b7691e313032b50b2d9c13370a871a87","datavalue":{"value":{"amount":"+0.85002863","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":"Q4989485$F041B43C-192D-46DC-B6A0-681B418F269F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2270a327323d1de3606444cb45346a60e85b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4256644,"id":"Q4256644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f83192de87ff0becb2ba43a5cb474f335d9ea4","datavalue":{"value":{"amount":"+0.84970427","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":"Q4989485$E39DEB34-4E1F-4C9C-AA47-5EBC5F0CD937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f79633d81acebd596ba23722d38631545395ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3738550,"id":"Q3738550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ffb1dd7061d2ebe50385a37a72e3c856857a44","datavalue":{"value":{"amount":"+0.84518325","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":"Q4989485$9E05D7B4-E0FB-429A-AD67-CDC789B06B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d99be377c05e65005aed0b3a8485029f1260229","datavalue":{"value":{"entity-type":"item","numeric-id":5716588,"id":"Q5716588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774cab16ac1b080733d9fac5b1ad13b86d26ed58","datavalue":{"value":{"amount":"+0.8401336","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":"Q4989485$02050D7A-51A2-4605-A5B4-B54AA09DC50C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_Safety_for_an_Actor_Dedicated_Process_Calculus_by_Abstract_Interpretation"}}}}}