{"entities":{"Q3680251":{"pageid":5710157,"ns":120,"title":"Item:Q3680251","lastrevid":50055454,"modified":"2026-01-12T20:04:24Z","type":"item","id":"Q3680251","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902009"}},"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":"Q3680251$74F630DD-4C57-4F96-9D12-7ED13B06C312","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82ff1d0adebf9c63660641d6a7ed892fd1db2d2b","datavalue":{"value":"0565.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680251$2B161C26-BD4C-4291-9BCC-A2CF998A63C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d425705e6cdafc2d847aa0b75ce1fdb33e5f17a0","datavalue":{"value":{"entity-type":"item","numeric-id":283740,"id":"Q283740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680251$CA181909-8149-45DC-A626-9FE1E31FA3F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3680251$DBB9D4F4-7E1E-4E79-AE68-2A5DA81FF193","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680251$75D7A47C-2962-43E5-8AC8-F5595A329C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680251$795E5D4C-C5E0-41E5-B3E5-7846634DD320","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f7139da8f656a3a35facb4bfc7ff2adcc30edda","datavalue":{"value":"3902009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680251$A0802B17-F5C3-4C9B-9880-120FCA9DFDBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ee4183813b966c04f5c7b2d7f3f66f399a8c9","datavalue":{"value":"simple parallel programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680251$567B8C52-D12F-4EC8-9721-11F93958C07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680251$DC4311E1-A6E7-40B8-BABC-6834A61060A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680251$95E76EE0-9BA6-4A67-B674-80459A536EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abdd944a4485d675e6d93d7a36de7e5de00ef9c2","datavalue":{"value":"semantic properties of commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680251$120D858D-439F-4A14-839D-3B43540271AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e4caedfd0b924042002f35eb48e8a5ce4a19ad","datavalue":{"value":"Owicki's parallel rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680251$2A5D9DBC-B0DC-4B54-82FF-2D10816BDBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"020eb6ab01a5844bb5a74b2866d41c6702f38363","datavalue":{"value":"Generalized Hoare Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680251$BFFD1EB6-14AF-4887-B087-95DEB260EF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a85f77d692a91e89078b6674a198c761bdc02cd","datavalue":{"value":"Transition Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680251$BFF74C4E-08FD-495E-B1C6-9FEF47126C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855c068770704dc268fbb353db8a9a947d99ee44","datavalue":{"value":"programming constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680251$E884E392-A537-4A25-A4C5-0CE24B820F75","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":"Q3680251$A7237776-3C56-4D8D-99A2-C320843225A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95712cd61486cce6e10eae28ff17b416268869","datavalue":{"value":{"entity-type":"item","numeric-id":3685165,"id":"Q3685165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd3cdd232cd24681d367dbca5cfd85a9f2460ea","datavalue":{"value":{"amount":"+0.9407110810279846","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":"Q3680251$F7D8C530-DF55-4E9E-978A-9ACDDF1B3CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ff84f8d0f4db8e5d356753cda328996449a307","datavalue":{"value":{"entity-type":"item","numeric-id":796292,"id":"Q796292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01565ff361f326bc4d14cf1c01294b940de2c783","datavalue":{"value":{"amount":"+0.8544421792030334","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":"Q3680251$D946568F-D05D-4E91-A686-95047603D505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3709436caebdb389c9afab90636fadf4b733f94","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8af206a797d369070016a4a4b68b1b18e0bc444","datavalue":{"value":{"amount":"+0.8453993797302246","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":"Q3680251$794E6A59-402A-4AF0-8BCA-7C74FA931F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7992c6d71b44c1d68d8fc67a1d1533e98c8963ff","datavalue":{"value":{"entity-type":"item","numeric-id":3793703,"id":"Q3793703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"689bc8b479d79c932503ecb4895773a51b2f1acb","datavalue":{"value":{"amount":"+0.83799809217453","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":"Q3680251$BCA26F30-C21E-4C5C-8E9A-06D6A9B333A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c73973295e62904ce2821e414edb1f3163c4ad","datavalue":{"value":{"entity-type":"item","numeric-id":3704884,"id":"Q3704884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed30b40de20edc667cc7a81f9511e52cd6ccfc82","datavalue":{"value":{"amount":"+0.8285620808601379","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":"Q3680251$F64A2306-FB17-46DC-A1C6-0FB50D112858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3680251","badges":[]}}}}}