{"entities":{"Q346790":{"pageid":348557,"ns":120,"title":"Item:Q346790","lastrevid":61137900,"modified":"2026-04-10T21:25:18Z","type":"item","id":"Q346790","labels":{"en":{"language":"en","value":"Synthesis of large dynamic concurrent programs from dynamic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6657614"}},"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":"Q346790$45CC80A6-5D88-4039-909E-BD05C06E8687","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa1947c05f09f1c361559dc1781a1600d656eda4","datavalue":{"value":{"text":"Synthesis of large dynamic concurrent programs from dynamic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q346790$7B1C4E21-EF80-4396-891A-90EB2C7ED2C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e31478c3439ca055cab22aae3533a38b506eaca4","datavalue":{"value":"1392.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346790$68600D3F-1FE8-4AAE-94C4-C1FCCEF2D5EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2081e4d5abe5c999dc65e69553b1dbf43b4b3046","datavalue":{"value":{"entity-type":"item","numeric-id":248920,"id":"Q248920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$0D6C9B83-CDC6-4A35-AC1A-32F5EEF7CB77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$755AB104-9AF8-4CF8-9D76-4735253FC467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q346790$114A52D3-72DB-42E8-A2A8-2E7D553184BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f496179b12d66b15165a736fc2446831e30e49d","datavalue":{"value":"https://arxiv.org/abs/0801.1687","type":"string"},"datatype":"url"},"type":"statement","id":"Q346790$9A7E10A8-C38A-46BA-B9CE-35FC35B99671","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346790$77FE7014-996F-464B-AC02-734A017A4271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346790$3464DFE6-585C-493B-8322-A0CD796E292E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346790$34FCD5A5-4D15-43AC-8F1B-6DA9CD6FB99E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d522e747e94dee49e389c1473913a94de2f4428","datavalue":{"value":"6657614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346790$554E9A79-F22E-4D89-A0CA-55577293ACCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b032c8ae9a34a58a67e6b239c3cf1914149e7d","datavalue":{"value":"concurrent program","type":"string"},"datatype":"string"},"type":"statement","id":"Q346790$8862B2BA-C5CB-4794-8456-569FE1E1A69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a38842aa4dbf5faba66766f1c4268cbf61b1b77","datavalue":{"value":"dynamic process creation","type":"string"},"datatype":"string"},"type":"statement","id":"Q346790$74AE2C07-2787-4F9A-9D58-967D0785CAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q346790$18D28BAB-0F2E-4575-AC1F-1221E768AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q346790$A638AB59-939C-45C9-B460-2145BE3762D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q346790$5C20AA31-8799-422B-90FD-74BAC11BEB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q346790$A0CC541D-BF7E-47D1-87A9-AB0ADC00F358","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a58344ca6620cc2911a46ed8252c861b469b4da","datavalue":{"value":{"entity-type":"item","numeric-id":14536,"id":"Q14536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$2712C129-F490-432D-88CE-18422A48BA43","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":"Q346790$7FD82179-0169-4E6A-A954-233B66C4B093","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e23159161ee9601a1423f5cf8e620cc5a1feeb9","datavalue":{"value":"W1677924248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346790$B788EDB7-2B3D-4C9D-9940-0F4355798F96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40c9e8927aaa591be6767e2d2e9c9a9efdb54f6","datavalue":{"value":{"entity-type":"item","numeric-id":5410675,"id":"Q5410675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$D0EE4AEB-07F3-4AF3-AF32-A4ED5F0CE6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33a97eaed430490b1baf5412c0903d90b4fa4ea","datavalue":{"value":{"entity-type":"item","numeric-id":4344071,"id":"Q4344071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$C0113B89-C76A-42D4-B157-8C6EA07ADC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e66169d13b5dd46ddd7a696b7a8a0e7742685","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$9F50ED75-A706-4FD7-A4DE-3DF70FEB72BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5873f983c72e1bbd8e1c5076d7576f10a1f7f807","datavalue":{"value":{"entity-type":"item","numeric-id":1938379,"id":"Q1938379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$56C2131C-21AC-4497-90F3-066D1EEA5794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$B2A9CC2F-58D4-443A-8091-F22029BDE7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8301992163fc4769d5f559f4557949d14317958","datavalue":{"value":{"entity-type":"item","numeric-id":2942723,"id":"Q2942723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$B692843F-2E3E-4E5B-A665-15E8FC6EBE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f90bf77c43626ecf54d4781bc0c54b9f87e804e","datavalue":{"value":{"entity-type":"item","numeric-id":2629850,"id":"Q2629850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$DF601026-664B-4B7F-87CF-0D963484643D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8415059a42f6a17c0636c8479ce0ea1a834cf5df","datavalue":{"value":{"entity-type":"item","numeric-id":5964014,"id":"Q5964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$F8DDC5A1-BDC0-4722-8105-071705E2362A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3138f45cdbb26f8b10e3093342d649cec48f6dd8","datavalue":{"value":{"entity-type":"item","numeric-id":2790112,"id":"Q2790112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$5F202F16-0078-4307-AB64-35DBB4DAA072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f13b8d2afaa8109e42b30c9885257af62a17ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5711509,"id":"Q5711509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$633B43C1-09EC-4613-9572-2E5B2B887440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2715fb13567086e52d60f42c2a357e72f2af5880","datavalue":{"value":{"entity-type":"item","numeric-id":3190115,"id":"Q3190115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$16AA7B83-9C75-4C7C-9F3B-4B5D4CE2F4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$30CC5365-C36F-4FED-888F-1171EE7D90BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc2729c61af78a185581c0459e21197f966160c","datavalue":{"value":{"entity-type":"item","numeric-id":1938357,"id":"Q1938357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$66622EE1-3296-474E-9E2B-BCCC55E69647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$CE598E5B-8BE6-41AC-BFDE-301828EB9747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$7F89EFAC-982B-452F-88E9-8DE3A01AB978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0ce77c8b2a519d721b7d0fb40ae509fed95d2d","datavalue":{"value":{"entity-type":"item","numeric-id":3196342,"id":"Q3196342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$54C73EF7-6600-48F4-B5F5-D35B358A24D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$B119F7AD-C816-4795-BD89-F32E8EC56FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$A4BEAE5D-0DD9-4F5D-AFF7-8C79413BF84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fef66f961724b2c109d231d90a6cd1704764e5","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$711DC3AC-DDC2-478B-9F1A-E171493FE4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$4889CFDB-E9D8-4D64-96A0-A0CD59906AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$953BA958-1636-46F9-9352-51BFF49EBD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9143b9caec2c35ed69b6720f87afb357eeeb92","datavalue":{"value":{"entity-type":"item","numeric-id":3962450,"id":"Q3962450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$4E1343F9-9A5A-4125-BC9E-DA881FFD0A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"095efdfbd2542aaaed816805bd2968dcfd471f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4037392,"id":"Q4037392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$02D65318-E7F0-4A55-8D1A-AA56A5DBBCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$A65C0D14-E8B7-4920-A277-3E8326459F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$B6C2F9E6-AE6C-491C-B4E3-A85A05F85433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$92CE72A7-5675-48D4-91F1-47CC3F7981F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ab9b2e7851d0f92be06e6e8ba9f6d59918d25b","datavalue":{"value":{"entity-type":"item","numeric-id":1292429,"id":"Q1292429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$12CA294E-729A-44F8-B66D-595ED7BDEA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$0A74A4B3-6147-46B5-8CAE-6C253ADBEBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72423c81755b58a715eaa812a4550839208dbe43","datavalue":{"value":{"entity-type":"item","numeric-id":4536596,"id":"Q4536596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$7548701F-2810-43F6-A0E8-050206C2D194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1268092828526e888d6fc386d45d2be4499600c","datavalue":{"value":{"entity-type":"item","numeric-id":3617743,"id":"Q3617743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$014452B7-5579-4324-831A-708FC879E47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$30207B39-C487-4AAF-9862-2E5A51244CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$11A9DB42-A91C-423E-856A-49C2DFB3D68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6e0bfbd7e8ce7f5b89d10be4ea3c5fe4ffddf5","datavalue":{"value":{"entity-type":"item","numeric-id":3673090,"id":"Q3673090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$0914F8FF-F549-4E0D-8ECA-775EFEC1EBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$D4A13959-EDED-4130-A6EA-B9CD5B9C8334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$006B2827-59BD-4450-9521-F9671D37E063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$B40B7306-521E-4B52-8F8E-1254657A2FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346790$D9368523-1464-43E1-A7D4-CBED41765E58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33ea0eab557e5ce81ca8a7335d05c2a650c17824","datavalue":{"value":"10.1007/S10703-016-0252-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346790$635CCAB7-05F8-47EC-860A-27415D67542D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7947db12a37086a05314e704d4010b4a2455d1a6","datavalue":{"value":{"entity-type":"item","numeric-id":4270054,"id":"Q4270054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fbf1f31103ad220d040b471b012992ddf8dabb","datavalue":{"value":{"amount":"+0.9305091500282288","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":"Q346790$7E656290-4AB1-44B8-82A4-6606645C0F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34eb3e48a9cc40a864671b5821b71b2bbe0535eb","datavalue":{"value":{"entity-type":"item","numeric-id":3172943,"id":"Q3172943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d61b1b276a949e41d2e23c10149348172a2a46","datavalue":{"value":{"amount":"+0.807998538017273","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":"Q346790$2F5D8965-A11C-4227-9BD3-0F18516B7D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb3761f8979427ac83fecc15ba213f555b3de8a","datavalue":{"value":{"entity-type":"item","numeric-id":4902316,"id":"Q4902316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcbaced557e2b1b44500e950a02e999edb5b85f","datavalue":{"value":{"amount":"+0.787242591381073","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":"Q346790$B34BF6D0-4004-49BC-B01C-D4091FA357B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2328ba74fb7a04ef9c4c6b136966010a61ec6c6","datavalue":{"value":{"entity-type":"item","numeric-id":4037126,"id":"Q4037126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ec698fee777407c59f44de6eaefdae369491f9","datavalue":{"value":{"amount":"+0.7735198140144348","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":"Q346790$927DCDD1-57AA-4845-B7D8-18CF945AD4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1cd35c50b504afb89d65409cf2700be2eaceda","datavalue":{"value":{"entity-type":"item","numeric-id":4037392,"id":"Q4037392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ec698fee777407c59f44de6eaefdae369491f9","datavalue":{"value":{"amount":"+0.7735198140144348","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":"Q346790$98FE17A0-0230-4D9F-977D-C6EFDA179408","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of large dynamic concurrent programs from dynamic specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_large_dynamic_concurrent_programs_from_dynamic_specifications"}}}}}