{"entities":{"Q796292":{"pageid":798140,"ns":120,"title":"Item:Q796292","lastrevid":64404975,"modified":"2026-04-11T19:38:26Z","type":"item","id":"Q796292","labels":{"en":{"language":"en","value":"A proof technique for parallel programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3864475"}},"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":"Q796292$3F3BC7C8-B001-4353-83F5-FA8DA83E9E9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50e11542b1fe8d1500f70fafa052a8d8e6becbf6","datavalue":{"value":{"text":"A proof technique for parallel programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796292$47503F7D-54E3-4537-9A34-D08017A3D7BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9036b1b5f79a0d23e72f5addab03bd6891897f1e","datavalue":{"value":"0543.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796292$D84BDC4E-6828-480B-8060-414029C5979A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cd1334f149c6c0349834140e2285b076e051d93","datavalue":{"value":"10.1016/0304-3975(84)90122-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796292$98864B8F-4AF4-448A-9113-EEA4769896BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97ed3b0664441e8d880d927898de01db2ab18f95","datavalue":{"value":{"entity-type":"item","numeric-id":796291,"id":"Q796291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796292$46DFA149-2CCA-454E-A507-97464625E4F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796292$0E10EF23-1DBF-417A-BF70-913CA9046476","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q796292$15A5465F-08EF-4865-AEBE-19722A5CAA46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796292$56EE48DC-C0BE-4410-8356-1747BA97F4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796292$200C0A66-700C-48A4-BC18-AFA816D0840E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edc6d855c5b5ca2c2a7ada7216c16c312007b9a1","datavalue":{"value":"3864475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796292$60F4581C-12EF-4DD6-9F22-3E14CC4F7280","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea032f14678abd54b0d55af14fe6fe1fdae52549","datavalue":{"value":"correctness of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q796292$23A6B1A9-4E2D-4636-8ED4-33168FBE4BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e133e4f20b19e392a1a20eeb9a3f45389fa55c","datavalue":{"value":"axioms and rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q796292$09F467ED-05B2-4C0F-87D4-C8DA85F7A1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86807b9fd79145a6e27db0f6f1532fba342ba890","datavalue":{"value":"shared variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q796292$F86F18A9-A786-4CC1-AF21-AEC051CC1ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q796292$BAB7853C-4823-4B2A-A90E-41F9F02F0290","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":"Q796292$A50D49B7-D26A-4C0B-9171-1B42EA02619C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e622f7ad8224fc169407db9901edd94ea722e941","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90122-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q796292$BB5CDBF0-02E8-44D6-A7CA-FE200CBEFA58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb0844beaca695917a9e663fb45aceda55ef1359","datavalue":{"value":"W2048147294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796292$89CCBD9D-86A8-401E-B2C8-C6653D51C962","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796292$3B6EA65C-870C-46FE-9756-00D6006F8EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796292$B32EDAFF-B200-451D-AFFF-D3A0EA3580D5","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":"Q796292$1A7B9DA2-BD67-42B9-8F5E-29F6AAD9748F","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":"c1bc666dc5657efb79df189146f1d81405e97327","datavalue":{"value":{"amount":"+0.8744028210639954","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":"Q796292$E7E22DA2-C211-463E-A0BA-72E0080E74E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"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":"Q796292$77302874-DFDC-4E51-A74D-8DAE0062B944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f03e70e2fc3cb2a69ab742ea0b9e2acba88f63a","datavalue":{"value":{"entity-type":"item","numeric-id":4698369,"id":"Q4698369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fe4b351641eae76f42c16adf529a3e3c3ddc85","datavalue":{"value":{"amount":"+0.7858495116233826","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":"Q796292$FC0157F4-AE1B-4A2E-979B-93EE73EE3542","rank":"normal"},{"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":"592c490b74b0c637b5f373ea048d2d32b2a242c6","datavalue":{"value":{"amount":"+0.7851769328117371","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":"Q796292$61B3AD8E-5F51-4366-B4FF-B50353CE82EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3ba2e6e5e1361ace684e95aec0deebe8844a28","datavalue":{"value":{"entity-type":"item","numeric-id":1059388,"id":"Q1059388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a044aad3df8b556411baf4296d096245a49498b4","datavalue":{"value":{"amount":"+0.7822131514549255","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":"Q796292$8AFC6BA3-73FE-4536-BDA0-FEB7AAC66327","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof technique for parallel programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_technique_for_parallel_programs"}}}}}