{"entities":{"Q2989005":{"pageid":2999729,"ns":120,"title":"Item:Q2989005","lastrevid":52812200,"modified":"2026-01-23T13:38:02Z","type":"item","id":"Q2989005","labels":{"en":{"language":"en","value":"Automated analysis of Reo circuits using symbolic execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721688"}},"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":"Q2989005$2F0A218A-0FA7-4A10-86E4-128521AB592A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6381c679ed593055cce2d55260e068cccbc790dc","datavalue":{"value":"1364.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989005$A038556F-B176-4D69-9170-037702105BE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceecfc9342a8732c6d77c9779d91dcc26aed71be","datavalue":{"value":{"entity-type":"item","numeric-id":433341,"id":"Q433341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989005$3E5D5E0A-1355-4CB7-9379-54F2CE8E5F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9ea0ccde3d48050e3eb0636437332cb8d7497c7","datavalue":{"value":{"entity-type":"item","numeric-id":433342,"id":"Q433342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989005$77647C0F-DCD7-41E5-9F91-DC7891967150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d858257cdcd153ab51f401565cbcee0b7efab5","datavalue":{"value":{"entity-type":"item","numeric-id":433343,"id":"Q433343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989005$94EFD148-6071-4C4D-BA95-4B6D01F6F5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8da238fdbcb4539aa2eb04558a37e18c45a9d2eb","datavalue":{"value":{"entity-type":"item","numeric-id":282087,"id":"Q282087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989005$18049FE8-24D0-4831-87F0-5DCAC758374E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2989005$A434ED41-6EA7-4B3B-833B-71321D6D7D6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dbe721499a47c8213d143d904982b6e83d5047e","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066109004496?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2989005$D1B180ED-3B57-4311-ABAB-CDD5BE144842","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989005$DAEC7FE4-8F3A-4337-80D9-B8D15A0BCC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989005$8DCED3FE-5E62-4EAE-9D62-2F878D3A3B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989005$01E812C1-3E12-46CF-8BE2-5E6B0DA21486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989005$498891ED-AA6D-4E42-A4B8-AE799F5E11F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da359bcff65716acdb9a894ccb7f580e3136cf5a","datavalue":{"value":"6721688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2989005$087F980C-D5DB-40EA-A8C6-8C64B470DC95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989005$960696FB-699E-46A1-8AF2-69EEBE785242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92d06a08bd127fd75955d50fdd5f150c72cf7cee","datavalue":{"value":"Reo","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989005$2F9485B6-B12E-4748-8EAD-647DC3CF11FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0aa662b2b7ee896a11f94703cabb105ae5fd891","datavalue":{"value":"constraint automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989005$BF64EE75-336D-4556-A144-F88F9173DBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c7406225c2d552006355ff94b7ae765ebdefedc","datavalue":{"value":"coordination languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989005$831745D8-42A9-44EC-BD87-31BEF56A7D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2989005$564BEC3D-A6DF-463D-BB83-70A67120C097","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2989005$DF67F766-01E6-4E84-BB1F-DBE7C925FF95","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":"Q2989005$0B3EFC1E-FCEE-4782-AE10-86C0A441B429","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c141f6cd5fc7d0e435a25ee8d503b246fc48cf78","datavalue":{"value":{"entity-type":"item","numeric-id":433344,"id":"Q433344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4eeecca3f9b6f9e430b1a06e22faf1ef238ee8","datavalue":{"value":{"amount":"+0.9473543763160706","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":"Q2989005$F7CB260E-499B-436E-81DD-24A44E7D460F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12de385c49a24ccb3a19493a688a54dd777522ff","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc1989bb38497e8438123076af19a29dc5261f9","datavalue":{"value":{"amount":"+0.7369357943534851","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":"Q2989005$2A26BE8E-1963-4D25-AECE-2FD8454E30CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc904d60b050b9549ae83088d3d77fdc88b8fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":608354,"id":"Q608354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8afebad9086ac26d362356411972568c72054ef7","datavalue":{"value":{"amount":"+0.7276497483253479","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":"Q2989005$43F2E3A6-0744-4956-85BD-C9D22075B138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852ad7ae2c4d6f7c5e0fcc54b3eab08c1293a8ec","datavalue":{"value":{"entity-type":"item","numeric-id":3400925,"id":"Q3400925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27a7b1dbb4f8e0fdea692fcb9682a2c3182e9b0d","datavalue":{"value":{"amount":"+0.7228182554244995","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":"Q2989005$717306A9-9762-4EAA-8576-88316F292F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b1944f9fb5cd0fdd3d5f98304f2018a29eff93","datavalue":{"value":{"entity-type":"item","numeric-id":2810975,"id":"Q2810975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c61009c8d3a01ec0dc1a185a846e2c06f69de99","datavalue":{"value":{"amount":"+0.7161863446235657","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":"Q2989005$0D17BFDD-D0E2-402A-B28B-083CF3E40B9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2989005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2989005"}}}}}