{"entities":{"Q1116329":{"pageid":1127078,"ns":120,"title":"Item:Q1116329","lastrevid":66160779,"modified":"2026-04-12T07:57:20Z","type":"item","id":"Q1116329","labels":{"en":{"language":"en","value":"The concurrent assignment representation of synchronous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4088916"}},"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":"Q1116329$264EF035-1C1B-4872-8A86-62C0F64BD664","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94b3483186b04baf717f03db84e68393af45cc18","datavalue":{"value":{"text":"The concurrent assignment representation of synchronous systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1116329$876C54B3-0AB5-43B6-85F2-F3E2B6595754","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf14ed902e257f5a4e0ac2f5fe5ada7c6e7f01d3","datavalue":{"value":"0665.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116329$B9807850-5FC1-4C03-BCFE-558CAC3C95C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af6a1e8d650818d323a45c05c77f8e59cc266cb3","datavalue":{"value":"10.1016/0167-8191(89)90130-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116329$5EA99E90-B759-41A0-8F50-726F7376B99C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6fb816b6ed81e5ed39e42c32810d0e9df5848de","datavalue":{"value":{"entity-type":"item","numeric-id":1116328,"id":"Q1116328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116329$3A39686C-3AC2-4B29-BA0A-04B6CF4D6F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116329$167AC5EE-21F0-4247-BFAE-7031E202EC32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eeac13f60c55bdb04ecb49274cc7b24a1688345d","datavalue":{"value":{"entity-type":"item","numeric-id":71527,"id":"Q71527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1116329$1C2CABE1-1659-4AD5-8581-15D8727869CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1116329$7317A0FE-4BEC-47AC-89C0-9BC112E7C051","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b38ed19968ec567251ab17fc2223652455c776d0","datavalue":{"value":"We consider the specification and programming of synchronous concurrent algorithms. This general class of algorithms includes clocked hardware, systolic algorithms, neural nets for example. We present some simple theory practical formal methods, and software tools to help design these algorithms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$6EA65760-910F-490D-9785-D77A67D35A81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116329$DAD5C497-0A3A-4518-AC5B-5448AD257E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116329$800FFFAA-CAD3-442A-97C0-7C6BF5E5A32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116329$320E1D21-C747-468B-B5E1-57ED988EC236","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56e635cf244c6149dbbf25942592e77edbd26f0c","datavalue":{"value":"4088916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116329$F264D217-44C7-495F-9C12-ED60FEB569A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e43b45ee1d4c36b44bc4fb4c111f856e4741be62","datavalue":{"value":"synchronous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$570289C2-5B89-4969-B5CB-81119EFD85B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$28981FAF-59AA-44F3-9E18-31F2886F6D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$C47BA441-C915-4EC9-9C6E-3EBBE61FC932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbe090c7a2055866c46bdecd203cc1f49cb0636b","datavalue":{"value":"clocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$7115A4AE-F2F9-407D-B990-D3C0958F1CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518d10908fee502e2a0ae201d188b9877c875235","datavalue":{"value":"concurrent assignment specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$D5370AAF-2E76-4DB2-A9E6-B2C1A1994220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c51824c2bbbeb740986cfa34bea2997c5f301","datavalue":{"value":"design of hardware","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$6C680AEC-1B89-47BD-92D3-F99741422BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"649d903de4b92d4105c1fe107715d6b1d867b1d6","datavalue":{"value":"synchronous concurrent algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$42C9A7EA-011F-4904-873F-8446840A5BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc3866fbf3d66941f57f7639fd36ab5adad51ec","datavalue":{"value":"clocked hardware","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$51A6F419-610B-4C20-876B-672A1321C9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"863d2cad60955956beaadb86db6cecc9b210d8bb","datavalue":{"value":"systolic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$85E8BA8C-9F6E-4488-AD45-466D71B5E734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7baf24cf06d077e5efd58fcdbf0c29b7a6ee7791","datavalue":{"value":"neural nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1116329$A41E9E76-1D4C-40E1-A0A8-6BC4A0DD6665","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":"Q1116329$8A53630A-F98B-43AF-8F15-B7B4832EC1DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbb7a66f07789391ddebef819eb4888fc0d7cf1a","datavalue":{"value":"https://doi.org/10.1016/0167-8191(89)90130-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1116329$83F67541-CB0A-4D6C-AEF8-9039EDC276AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c86ccd39472de9c343d05962df48110bd8f5eaf7","datavalue":{"value":"W2040219062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1116329$8FD89605-ADF3-4CA7-9BF5-1DC63B628627","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3f44d58f1277f4d753a17484a4851f2ab0cdda","datavalue":{"value":{"entity-type":"item","numeric-id":3823121,"id":"Q3823121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1541d3561650584cce26f1b3d226f3ecc86df1e3","datavalue":{"value":{"amount":"+0.807286262512207","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":"Q1116329$E1E0D013-FC43-4436-AACA-5169FFE53BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead8334941f0cf3bf9d5e0796619bbc961c474dc","datavalue":{"value":{"entity-type":"item","numeric-id":4270076,"id":"Q4270076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac118bfa9aeaea473ebe4e2031c19bb2f83de39","datavalue":{"value":{"amount":"+0.7860888242721558","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":"Q1116329$84969B4D-998E-4BE4-9830-3381E6246CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b2110ca8955c84f415a1116d30c527689b555ef","datavalue":{"value":{"entity-type":"item","numeric-id":2500524,"id":"Q2500524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360b27910f5079e2a4e17f2d0b062069e83dc6a2","datavalue":{"value":{"amount":"+0.7825272083282471","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":"Q1116329$9E3771C3-0AA1-416C-8CC1-6C107AB8BCF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcbd83e2bca6759e6fdc73990b033984f619e9cc","datavalue":{"value":{"entity-type":"item","numeric-id":3761701,"id":"Q3761701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c058d7e9caec52e48e808c33a6b5a49b721ada8","datavalue":{"value":{"amount":"+0.7808486223220825","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":"Q1116329$44FCD583-D1F8-400B-8F93-C30296BD1E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ac6cd27b6a9404506b60c41c0de53d51e01f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1036533,"id":"Q1036533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f395d558c1bb1fdaa47e5678c4752135e4273fbf","datavalue":{"value":{"amount":"+0.7723218202590942","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":"Q1116329$C1402543-25A0-4986-92A7-D0E08EE29DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The concurrent assignment representation of synchronous systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_concurrent_assignment_representation_of_synchronous_systems"}}}}}