{"entities":{"Q433344":{"pageid":435111,"ns":120,"title":"Item:Q433344","lastrevid":61792347,"modified":"2026-04-11T01:41:44Z","type":"item","id":"Q433344","labels":{"en":{"language":"en","value":"Symbolic execution of Reo circuits using constraint automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6055921"}},"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":"Q433344$54352172-86C4-4849-A695-FA2324B542AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e39f767f2b8f9ffe9532023f74499bd86e86b62","datavalue":{"value":{"text":"Symbolic execution of Reo circuits using constraint automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q433344$173760E1-803B-4342-A695-C5677A0E0B99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"183789ffd52c295e1139616c945bcd45b21aa77a","datavalue":{"value":"1242.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433344$1A5CB78F-41F8-43A5-8F86-B24E11D90B6C","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":"Q433344$235070CA-158E-4759-B465-2885854489DE","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":"Q433344$C6838959-E859-4A3B-8054-0E16759D39F0","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":"Q433344$376FD8FC-F03B-4ABB-BA37-37A923ED3046","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":"Q433344$290E6DBB-A5E9-475B-97D8-2BE8619228FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$2C2DCFD0-94DB-4FD0-A3BE-046253AEC51F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8169782b0c1573ab69940e37078f3a0c71cae46","datavalue":{"value":{"time":"+2012-07-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":"Q433344$42413BD0-AB67-4BD2-A269-1E59EAB847F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433344$ACE2A90B-C80F-4C0D-B1CF-6F508F431006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433344$26C069A8-1BD1-4BB1-81A6-675268DEB58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433344$18EF7D08-0253-4C6C-A0AE-75C13CBDEA67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29dbaa8c6c9e851d7965684ba83d46350bff0611","datavalue":{"value":"6055921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433344$8C994762-1CD8-44DF-B5C0-0CCC39E12B90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q433344$49EFE306-DF27-4389-8B9A-4F4F0413984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a89d3b06ff7ce2b8570da546ce505f23161a53","datavalue":{"value":"Reo constraint automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q433344$9C34970D-8515-4FEA-A234-B15177E4E475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c7406225c2d552006355ff94b7ae765ebdefedc","datavalue":{"value":"coordination languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q433344$0B5AFE13-02D2-4934-BA81-48B45F695ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q433344$AD5C2F68-9707-4DE7-AEDD-A6D60073062C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e390ed5317c763bde8e57c2258bae2a6a55702a","datavalue":{"value":"program validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q433344$8F183EE1-FD25-4165-AEBB-30435BAFE88F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aece4cc3af1aae8d3bcead98dee902db21b4cfeb","datavalue":{"value":{"entity-type":"item","numeric-id":21410,"id":"Q21410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$B17AEDF4-AD20-4B45-81B0-7AFD69C68329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b89e03d97350cf4ba8fc1065e606f8750e5fef3","datavalue":{"value":{"entity-type":"item","numeric-id":55946,"id":"Q55946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$2F1863F0-6EC4-4F46-98E0-6E09B5B5A247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$53575C2D-4643-4C7C-A61B-B17872287CD4","rank":"normal"},{"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":"Q433344$18E00A7A-18FF-4A82-A848-1E2785F7EF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5fae99124e5894964b5b74c58c0866710f387e7","datavalue":{"value":{"entity-type":"item","numeric-id":18665,"id":"Q18665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$E6A7B67D-00CF-458B-8A74-7F7E5B465421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a87b5c47171bc6abd477f685561af68882c5939f","datavalue":{"value":{"entity-type":"item","numeric-id":20577,"id":"Q20577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$F26C474D-E144-4612-A697-63C3B81F0243","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":"Q433344$9000F6EA-3348-47BB-A62A-2EBC7467DA1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c911311b8b8b78d6f1d2cd660d5117c9710992d4","datavalue":{"value":"https://doi.org/10.1016/j.scico.2011.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q433344$49A9A4E8-3E11-4DEF-801B-7CA731AEB2AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"288fd2691dcc7718f788e896268197b4caef4697","datavalue":{"value":"W2009315879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433344$2F0450BD-EB37-47A9-943F-BA6E3DECF1EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$91E400C6-6A35-48B2-962E-9202DAC303BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316a7f52d1a85eea1cb2fa0afaf4cb5ab7a50ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$3C47125C-5193-4AD0-B143-0871D5304D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d730947c2ba6cd178000da27f6958b6a76b2e8","datavalue":{"value":{"entity-type":"item","numeric-id":5179212,"id":"Q5179212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$A68F2AB5-E14D-421E-9E9C-033285A27B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4edaa9714cf80e19f3341940661c217771ecacff","datavalue":{"value":{"entity-type":"item","numeric-id":3508521,"id":"Q3508521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$9495227B-FD76-4453-BEE1-2B0AA10F09D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99db3abfd9ccafe3fb15d93447441257c543fdf6","datavalue":{"value":{"entity-type":"item","numeric-id":2389338,"id":"Q2389338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$2F16F930-A2BA-4ECC-9689-F0906C930FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8afc731e5d6441c56e3bb93a4e64b3b4be6b74","datavalue":{"value":{"entity-type":"item","numeric-id":3614665,"id":"Q3614665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$FCFCF98E-0179-4D6E-8E6D-6CCAFAAB9FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39c533f05aa8e875ce68ddd59606ae9098abddc","datavalue":{"value":{"entity-type":"item","numeric-id":3066118,"id":"Q3066118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$633299E6-0AD4-4D62-8F5A-5414D5EBC93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$B4ACAE8F-A602-4900-A4E4-B8C36C11935A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f11d087fb352d8b17c817d210efa2f25331977","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$F359ED4C-10EC-40D9-8751-3382960D8733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$A30C043B-EB3E-4004-86CC-17173007B5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48a329dbdf8b631c52b28f2506f71851037a9cf","datavalue":{"value":{"entity-type":"item","numeric-id":3434649,"id":"Q3434649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$58353D15-80AB-43D6-82EC-7073F3023327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fcf2296969dd5e01651c8f2a620352248abf9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$009CF759-862F-4D0F-9641-96F25E505A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cec2cab3992639c289e5af2ffa852f32eb188e5","datavalue":{"value":{"entity-type":"item","numeric-id":2989005,"id":"Q2989005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$3EFE0F29-4606-41F2-8BB0-D6FC3C929819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7f6d61c16673db15df265210bdec97ff01ae44","datavalue":{"value":{"entity-type":"item","numeric-id":4928708,"id":"Q4928708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$4BB9E4BC-8973-4F2E-B845-6CC09703AB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6ae7bbae9e11da2fc06fb3e8d55d1cc5c84043","datavalue":{"value":{"entity-type":"item","numeric-id":5184391,"id":"Q5184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$9F513E07-4886-46DB-8B09-A0E03A6217D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0d236e6dc127212cadf0659c16616251f0acea","datavalue":{"value":{"entity-type":"item","numeric-id":4923525,"id":"Q4923525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$644FC830-86DD-4ACA-9FB0-D9CB836DBF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7196d31d06978ae2d86cc532bbac8f932df2593","datavalue":{"value":{"entity-type":"item","numeric-id":2866318,"id":"Q2866318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$771E4DFD-D34D-473F-9946-AD54BB410186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68c3826d8a9f725fb388c85c09c5d9fff8c1cd1","datavalue":{"value":{"entity-type":"item","numeric-id":3046721,"id":"Q3046721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$803AFC39-E8D1-4479-87C3-8C33D33E4F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c04514017ccf09a1182abf7d6ba78fbb552273","datavalue":{"value":{"entity-type":"item","numeric-id":5900818,"id":"Q5900818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$94F4FF52-C8E8-40CB-899F-C02B537AFC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$01368467-7652-4287-AC68-460120182A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01333149faae0ada60aaba7c68148f21ebd9cf77","datavalue":{"value":{"entity-type":"item","numeric-id":4741716,"id":"Q4741716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$1B429426-3BEF-469E-8D82-12030B5F9240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$3BF9A77D-B037-40BF-857A-80263EB521D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$9F0DC660-4E9A-474B-B82A-3FF5E757FE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$82C10310-3275-4840-BF37-A4E07DECD313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$53F96F0D-4BF5-4953-B411-18CEAF9B9DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$FEFC16C9-D3F5-4B30-B5DE-4F417D83E26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f280029aafc0e8a062d27c5670a1ac63fb0deffa","datavalue":{"value":{"entity-type":"item","numeric-id":3031902,"id":"Q3031902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$9AB767FD-1CA1-46CB-9FDE-FC67456A55FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q433344$B237D301-6971-418D-9767-B9E5CFC566A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3dc01298d924fd8e1800d84df97993c019c6e80","datavalue":{"value":"10.1016/J.SCICO.2011.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q433344$5D8CFA4C-EAF6-4D1A-8B1A-A1AC38346A7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a5cb1dac65d102cdda240b9ce6e836532e0946","datavalue":{"value":{"entity-type":"item","numeric-id":2989005,"id":"Q2989005"},"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":"Q433344$BECD7CAA-739B-4BBC-ADF3-8E899F19156C","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":"919f91615434cc8361f8535b15baa28965d642f3","datavalue":{"value":{"amount":"+0.7657948136329651","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":"Q433344$E20191A2-AD18-466D-A838-BC18EF74F108","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":"942cb84ea59398c2b5eae7d85d24117782a3805b","datavalue":{"value":{"amount":"+0.7509505152702332","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":"Q433344$6DEEE245-3F82-4BFA-B9AF-83E72F946A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241e544c76b9fb626dd5d931c6087249aabff738","datavalue":{"value":{"entity-type":"item","numeric-id":3508545,"id":"Q3508545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a965fddbee7d4cc328ae722e64cb2a099f78c987","datavalue":{"value":{"amount":"+0.74921053647995","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":"Q433344$41C71E85-61C6-494A-8C24-06BAED44BAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec397b1e18dee7afe2a9d14aa48b4e7a6acd8ab3","datavalue":{"value":{"entity-type":"item","numeric-id":5179204,"id":"Q5179204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a10ead841e435a867f16d96d551f68271ecd288","datavalue":{"value":{"amount":"+0.7444095015525818","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":"Q433344$A37DE2C6-F206-4BD2-A819-B76D54DEB28D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic execution of Reo circuits using constraint automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_execution_of_Reo_circuits_using_constraint_automata"}}}}}