{"entities":{"Q3338117":{"pageid":3348825,"ns":120,"title":"Item:Q3338117","lastrevid":87981608,"modified":"2026-06-04T13:19:47Z","type":"item","id":"Q3338117","labels":{"en":{"language":"en","value":"A Mathematical Model for the Verification of Systolic Networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871203"}},"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":"Q3338117$F94D80FA-D56D-4E54-AF75-CE6453704A7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22ed0ecd8e2d055ca9d2e0257c18b4130dc78142","datavalue":{"value":{"text":"A Mathematical Model for the Verification of Systolic Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3338117$ADC39CC8-F1BF-43C7-BD24-455B5C2A4BDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26511847b5467ead9e94710737b500feb9aafac9","datavalue":{"value":"0546.94031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338117$55727392-2EBF-45F1-8BF6-BA6DC28732E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e502fdf71047dad893c4b8136a6e586d5d63486","datavalue":{"value":"10.1137/0213034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338117$5DE6DD47-1FC9-48D5-85D6-C82E719BA883","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338117$AC8FDA37-C965-4208-87FA-9BF947FF7DA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3338117$FE483661-E4EF-4F76-BB00-CDCD228750B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338117$B381DC23-972A-4AAD-9F9A-8DADCF4BAF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338117$2AA32560-A813-48AF-B9C6-1C727DC8DDD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd58070a60a799445a4f3e3a6fe7b8c7d72a14df","datavalue":{"value":"3871203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338117$2DB1539A-430A-466E-87A8-F14CBC980697","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9498529d5282f4c25f47fb2340c09cc1bcaa905b","datavalue":{"value":"causal operators, VLSI","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338117$1722EB13-16C9-40D6-BC39-8A7C1618AD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aa85984b36f72876de1dae7e020bad432ffda3f","datavalue":{"value":"mathematical model for systolic architectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338117$48CB83DF-FB9A-4F24-9D30-B45B289CA98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bac76556838fec74747b483905bc212390269ca","datavalue":{"value":"systolic networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338117$C6766594-75B4-482D-96DD-3953080493DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63d332e3d7aaf1e6adbd1589aecee8c03a6b6c0","datavalue":{"value":"data sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338117$7944516F-8CA3-43D5-AD6E-C3BAF8AF3D62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bfc09f416a15e699bf32e08ac6a9287135f8e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1162114,"id":"Q1162114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338117$7911EE7E-34C1-46D7-B4C0-5FFEAE0335E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf60eb758fbdd16df7bfbdb22d5347b3d509f32e","datavalue":{"value":{"entity-type":"item","numeric-id":786515,"id":"Q786515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338117$712ABA6E-56D9-4F0B-9713-6B516C14B7B5","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":"Q3338117$ED09DADE-94DD-4EDB-9F75-1924A85111F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d28ff69bd6d6b5519ba8369407816a17c81c98ec","datavalue":{"value":"https://doi.org/10.1137/0213034","type":"string"},"datatype":"url"},"type":"statement","id":"Q3338117$10F12640-6DBC-45D0-A5D1-32B026B0F89F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a98c858258029731f5c389abddc711519ec5f366","datavalue":{"value":"W1964875728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338117$E21EE221-E725-43F7-9A1F-F251DA522D89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbf1aa26da3c5a2244eca3dd4565bc076a94f4a","datavalue":{"value":{"entity-type":"item","numeric-id":1102099,"id":"Q1102099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152e1f6bad0db11beb0a47d2af615d8a84ca002a","datavalue":{"value":{"amount":"+0.7807875871658325","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":"Q3338117$ADD5B4C2-23F9-4523-A6A0-4F0E44697298","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":"17b5f6b76d1b842c1e395f982d4a807f5f681dea","datavalue":{"value":{"amount":"+0.7712357640266418","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":"Q3338117$4B793EB1-C116-4FC0-8B3E-E24E11D16C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d310bcd37b5c5261357298e0a0db6aa6a80a174","datavalue":{"value":{"entity-type":"item","numeric-id":1064789,"id":"Q1064789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2f52510aca3f7198fc0f181364a4d5e30ac13e","datavalue":{"value":{"amount":"+0.7472819089889526","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":"Q3338117$C83BDC5E-6674-42A1-82F2-B0296073C226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abaa13aa67ab48419e2c3b1d5e20161a334a9430","datavalue":{"value":{"entity-type":"item","numeric-id":3792219,"id":"Q3792219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d3524ca270c05316c089ed0e32b6d5d3f3ed8d","datavalue":{"value":{"amount":"+0.7382253408432007","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":"Q3338117$8DE04BB8-1AA1-4103-A834-D34BEBFCCC5B","rank":"normal"},{"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":"e42af91b500a025f3ee5b940ac9efbd17a265962","datavalue":{"value":{"amount":"+0.7293791770935059","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":"Q3338117$F89656AE-081D-4DB7-A666-1552C26F1BE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Mathematical Model for the Verification of Systolic Networks","badges":[]}}}}}