{"entities":{"Q5950718":{"pageid":8127520,"ns":120,"title":"Item:Q5950718","lastrevid":47712535,"modified":"2026-01-02T12:22:39Z","type":"item","id":"Q5950718","labels":{"en":{"language":"en","value":"Correctness of dataflow and systolic algorithms using algebras of streams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1682149"}},"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":"Q5950718$7E2917C1-3F26-4F12-95A4-084BED067C5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86d088894aaa57085ec819daf008119cb304c210","datavalue":{"value":{"text":"Correctness of dataflow and systolic algorithms using algebras of streams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950718$68579818-FF55-4208-803E-C42EB5E6ADE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71c23616bd8c8a82d71c5aaaca815ca031bd09e3","datavalue":{"value":"1032.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950718$ABC10AE6-E4FC-4297-9E9D-7C4FBC16AFDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4533ff6916e462912d59f5e3135008f1ed76b211","datavalue":{"value":"10.1007/PL00013322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950718$47CB9E6A-3CC7-4ED4-969E-E62CCC21BA60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac0321a6b6d5d899ea1927f671b46847c41412c0","datavalue":{"value":{"entity-type":"item","numeric-id":671656,"id":"Q671656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950718$98654A1D-B8B5-4A14-9A05-20037579B9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4ec5efe6a019f0f43d27add0ac0e9917393300","datavalue":{"value":{"entity-type":"item","numeric-id":218988,"id":"Q218988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950718$A537992F-699A-4B0B-B371-079B62CE0F06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950718$978D0169-0E46-4826-9C57-3C312A8B1268","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be3408172cb7c4f5c35f2c1bb457af9e14f903e6","datavalue":{"value":{"time":"+2001-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950718$A74B7E1C-6CB7-4709-9D32-E3E48D23AEBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950718$6FDBC09B-DB5D-4563-9863-0EEFE0EE5012","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5779c36b539ff512cf192c6055d48faab8b812ba","datavalue":{"value":"1682149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950718$28A90B9E-3AEF-40AA-A39F-0BD8E1D5FEF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950718$16FD174D-BFA0-4911-AA58-1AE81EDC17FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aef9cb1028209d6da22d3cfc31dc6cbb5cb405b8","datavalue":{"value":"verification of hardware algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950718$AF9FDADF-A237-48EC-917F-EC21D96AF3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7d7a040c2bc0a4d23400d39be3e5a020dcba96","datavalue":{"value":"second-order equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950718$0BFD8EB7-0199-4E80-965D-2D875404F62A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950718$1FAF7CB3-3023-4759-8591-A9257DE9FA86","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":"Q5950718$1875E2E9-7592-4C4D-B991-A681F941CAD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00c02f63fdccd286bb345da85e5c31be7cd27a5b","datavalue":{"value":"https://doi.org/10.1007/pl00013322","type":"string"},"datatype":"url"},"type":"statement","id":"Q5950718$9877B5D2-E445-4C48-B74D-DB2E36A11F7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"309769dc3ff55956edd6949e4968e295486cd57f","datavalue":{"value":"W2042673744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950718$A0BF0E81-F634-4C7C-8F28-147F63F74623","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc82ddf8e293b54268becba9cebc82e2273a9f7c","datavalue":{"value":{"entity-type":"item","numeric-id":1123588,"id":"Q1123588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749cf029016e0eeeda3bbda30d980ecf3eb1660c","datavalue":{"value":{"amount":"+0.7449418902397156","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":"Q5950718$7D5CA844-067E-4A56-A7D4-D695E9C13F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2ab0491b7d9816433afa6b5506c16c1350e0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1426058,"id":"Q1426058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18ee4f0a781a524ed4d5bd388aa200a9aae494e","datavalue":{"value":{"amount":"+0.7424678206443787","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":"Q5950718$CA9B300A-50B2-418E-8D28-DACAA3701A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a2f4fd7a181a478798bb902733ace0f2e51962","datavalue":{"value":{"entity-type":"item","numeric-id":2500698,"id":"Q2500698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6197d6f5f362891c35cd2c0e59c790c8603a0acb","datavalue":{"value":{"amount":"+0.7415589690208435","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":"Q5950718$C8979ADA-010F-446F-ACFB-CC9B4C0316BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"029c5258001484b5db028f67c70e78f8a93ad1a0","datavalue":{"value":{"entity-type":"item","numeric-id":1189257,"id":"Q1189257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850c55e7c67881dd7c74b49fb002e597ae51ee68","datavalue":{"value":{"amount":"+0.7123363614082336","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":"Q5950718$3BA1B856-32D3-4870-AF98-37ED157422ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea122c703cb7f270981ca4c44840167afb7e9d89","datavalue":{"value":{"entity-type":"item","numeric-id":4520833,"id":"Q4520833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de346637cdeaf5eeecd90d4345ef36e5f8435b51","datavalue":{"value":{"amount":"+0.7056958675384521","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":"Q5950718$CBE01B3D-9956-485F-86B7-4A7FA8C87164","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5950718","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5950718"}}}}}