{"entities":{"Q1847547":{"pageid":1858289,"ns":120,"title":"Item:Q1847547","lastrevid":69355614,"modified":"2026-04-13T06:27:01Z","type":"item","id":"Q1847547","labels":{"en":{"language":"en","value":"Distributed automata in an assumption-commitment framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1835901"}},"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":"Q1847547$442A9CA7-6765-4211-AEFB-20FC18A641E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50ec6079cf0fdbbbb8ca950bcfcdca9363d6f4e4","datavalue":{"value":{"text":"Distributed automata in an assumption-commitment framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1847547$36E5BE94-060B-43AE-A262-4E93C3C2DCE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"288c97040c0908fee16887995d9602dc91fd4edc","datavalue":{"value":"1018.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847547$85CE6B75-8604-43FB-965E-249B0752C28A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"badc49a0d54179ed536c66ef013853f4debf6b66","datavalue":{"value":"10.1007/BF02717184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847547$D0CC525B-7572-49A1-862A-588CDEFE6192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ce8a194edc573dde3012e6baeda4f31634d68fc","datavalue":{"value":{"entity-type":"item","numeric-id":1847545,"id":"Q1847545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$1A8C064B-8BFF-4168-A977-F93E4D30E651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c61d16417386c7b4499ea3e3354748a911b72","datavalue":{"value":{"entity-type":"item","numeric-id":1275341,"id":"Q1275341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$F1D54A25-CCF3-4488-B217-754B7CDED2FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1a947b5002a2baceed42c066548d81c4b38b3fdc","datavalue":{"value":{"entity-type":"item","numeric-id":229978,"id":"Q229978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$DCD6326E-FC60-4049-82CE-65047E04E219","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"118b3751f605fa751b1a0cee7b9b610d6c3317e5","datavalue":{"value":{"time":"+2002-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1847547$67ADDDA9-1A0D-44E1-8125-7063D33F02EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847547$2B515842-E43D-4049-AEA0-0DE876A08985","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"347c62afa0888bb58ce2855668bf47bd85a30567","datavalue":{"value":"1835901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1847547$3DF563BD-97DD-446C-8054-8594E55889F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf2cc8de0cc244f7a30a27a851802c8288e9acd","datavalue":{"value":"finite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847547$59A60FB4-0CB7-43BE-922E-CC808772BE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79ab8468f1eca3cdda98a5129866dfb4ea9e4c1b","datavalue":{"value":"synchronizing distributed processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1847547$F9DE74E2-090C-4614-AD2C-8EC3CEA2FB51","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":"Q1847547$B60C34D3-8DEE-4B0A-A3FF-3B5F60B96F43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$5C6C7CCD-7188-4F98-B4FB-C4C5DBDCF67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cad72f183563a822760617a5ef6445d62af8f5b","datavalue":{"value":{"entity-type":"item","numeric-id":690237,"id":"Q690237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$676CF18C-9566-48B8-8FE3-2C8B17668F9E","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":"Q1847547$AC7E3ADC-EF1E-4B41-A4D8-A521A1B622FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$F0CD192A-6FDC-43A8-8C48-64AF1ED02A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdf93c2a636a9d6cd86710070581e915ea328a2","datavalue":{"value":{"entity-type":"item","numeric-id":4733400,"id":"Q4733400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$FE0D9CDF-A659-47A8-B4A6-EB6C3B1B3AFB","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":"Q1847547$17B0D96E-963F-4EE8-9658-70B33D7716EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$80895E9A-94CF-4151-B0F6-EC97E63E7883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$78EC5C0D-C2EC-4D01-AF82-E0AE320C9BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e02d028d2e6f20c848d305126b44b69f277975b","datavalue":{"value":{"entity-type":"item","numeric-id":757079,"id":"Q757079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$F3C6B0DD-A974-48CA-97B0-1227B5E9EDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1847547$0FB372E4-81B4-43EB-8604-9DB0072AE4A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fed3feb306e72ccd0749337553e60176562d6d","datavalue":{"value":{"entity-type":"item","numeric-id":1901688,"id":"Q1901688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743f78590c941e53f0bb5e82f68e65c639a7546b","datavalue":{"value":{"amount":"+0.7793138027191162","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":"Q1847547$404AFCC7-B9FB-4CF5-AC3B-BEBE8D24D39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbc1caad17acbfbeb8a02ca0ea1f6d01194f8c2","datavalue":{"value":{"entity-type":"item","numeric-id":1040778,"id":"Q1040778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9873e767d8e903ab2c993951551efc85365342f","datavalue":{"value":{"amount":"+0.7776415944099426","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":"Q1847547$5B85B440-2B55-4E6D-A98A-908054F6A9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"377045c49e5653288d9cb7d8d4deb07cbbb343ba","datavalue":{"value":{"entity-type":"item","numeric-id":5178998,"id":"Q5178998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14b4e8f76ccf1a971acfece135db53f8d7a198d","datavalue":{"value":{"amount":"+0.7669824957847595","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":"Q1847547$9A32F3F7-328E-4047-81B0-013EC4629A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba44eed81e94018435eae4bdac309ae19a72a59","datavalue":{"value":{"entity-type":"item","numeric-id":2842859,"id":"Q2842859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b581d2f96a7d62d6b3e4231a41c70ed5373f47e8","datavalue":{"value":{"amount":"+0.7656039595603943","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":"Q1847547$AF5F826E-5CDE-4618-A5B9-F30A2312916F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319e2d2ed22c4bdf8d91b57c509b64b8271f2760","datavalue":{"value":{"entity-type":"item","numeric-id":917329,"id":"Q917329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6105ab96c0091df0b8c8cf7b8bae1b50f51ef7aa","datavalue":{"value":{"amount":"+0.7442976236343384","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":"Q1847547$0812E3CB-FD44-4176-A483-9022838ACE82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributed automata in an assumption-commitment framework","badges":[]}}}}}