{"entities":{"Q1142590":{"pageid":1153339,"ns":120,"title":"Item:Q1142590","lastrevid":66231936,"modified":"2026-04-12T08:25:30Z","type":"item","id":"Q1142590","labels":{"en":{"language":"en","value":"Termination detection for diffusing computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3686788"}},"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":"Q1142590$49E38426-5D83-4445-8F31-7380492A470C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79e9d6547faa08411401dd10da01d1b6ab092ebe","datavalue":{"value":{"text":"Termination detection for diffusing computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1142590$3FFC6518-FE74-4295-81C7-69C56C126F73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f29c21897e95e2dd3586a69c38a26d2bea40779","datavalue":{"value":"0439.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1142590$BB038C9C-2BF5-4449-8B19-D650A7FE898D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dfa43d9532f5a2e458580ee2954ec170b24931d","datavalue":{"value":"10.1016/0020-0190(80)90021-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1142590$CE88A9C7-2F6B-4B21-AC9A-BCA9959F1199","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc2d5c9db1ea8e0985758611790f07f386f0ef4a","datavalue":{"value":{"entity-type":"item","numeric-id":1142589,"id":"Q1142589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1142590$B9F78F0A-9660-4392-BF79-6066CBEE4FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f45a908dae7b276a058142218ca9cfb2d00bca08","datavalue":{"value":{"entity-type":"item","numeric-id":6481523,"id":"Q6481523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1142590$9357CE9D-288F-45CD-AC37-73E257F4AD44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1142590$D6900EB3-8FC9-403B-B41B-7251868FC7C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1142590$1EAC632F-065C-4A26-AF0D-F011619D4E57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1142590$1CE6B21E-1E28-4F11-8FEC-FC7D610C9368","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95591003bd5aa5caef1519da50a2fb4f061513eb","datavalue":{"value":"3686788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1142590$039C242B-9D10-41EA-9C2E-AD71E5229BC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1142590$1DD49A3B-72FC-4A9E-9B19-AD711668FB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea4aa354735926eecbb71710c5f72bc80a428e90","datavalue":{"value":"termination detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1142590$5D4876EB-E229-4447-86B8-3234258A1A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657a8705695a0078d252f2548dc6a5eb3b6b7242","datavalue":{"value":"distributed control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1142590$65B3E16C-B6C8-49B0-8D51-10C6321CE451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78a49cc3387842f716cce2432276ad4176787f83","datavalue":{"value":"message-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1142590$4016CA79-FC1A-4F6A-9585-921797D2C1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15bd2e719b017236acd236e96744a02ccb170067","datavalue":{"value":"correctness proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1142590$9E2CAE7B-2479-4D0E-8EF9-38B107B0BBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c19d7b3e36520b2a6aeb832834b7b8e0c69f62a3","datavalue":{"value":"diffusing computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1142590$9CD6ECD8-81BF-4963-8471-187065043356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322e81307d2b59f8312b677cec0801774fd4d8e5","datavalue":{"value":"networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1142590$3CA6771A-6F86-4570-8CCC-FF9BD6A98A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54f6c040d8081fd4e006ad4b21a2293eabe3f954","datavalue":{"value":"activation tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1142590$66D31DC2-7CF3-4A64-B37C-BC659134AD1A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3852f0e555df4395428191d1b435c8a20a253bd1","datavalue":{"value":"Q29391507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1142590$D0285E94-C22E-4CEA-9D79-0E79C3A18328","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":"Q1142590$D6D0DBAD-4B2B-427A-91D4-9D1680C31286","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b709d38b0fff9bbb2e9e3e6752f8df4d46e5b629","datavalue":{"value":"https://doi.org/10.1016/0020-0190(80)90021-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1142590$785EF5D6-522E-4FA3-BDF8-1EE70D2BD6AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edc0f64ec5455e323bb77d9e3b0088b1ae7e5ebc","datavalue":{"value":"W2013173096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1142590$F15BBAA5-4350-475E-8F57-CF4E5CE7088A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination detection for diffusing computations","badges":[]}}}}}