{"entities":{"Q3727371":{"pageid":5757277,"ns":120,"title":"Item:Q3727371","lastrevid":50771039,"modified":"2026-01-15T02:56:53Z","type":"item","id":"Q3727371","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3958718"}},"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":"Q3727371$3C6EB00C-C11D-4FA2-8FB4-C8EB19A58024","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd3758debd1e39291ef084340a1d8e77b7ea2b83","datavalue":{"value":"0595.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727371$5B905FAE-68DC-457F-945C-FE2D4E27FF12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3727371$D96849EE-4BD5-4CCA-8C1D-C682858646C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727371$E78905C5-525D-4656-9481-06686C025B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727371$D4BCFEF6-B91E-419E-AE63-E9C211FEA87A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6202e7131af17fac240775bca81f069e95bf2f61","datavalue":{"value":"3958718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727371$3FE2AF45-0BE7-4A43-AC73-A06B1269890B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dbac7cccfd6da0c245fd36236a42328d9e423ef","datavalue":{"value":"logics for concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727371$078845FF-C1F1-40EF-A33B-20D045C6BA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727371$100F47AB-73C7-4631-A6B5-4DC18DE3FF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e102df02895b129c21753a8e69ae577c99161372","datavalue":{"value":"parallel while language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727371$C51D277D-F69F-4254-B719-4CD5A2152C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727371$69619F43-8957-4741-9614-C4A305510429","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727371$66893980-AEE8-4284-A10E-6317D67D01BD","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":"Q3727371$D24D599D-3C9C-48A6-ADB6-2394CFD6B8B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec691ca6b94f8362541f7a20d08563e9b7b24d68","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882c02eef45d5a10aab450b7879f393ca7d8c14a","datavalue":{"value":{"amount":"+0.8599500060081482","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":"Q3727371$6637BD53-E876-49C4-8AB7-EC22A7A7D682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed9f18728efbf178c12c394f7c72ef61968d349","datavalue":{"value":{"entity-type":"item","numeric-id":1122978,"id":"Q1122978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ffe58d093895ed5eaf47ce4ab7258fabf991c7","datavalue":{"value":{"amount":"+0.7494326829910278","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":"Q3727371$43E2672C-53E4-45F1-A65C-F733D37177B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580d88c695e564f75837432b6f488bd75e374497","datavalue":{"value":{"entity-type":"item","numeric-id":3321433,"id":"Q3321433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486716799e03a5802e9f7d59013e8cba4fce7b22","datavalue":{"value":{"amount":"+0.7289350032806396","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":"Q3727371$FBD7B1DC-6335-4676-ACFF-87B6D08BA616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15550048ec100b0ac08a48917269be3b2a46f1b0","datavalue":{"value":{"amount":"+0.7272115349769592","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":"Q3727371$F3B74863-79BB-498B-B33F-A861E7EADA74","rank":"normal"},{"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":"f36bde4a135b4c87e7ccde1f65741af89975b977","datavalue":{"value":{"amount":"+0.7235908508300781","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":"Q3727371$CA2139B6-798A-4775-9369-9DA2053DC2F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3727371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3727371"}}}}}