{"entities":{"Q1201948":{"pageid":1212697,"ns":120,"title":"Item:Q1201948","lastrevid":66859932,"modified":"2026-04-12T13:21:10Z","type":"item","id":"Q1201948","labels":{"en":{"language":"en","value":"PEI: A language and its refinement calculus for parallel programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 98853"}},"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":"Q1201948$850A6C6E-540E-47B2-B66A-B9C964F271BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"076c4ce7fb7678a3003d61dfa011ed692f6581e6","datavalue":{"value":{"text":"PEI: A language and its refinement calculus for parallel programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1201948$A3CDE18E-7C9D-4F45-8BC2-5CA2F8A159FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8d2ffd5f109ce45d5c27487462617e09c823713","datavalue":{"value":"0795.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201948$FE4FD674-C35C-4424-8014-A58B8C895526","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ad678a7d7e9635f1dcb4ba37998bdefc69cd22f","datavalue":{"value":"10.1016/0167-8191(92)90063-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201948$B9DA344F-233F-48BD-AC4C-207135771A98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3661c37036021a321fd9583a2cbce548a32b247","datavalue":{"value":{"entity-type":"item","numeric-id":1201947,"id":"Q1201947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201948$262E3A84-9A8D-4EF2-8270-A105D4864550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a97f1e81afec94ebdcae3d080675f2d2cb4a7c89","datavalue":{"value":{"entity-type":"item","numeric-id":1323381,"id":"Q1323381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201948$41A41368-3FD8-477E-B8E6-F65EBD925476","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eeac13f60c55bdb04ecb49274cc7b24a1688345d","datavalue":{"value":{"entity-type":"item","numeric-id":71527,"id":"Q71527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1201948$13A23E86-002D-4CA0-80A8-07545AE22A35","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":"Q1201948$BEDC4634-9FFE-4500-96EC-B53B70BF2FF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201948$A94B0CE1-C42A-4C20-A8F6-F52EAF569177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201948$424C9A61-B5F5-4171-87B5-87F1BD38186B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36cf3ef8246475a14222efd805724e734e9c316d","datavalue":{"value":"98853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201948$0704BEA2-2068-4117-AB57-192EF445FB89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3ff55a6d80cdfe759100a39ea538f07060c244","datavalue":{"value":"recurrence equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201948$8EFF2D8C-C7DC-42D3-9BC1-F6F1493120F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201948$C9E2BF0F-EDB3-4A0A-8E8F-4A331FFEAD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"863d2cad60955956beaadb86db6cecc9b210d8bb","datavalue":{"value":"systolic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201948$E7F2C016-7924-4F06-ABDA-339597AFE548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f70731a6393fafc48cfed4170e869f069a0e76","datavalue":{"value":"parallel architectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201948$A263412B-B10C-4FDB-B953-DB7DB87B9C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201948$46D9EEAC-1F7C-4BD0-B19F-068E5010357B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201948$60DE51E6-CC0B-4A0B-AD02-FC9999D99A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ca849669ced66bb03fefdf6850d020f88a44e8","datavalue":{"value":"parallel equations interpretor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201948$6FCFB6D1-EC24-434F-8CD1-9DFABC4056D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48d587a90036e45b61deb0eb1292b9a5afe284f4","datavalue":{"value":"program parallelization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201948$42CDAB91-9E4A-4D62-88BE-F826C5FB94F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68826237070d2d1c2b5d712c4e20cd2334f96592","datavalue":{"value":"asynchronous computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1201948$7C6D0892-3F3B-44B7-9A3F-AB12DA4E84C9","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":"Q1201948$594655E8-8190-4AC8-8921-59A5CF1CF12F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f72fa304904453bd4bea7a35dfe05c37ef6edebc","datavalue":{"value":"https://doi.org/10.1016/0167-8191(92)90063-d","type":"string"},"datatype":"url"},"type":"statement","id":"Q1201948$B0D00ACB-76FE-4B87-95B3-D3A57BB2F7E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e11e111c5b0daa7e7eff104a65421ced7761742","datavalue":{"value":"W2078615239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1201948$E164256D-6110-4AE7-9DE0-0236B376AE9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c0e45fafbf3891ae058b0cd8e797b5e1862aef","datavalue":{"value":{"entity-type":"item","numeric-id":4536985,"id":"Q4536985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5147eb98c520bf35003988e187277c86a90c03","datavalue":{"value":{"amount":"+0.780174732208252","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":"Q1201948$CA403D15-64CA-4A3A-8D73-3CBCC24E2B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0c6525db9eb5dbbfeec97f5a68c7541af1e32d","datavalue":{"value":{"entity-type":"item","numeric-id":1402468,"id":"Q1402468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70c5d3d060f70a5394f523cb83e827239d26ac0","datavalue":{"value":{"amount":"+0.7616356611251831","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":"Q1201948$165F8532-B18C-460E-AC81-D42DD27D7697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826c0c2029760b1fefe658b62541d45405bf5014","datavalue":{"value":{"entity-type":"item","numeric-id":3742697,"id":"Q3742697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70c5d3d060f70a5394f523cb83e827239d26ac0","datavalue":{"value":{"amount":"+0.7616356611251831","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":"Q1201948$F4A2C16E-7D08-4EB0-9BBD-9C6F41E09302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a8f128376965d47407ab827a33e097d7c01e7d","datavalue":{"value":{"entity-type":"item","numeric-id":918204,"id":"Q918204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02013b1f9bde7b1469c78dca7d9e1b757a942f9a","datavalue":{"value":{"amount":"+0.7441702485084534","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":"Q1201948$3EDF0F27-1111-4389-9DB5-6EB4F007D14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a7cea0a158b8d632425ab29a4d0e58b028e5416","datavalue":{"value":{"entity-type":"item","numeric-id":3614664,"id":"Q3614664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5500736605e28ec0ba18afa40e9727ff0401f5f3","datavalue":{"value":{"amount":"+0.7419044375419617","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":"Q1201948$4BD9C581-5526-47AB-9F62-3ED88547D5D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PEI: A language and its refinement calculus for parallel programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PEI:_A_language_and_its_refinement_calculus_for_parallel_programming"}}}}}