{"entities":{"Q1199832":{"pageid":1210581,"ns":120,"title":"Item:Q1199832","lastrevid":66854886,"modified":"2026-04-12T13:18:28Z","type":"item","id":"Q1199832","labels":{"en":{"language":"en","value":"Derivation of concurrent programs: Two examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96053"}},"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":"Q1199832$EE5C6756-8741-445F-9F8B-A042EDD7A5C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00d2b418e7bf3abc692d22b577523073a9cc654f","datavalue":{"value":{"text":"Derivation of concurrent programs: Two examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199832$2BF67681-6889-42FE-8B32-672F694C56A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efdcfcdd0a2e3397ce2aed4a3565412909818ba8","datavalue":{"value":"0754.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199832$BAB4DD64-BE0F-4FF3-854A-FCAD58DD9866","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ba18e5c1f7882e4f18b1fcc9eedc012b3fbebd5","datavalue":{"value":"10.1016/0167-6423(92)90002-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199832$7F828DCD-8318-4E28-A7FC-989530CED039","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc6f4391429862cb53a5b17de9747a6a3bbf620a","datavalue":{"value":{"entity-type":"item","numeric-id":909440,"id":"Q909440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199832$46E24DCF-3E09-4E2D-A881-335D3B44C83A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199832$55F7A945-FBCE-49E6-8D3F-D1628BB7BA6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199832$FF386E8F-F751-41FC-9620-5F7656334D85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199832$9D7B92E2-F223-4F8C-AC67-DE40540B0150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199832$B7D44045-8A0D-4462-95CB-18DDE31BD41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199832$57FB843E-0F47-4096-BD13-A3AE2B1217E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85e916174b381fde612d4b50f9e6fa6bbffb3684","datavalue":{"value":"96053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199832$E8959422-07B2-4DC3-9808-E0A409DE75D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199832$AD372BEB-6B18-4C3A-B68F-5F1868CA6CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae86194f189c45847e311afd40239df085d75e62","datavalue":{"value":"parallel linear search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199832$423DC131-F7F7-4292-B241-22C2F0B638C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7e49309dbd40749b970f9d674e84ca6c847277","datavalue":{"value":"asynchronous fixpoint computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199832$BA6E60E5-02CD-4B24-A8C0-D5806C11086A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60d42e91de99fe11997bad681488e8bd62efdfd7","datavalue":{"value":"UNITY specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199832$F82BE884-8E1B-48FD-9918-AE80BC91C427","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":"Q1199832$40B59A1C-4280-48EE-9366-685255D61AAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70704ebd21171ba998db59f14159fc664cd1d07","datavalue":{"value":{"entity-type":"item","numeric-id":4028369,"id":"Q4028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb85b638578d10dba66002a70c2d16ded92eb43d","datavalue":{"value":{"amount":"+0.7908219695091248","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":"Q1199832$72D1802D-226B-44BF-A7F0-6FBE9B2A2967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d9491e3e25286579578773354e0969c18f68c","datavalue":{"value":{"entity-type":"item","numeric-id":1903074,"id":"Q1903074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f112bf92593e047c4a8ffa48e7c5fc6ce6acdbc","datavalue":{"value":{"amount":"+0.79082190990448","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":"Q1199832$8A25D3A5-393D-4FAE-B77A-5FF9EE9187E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"135f7a0031c0002118754e31fdf0b810129803c3","datavalue":{"value":{"entity-type":"item","numeric-id":5096396,"id":"Q5096396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0588a90e94d19b0808556d418e48a89213213be2","datavalue":{"value":{"amount":"+0.7789769768714905","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":"Q1199832$37A76A74-813A-4B13-9F0E-045C61C737EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396ece4d234662cd2cb27aa2227f29299c7d8022","datavalue":{"value":{"entity-type":"item","numeric-id":919839,"id":"Q919839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f47f5b759aecfaf4ed3050e3562cc0179a792e","datavalue":{"value":{"amount":"+0.7767860889434814","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":"Q1199832$81F44649-0183-49F9-9ED6-310D03B8135F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4fdb3b7f81e72f9966371d5c7adfa90ead5938","datavalue":{"value":{"entity-type":"item","numeric-id":4364526,"id":"Q4364526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb9d3af2798bd669bd9872aea65c77dca6e6d30","datavalue":{"value":{"amount":"+0.7765982151031494","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":"Q1199832$03262AD2-103E-4A60-A164-77CE884D611C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Derivation of concurrent programs: Two examples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Derivation_of_concurrent_programs:_Two_examples"}}}}}