{"entities":{"Q3809776":{"pageid":5839682,"ns":120,"title":"Item:Q3809776","lastrevid":53520737,"modified":"2026-01-25T03:39:43Z","type":"item","id":"Q3809776","labels":{"en":{"language":"en","value":"A Logic For Distributed Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4079388"}},"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":"Q3809776$EBFFD8BB-D652-456E-AC03-AE4825CEFA97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5934a2689ab2aaca8aa7231f415f70a271bc954","datavalue":{"value":{"text":"A Logic For Distributed Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3809776$1A8667E3-2DCF-43F9-B6BC-203C89A1CA77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9e551fd511f65397b628da142f0aada46a8e764","datavalue":{"value":"0661.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809776$963C222B-F5D5-4F60-AE31-E941712EAF45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809776$E3E52C41-7416-4ED2-964D-DE13EBE277E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3809776$B1E88AE7-CD0B-46EB-B5F0-01EF6BF87EA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809776$0E9C5A0B-5771-4E53-8B58-7DD684E7CE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809776$2F18D2BC-0986-434A-8883-B6C1D0AC5EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809776$C6AB8E9B-27C4-4200-8DDF-203E2704B148","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e25c03b0d9f93636583973daf81d6561bd2b153","datavalue":{"value":"4079388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809776$BA46072A-2B6A-48F7-A106-F85BA987EE79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca34e3e1e019f0d5d02167549ee8b46506d8c2c6","datavalue":{"value":"synchronous bit-processing architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809776$E811075B-7FF8-4DDF-9C94-B7F40FB4DB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809776$1CA0E67C-88B1-4D53-B2E1-5166F953C38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ed5d5fa93acb4dc15ea00b8448c0c0f15c3554","datavalue":{"value":"logic for distributed processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809776$DD153A47-F7A2-4C2B-AD42-44B1D3C17734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809776$02A3E61C-F2BB-4EE5-A0BD-FDD61E216EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34afd0f74d6dde509aa6a8db88ca3f3451b0b362","datavalue":{"value":"programming theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809776$682156BE-DD6F-4329-806D-149E40E369E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f32d37e9c3cf11bb0589b2ceae787b67f6b9409e","datavalue":{"value":"algorithm for constructing arbitrary distributed programs from given input/output semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809776$35AB50D9-68C2-437F-9E5A-C0DB669351A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02ee9f613e349b64a1baa9d7dff26ba057f52b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1138082,"id":"Q1138082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809776$E1FC54DF-23DE-4044-B747-F2D2B822A9BA","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":"Q3809776$6BC2D277-8613-46F3-A1FA-8A1BCFAB6B59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ce39351010bd4b2355e7d5a865e355ebac7347e","datavalue":{"value":"https://doi.org/10.1002/malq.19890350404","type":"string"},"datatype":"url"},"type":"statement","id":"Q3809776$BE4690B2-BC80-437B-BB86-7BDC61228245","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b541aa3600a98ce9fa1f832f1ee0e727db055fa6","datavalue":{"value":"W2126563041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809776$D860BDB0-25BE-46DB-96CB-33EA10AB9E73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af3536d001d5dad9689940117f1b2bc1d1125aae","datavalue":{"value":"10.1002/MALQ.19890350404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809776$35811E21-F36A-406E-81B2-D240878705CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a340906188ba77b3b6bee1c1068ea3f70dc81095","datavalue":{"value":{"entity-type":"item","numeric-id":4733416,"id":"Q4733416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c72aabf8dbd5aa38775be99fdd2d203889ee8e","datavalue":{"value":{"amount":"+0.7878379821777344","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":"Q3809776$68C34C4F-5A3F-4E19-9F0F-E05941267D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c81a0762ea02fe180ae28bbea5717823f5defa","datavalue":{"value":{"entity-type":"item","numeric-id":3343422,"id":"Q3343422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff986535585b58d203f2b1e059d2418a173ba64","datavalue":{"value":{"amount":"+0.7825025320053101","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":"Q3809776$EFC9AA42-AA5C-42A9-B641-8AC1F0398F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d7045f2d31c534448bdcd51e9fe2bbe8f64104","datavalue":{"value":{"entity-type":"item","numeric-id":757079,"id":"Q757079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a388a839d19a8398c7aa384a7d43f173a276af7d","datavalue":{"value":{"amount":"+0.7661437392234802","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":"Q3809776$2470740F-01E5-4CF2-8F13-A66644DCF49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d03c21150508b05a08fbc3194b8cedceaceb56b","datavalue":{"value":{"entity-type":"item","numeric-id":4696741,"id":"Q4696741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b4644f7d79cb93734ce1772a7621af8cda5ca5","datavalue":{"value":{"amount":"+0.7652866840362549","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":"Q3809776$BB5A7E30-9250-4CC2-AB9C-B746C63B49B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cae292f37e87f9cce269098b78f0fdcc801418f","datavalue":{"value":{"entity-type":"item","numeric-id":1575879,"id":"Q1575879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d53bb88073c9312bd33e2c22c6698f15e145d5","datavalue":{"value":{"amount":"+0.7648513317108154","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":"Q3809776$1F989227-5F89-47BF-B3CA-AAA1530D5C12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3809776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3809776"}}}}}