{"entities":{"Q3938476":{"pageid":5968381,"ns":120,"title":"Item:Q3938476","lastrevid":55044778,"modified":"2026-02-03T03:24:04Z","type":"item","id":"Q3938476","labels":{"en":{"language":"en","value":"Termination Detection of Diffusing Computations in Communicating Sequential Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3754016"}},"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":"Q3938476$798C4BE0-3B8E-440F-A745-37450553C85F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05725fe213f7f1c691a66421287f07d84b513fe0","datavalue":{"value":{"text":"Termination Detection of Diffusing Computations in Communicating Sequential Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3938476$D579FC9E-E3CE-4EBB-ADBF-4913D66BC06C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10014794336fba4d104978197fb99fccaae27608","datavalue":{"value":"0479.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938476$EE74BEA2-5D4D-4F9D-A6E2-88A141944070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a39b5cbcd46c1afc7bb928683ff44c54af0d6f2a","datavalue":{"value":"10.1145/357153.357156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938476$81A17CCF-C714-48BB-8388-139E6C4B8F21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"613df68fa62667b65d3e5e1997bd8d1766de280b","datavalue":{"value":{"entity-type":"item","numeric-id":239148,"id":"Q239148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3938476$74C574A5-8FCE-4600-90FC-ECF36C7FFE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68a16c5cbfcd2b4f037f5d1ee5ded1c873b2444","datavalue":{"value":{"entity-type":"item","numeric-id":239151,"id":"Q239151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3938476$87297C30-1E59-4780-96D6-0BC6A3CDD5C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3938476$A721CD4A-1E1D-4C25-B485-55D5E50D6CDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3938476$43014065-80EB-4AFE-B174-94B8E990F37B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57c5ea4295a9c27278519eb4bab04328e2c02493","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.218","type":"string"},"datatype":"url"},"type":"statement","id":"Q3938476$D19D3D25-351B-42B6-B513-8FC74AE7943F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938476$E42621B8-0C65-49E3-8CB4-8395EDC777CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8d6a4c8d2057a378b9ad316608773557fa31d68","datavalue":{"value":"3754016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938476$4F5EF437-C096-4B44-A7A8-9536F8343837","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207ad8de4a8c905263633b2f762f93fe1e3ae967","datavalue":{"value":"Dijkstra-Scholten scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938476$A213C71A-DA9D-41CF-BF5F-4DFA53821FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938476$E0158BC4-9DF2-43EC-A44F-867484B2B759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938476$20A1F4F3-4DC2-4C89-9E61-3BB9D6D877B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a79e6ce0d000673214e230cffb3d247371c4537","datavalue":{"value":"networks of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938476$605AC97A-0261-421E-B448-F5839661F66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea4aa354735926eecbb71710c5f72bc80a428e90","datavalue":{"value":"termination detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938476$31CF8DD4-FEE4-4849-B6D6-BEB312D98777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf75264c4d852d9a2405b96737b0e51f43cb3360","datavalue":{"value":"diffusing computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938476$3B3B956D-319A-4C9D-A5F8-630E44A6659A","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":"Q3938476$755C3F37-B486-4453-838C-63EB936AB653","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6eddeef39e061fbc4ea37be443d5c1aa8009930","datavalue":{"value":"W2095359054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938476$586BA26D-C071-4EC9-BCC6-2C0C665AD437","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3938476","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3938476"}}}}}