{"entities":{"Q918204":{"pageid":920052,"ns":120,"title":"Item:Q918204","lastrevid":65370981,"modified":"2026-04-12T02:07:25Z","type":"item","id":"Q918204","labels":{"en":{"language":"en","value":"Stepwise refinement of parallel algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157882"}},"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":"Q918204$CBB24F85-4B64-4C77-9E9A-92BE4E300CDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"639ee1db5ee85be733a985dfdfcbed575ab5a043","datavalue":{"value":{"text":"Stepwise refinement of parallel algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918204$044E1F80-86CB-4687-80CF-559748D2D038","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d49fdd9093930faffd97ee2eb110aba4b3bde62a","datavalue":{"value":"0705.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918204$0AA23778-DDC3-46FB-9A6E-721568C90330","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e7e56eaedfad525e93ba08f97e4a7e1bda570ea","datavalue":{"value":"10.1016/0167-6423(90)90069-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918204$F43D70B8-D23F-4A49-BAF0-18C6493AB0B9","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":"Q918204$333F6684-2641-4A1B-B5D1-01ADE9393A1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q918204$1191E49F-DE7C-4758-BB79-47AEB7FEC5B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918204$E4C49195-2E79-4CF5-BACE-2770860FE37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918204$B235AB0D-DD2D-4CF9-A443-B2CA5C70E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918204$03A491E8-4B01-4FA7-BF1F-605E4E563822","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6605018273e80239ce1a33c820a91ece52346067","datavalue":{"value":"4157882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918204$4EB812F9-1FA8-40F1-87AB-459421DB77DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q918204$EF433928-7D7B-47EC-880C-4BADCA957230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q918204$D2095647-9DC0-404B-BE77-8D151B7F6314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf0c3a8ffa097d68c5856f178b52d69a19c4fb4e","datavalue":{"value":"action system formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q918204$A76CF7D6-096A-42BD-8105-DBD9B4A1E8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q918204$7B548C66-A183-4B09-A318-88FC22475946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q918204$F6135845-8223-4505-8B8C-DB7687FD6EB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918204$27232BCA-C505-42CA-95C5-7DE2A55A4474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d278fd67d09f86bc1ab493525cdc641c0299f77","datavalue":{"value":{"entity-type":"item","numeric-id":172356,"id":"Q172356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918204$07642A4D-FBC6-4240-94CE-9CBABEB4A668","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":"Q918204$6986506A-132C-4C0A-AC69-E8FF35A2BE8C","rank":"normal"}],"P1643":[{"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":"09fdfa086f40b33e331750f957721eecdcaf82fd","datavalue":{"value":{"amount":"+0.8794202208518982","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":"Q918204$3958CCD7-E84D-47F4-9CB9-F15D6DF8E667","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":"933559bf01959b0e3eda1d6d51e4a8fe396bc852","datavalue":{"value":{"amount":"+0.8190945982933044","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":"Q918204$D6E1FCFB-3E88-4159-B5A9-D51713521470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df8f8ef4f085d34f07190e34a28aa2d083a0def","datavalue":{"value":{"entity-type":"item","numeric-id":3798222,"id":"Q3798222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933559bf01959b0e3eda1d6d51e4a8fe396bc852","datavalue":{"value":{"amount":"+0.8190945982933044","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":"Q918204$39FAB699-6BBB-4591-8ED6-3A6C9A5602FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9844b05e308def465a9b3e19bd9c8b59fc276dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4028640,"id":"Q4028640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfaa038d4d05fe80f873b2e461565723970eba74","datavalue":{"value":{"amount":"+0.7920978665351868","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":"Q918204$370070D6-DDA7-40B1-8B44-905D64960708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5fe7581e1bf1a666e5ab127c4d7ea41349f2271","datavalue":{"value":{"entity-type":"item","numeric-id":1386406,"id":"Q1386406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfaa038d4d05fe80f873b2e461565723970eba74","datavalue":{"value":{"amount":"+0.7920978665351868","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":"Q918204$2652B2C1-ADE0-451C-B29B-7BD3B94CFFE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stepwise refinement of parallel algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stepwise_refinement_of_parallel_algorithms"}}}}}