{"entities":{"Q3690225":{"pageid":5720131,"ns":120,"title":"Item:Q3690225","lastrevid":80943656,"modified":"2026-05-06T17:21:28Z","type":"item","id":"Q3690225","labels":{"en":{"language":"en","value":"Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3913683"}},"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":"Q3690225$BFC9C9E0-3640-446C-826A-0637F0E14EF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5fe522cc81fbb721c63efd7c68ccb68321397cb","datavalue":{"value":{"text":"Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3690225$6CC0E3E5-D5A6-461B-B96C-8A877B6CDF6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55dd283c8b59eecca9d9c6c769b04491283264e3","datavalue":{"value":"0572.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690225$D60E1BC7-683A-4907-A030-D559E154EE0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13fbff131e476c3f237c76a6e885c90c4f846637","datavalue":{"value":"10.1109/TSE.1985.231871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690225$7253E7D3-801B-4F48-ACD2-A70F5E7C44BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9999f2d65f021f64a244af30c390407c83819436","datavalue":{"value":{"entity-type":"item","numeric-id":3690224,"id":"Q3690224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3690225$E25560D5-A6D0-4FF2-9DD1-9F3370C60913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54a8b527177245beaadca05f10fe7026f602d89b","datavalue":{"value":{"entity-type":"item","numeric-id":701150,"id":"Q701150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3690225$C10F0C8A-622C-411F-8589-3CFCD64CDF91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3690225$96A1A046-4E77-4686-A787-44F70E0DB926","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3690225$3BE17731-3AC7-46F6-AE4F-988285C32F25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690225$DB40925A-DA25-4F1C-94FF-394548CECD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690225$58A481C5-D51A-4E76-9F72-ED297E4FD562","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"854b76d5588a73deb1b8f891279d71a489bfe324","datavalue":{"value":"3913683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3690225$BE00F70F-FAD3-42F7-9828-F3D71ECDBBBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b1aef040f8f380709f819586e2a47a738b99985","datavalue":{"value":"FIFO channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q3690225$C154962B-C024-41B3-AD9A-9A952543D893","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":"Q3690225$4BC20572-F2F5-43A9-88DB-401F1A8043A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64be250693c39036349d8bf6487ea92a5898dfb3","datavalue":{"value":{"entity-type":"item","numeric-id":3723681,"id":"Q3723681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f4a1f8a7e4623e17dedd5242c7f10c01448365","datavalue":{"value":{"amount":"+0.9103308","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":"Q3690225$4B06B77D-7989-482E-BA8B-838DC37EC8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5276dde8f8346928878415d62eaebf168364a","datavalue":{"value":{"entity-type":"item","numeric-id":3780411,"id":"Q3780411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6196b156f8e7cf47d348d026970da09c00ea3e","datavalue":{"value":{"amount":"+0.8550619","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":"Q3690225$A23D823D-39A4-4EF1-990C-916C9A2E85A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9f9c3da8d063c38ac733038a8365d3f67e6200","datavalue":{"value":{"entity-type":"item","numeric-id":4207567,"id":"Q4207567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffacbe2a9f88b30102a67448d898a1a391e55138","datavalue":{"value":{"amount":"+0.852324","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":"Q3690225$181B3ACF-B4B7-4212-8CE6-B48B1C744B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f454718df21b9c18a24befb92e9d33f84708272b","datavalue":{"value":{"entity-type":"item","numeric-id":5285990,"id":"Q5285990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffacbe2a9f88b30102a67448d898a1a391e55138","datavalue":{"value":{"amount":"+0.852324","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":"Q3690225$202F7B2D-6C1E-4704-B269-08889E3E7CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7737a81c94d38d44ea5d403643fbc1c54a8b7a72","datavalue":{"value":{"entity-type":"item","numeric-id":2413026,"id":"Q2413026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef35602fb8b3efd40038e8c8e488d02d53c22e0","datavalue":{"value":{"amount":"+0.85003704","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":"Q3690225$62303290-784D-481B-AA03-3E7C58FCDD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb28db83e135e9e071c7fdd963a7b5e4b8f8d3f","datavalue":{"value":{"entity-type":"item","numeric-id":4037394,"id":"Q4037394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7991abd2318976daa9c6db1d347ec66d6bfab9","datavalue":{"value":{"amount":"+0.8449546","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":"Q3690225$4BD9E594-903C-42DA-83D1-4F9D5176B89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae63d6c8447a0a39cf3d39408c0467f134b5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":5206959,"id":"Q5206959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe8503e1a53bda049cc6ee4de68d77512ea7aec","datavalue":{"value":{"amount":"+0.8448819","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":"Q3690225$B1C23842-28A1-4ABB-B976-259F3CF5F939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9460e77cfd409deb422a7eded62f4cb0ba0d3b","datavalue":{"value":{"entity-type":"item","numeric-id":4255561,"id":"Q4255561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b8ae4d4e839d633a522f5e8bda8dff7406ceda","datavalue":{"value":{"amount":"+0.84480304","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":"Q3690225$48397A1C-7987-451C-B7D8-B2CC8AB7C46D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines","badges":[]}}}}}