{"entities":{"Q1087008":{"pageid":1097760,"ns":120,"title":"Item:Q1087008","lastrevid":69928713,"modified":"2026-04-13T11:16:45Z","type":"item","id":"Q1087008","labels":{"en":{"language":"en","value":"Systolic algorithms as programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3986630"}},"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":"Q1087008$9A70FB7B-7A6B-4686-B094-8386C4B91B07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11390b9bc4c8102557f02eb1d858c67068dafb69","datavalue":{"value":{"text":"Systolic algorithms as programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1087008$D640598C-42CA-44FA-AD32-F8F04ED36448","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9e197a0927c55944a241a15d4dc9aa854357f03","datavalue":{"value":"0609.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087008$78A4185B-3AB8-4AC0-BBF1-2D4ABF3723F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab135961a65fc82040d8a42ed40f6ce08ec9a9e4","datavalue":{"value":"10.1007/BF01661171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087008$3874A701-5B18-4EA5-9698-9A754089AB6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"613df68fa62667b65d3e5e1997bd8d1766de280b","datavalue":{"value":{"entity-type":"item","numeric-id":239148,"id":"Q239148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087008$0340265F-CD04-435A-9C1A-357C3FFFDDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68a16c5cbfcd2b4f037f5d1ee5ded1c873b2444","datavalue":{"value":{"entity-type":"item","numeric-id":239151,"id":"Q239151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087008$17CE4BFC-E858-4081-B318-EC9779A7307B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087008$69475D79-040C-4132-A3F4-E96389BF2A09","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":"Q1087008$A30F4087-8CAB-4C72-A169-9FB8BA0C1DF9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1f52761bb186f40da14e9a142d4aff10033b4486","datavalue":{"value":"We represent a systolic algorithm by a program consisting of one multiple assignment statement that captures its operation and data flow. We use invariants to develop such programs systematically. We present two examples, matrix multiplication and LU-decomposition of a matrix.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087008$2B265D41-C9F1-4F35-AF7A-5AB6936E16A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087008$1CBC95EC-AD1E-4D26-9EEB-07979944BC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72309745094959b676ca20810c7af21a33fe24b5","datavalue":{"value":"65F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087008$E5114093-8773-4A77-8576-7285EA341311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087008$FFFC97FC-3DCF-400A-AEEF-00839386E36C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cf4e2eb59096892f0102b058fa77a1aa1fca963","datavalue":{"value":"3986630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1087008$06B4756F-7E17-4FA6-8EDC-97AFE57D5A10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087008$319616B4-564D-4FC8-AD4F-CDA35000C763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fca24df52ebb1d1cb643bd3c3940bc3a93324e","datavalue":{"value":"proofs of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087008$A28F922C-D244-45EC-BA3D-1313BC67F997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53254b52784df7b3aa27f6e0ca1fa2185e509a15","datavalue":{"value":"multiple assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087008$49C2E2CB-1235-4B68-B1D7-2C55E17D560A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087008$6B7FBAF2-BDDF-4693-9492-02E11B73F18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de71a87004b2cb6be9dfb83edd24b279968af4f7","datavalue":{"value":"matrix multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087008$D8A68CE8-7ECC-4398-85F7-82097EC7C903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa77f765988bb1cf46a7229bb942f6a9f3bd28b1","datavalue":{"value":"LU-decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1087008$6065DBCA-A949-4D21-A40F-A3D5DF2712F7","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":"Q1087008$204598E3-5A21-4E10-BFEA-933DADF30D4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b2204ffccb35f1959b407926f73c42e777e379","datavalue":{"value":{"entity-type":"item","numeric-id":3732953,"id":"Q3732953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087008$E6C9ACD1-4C5D-49D1-A113-31DBAE1DDA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed64b75b2887a7d966c6bcd5a5a28fd54ded6bb8","datavalue":{"value":{"entity-type":"item","numeric-id":3690226,"id":"Q3690226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1087008$8B313D25-2E0C-4A65-80F5-44B58ECA25DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c307a00ac9b955d485529b86677f646981f89b","datavalue":{"value":{"entity-type":"item","numeric-id":3826106,"id":"Q3826106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36940ac8c0bbc636fdbd7fe3ee39b8e87859f854","datavalue":{"value":{"amount":"+0.92451406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087008$87F7DD9F-0377-4D54-9DA6-5CED82DE6BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e00a3c3d445c1a8c0da946dd0105a8cd3c297c","datavalue":{"value":{"entity-type":"item","numeric-id":4003285,"id":"Q4003285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6d7df3b8c3bc8e10936c678363447f681f8ee0","datavalue":{"value":{"amount":"+0.91575927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087008$3CDF22DE-3E42-4AE2-B091-75C531F3278F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24c73b5a38d06980c8a242b4e9d77338836f1a6","datavalue":{"value":{"entity-type":"item","numeric-id":3675516,"id":"Q3675516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee686b15aeb35b0824a243d2aad5a6dfd4c0e4a","datavalue":{"value":{"amount":"+0.91575897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087008$AAF57E80-9451-47E5-84C9-1FEE11DEE532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a33b573c1474202652d2bb00e28d57b89f3446","datavalue":{"value":{"entity-type":"item","numeric-id":3806805,"id":"Q3806805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee686b15aeb35b0824a243d2aad5a6dfd4c0e4a","datavalue":{"value":{"amount":"+0.91575897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087008$79A05148-6415-4CCD-9F15-A22E6FCDF714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8223875fede01272f1b44635e3ae1dd2df5b879","datavalue":{"value":{"entity-type":"item","numeric-id":1324387,"id":"Q1324387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c766ad6f853ee7992a850abf1d285ba76ef2414","datavalue":{"value":{"amount":"+0.89763784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087008$6B9A2005-468F-4A50-9F74-FA2610FD68BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64664646206a3e00c2e6ceadde681068aaa1d0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3989775,"id":"Q3989775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafbce9e9a28e2c4bbc02df34b15d6c2c9c87b94","datavalue":{"value":{"amount":"+0.8954672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087008$7E6DFBE9-F191-409C-A91A-7EC75F0418D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb405dc8bc1f6107a73326a459410c1bc7d32d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4023844,"id":"Q4023844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4b7141c34f166cc62f8861600544e307012c77","datavalue":{"value":{"amount":"+0.88655585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087008$86AA1BDC-F095-4C14-8B65-0BC3CADB5D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af13cf98723e1073762b38abb6ca0c5cce0370a","datavalue":{"value":{"entity-type":"item","numeric-id":3474879,"id":"Q3474879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1865a51f861c45b7fec248227a54e2790cf861b6","datavalue":{"value":{"amount":"+0.8833081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087008$63676421-50E0-4945-AE9B-701B5C2FAF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6096a5122cc2cf805e831938ebd254f3f7133ce8","datavalue":{"value":{"entity-type":"item","numeric-id":582070,"id":"Q582070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffcb9240b769da1ec240913604129f8a24d3aec6","datavalue":{"value":{"amount":"+0.8800845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087008$FA081D89-2103-42DC-B908-D654C36E94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88ad936c2e94436132c5fa9b68d874ea25d4b814","datavalue":{"value":{"entity-type":"item","numeric-id":1096393,"id":"Q1096393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c16f88949dee8a794bacc2d506e2f22f5489b2","datavalue":{"value":{"amount":"+0.87589455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1087008$F800285B-C059-441D-8E0F-B8A658A431C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systolic algorithms as programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Systolic_algorithms_as_programs"}}}}}