{"entities":{"Q6204096":{"pageid":13338983,"ns":120,"title":"Item:Q6204096","lastrevid":55626475,"modified":"2026-02-17T19:57:27Z","type":"item","id":"Q6204096","labels":{"en":{"language":"en","value":"Semi-automated synthesis of control system software through graph search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7828870"}},"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":"Q6204096$1129AFFB-26FD-49E5-9D3D-49EC1AA111B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f622e9b7ab0d8393fbc3ceb3c57043728406940e","datavalue":{"value":{"text":"Semi-automated synthesis of control system software through graph search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6204096$76C3A827-2015-4FAA-8B1A-0BB32F3B20F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9adf52e96963d1563cff1b77e1cc8ddccc10251b","datavalue":{"value":"10.1007/978-3-030-50936-1_91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204096$BCB3D4E5-018B-4F6D-BB38-C47A477EBF3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34e5b603d87b4bef20da7e7614d8a04261047c90","datavalue":{"value":{"entity-type":"item","numeric-id":6204095,"id":"Q6204095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204096$54A43DAC-E8BE-402B-B441-6D1995D69E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba245679fff1777d4b5e9c87f54d749f388729dd","datavalue":{"value":{"entity-type":"item","numeric-id":835367,"id":"Q835367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204096$62FE9B71-C804-49E1-8001-75EE517F645A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"86c17446e8fbe65d1d4392741fbe04580ac288c8","datavalue":{"value":{"entity-type":"item","numeric-id":267724,"id":"Q267724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204096$EA8C7CE9-1B3D-433B-8C27-5C0EA90FE649","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6e319cd241498fcfa6a36f038abe81996b012ef","datavalue":{"value":{"time":"+2024-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6204096$0D9B6BDC-DF31-429B-8BCF-08E444B51307","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d5eef6e848157326ce3189563feefa6213bff81","datavalue":{"value":"93-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204096$3C062181-1CCD-4357-95B6-1C94F482C22C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd963e7e003db9fb164709772d3ac31c1e2619c6","datavalue":{"value":"7828870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204096$F5328C14-0DF8-4C34-BFFC-EC0DECC77876","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d10283cb0f62402b7951a4756dbeb2bd05f1415","datavalue":{"value":"C++","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204096$E5065566-E7D7-420D-A4EA-ACA4171AE775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204096$6E44F116-8988-460A-AD15-9ABDE9B04125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a873697bda241540e1019f29607482dad4f3a700","datavalue":{"value":"control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204096$92650F58-608B-46BD-BEA4-126118307FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204096$2B06D79A-DC95-44EA-B507-5685E582779C","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":"Q6204096$89A80B0D-199E-4C85-9930-B6D16409709E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac009a119d627dd89accc87240f54a63d22261b0","datavalue":{"value":"https://doi.org/10.1007/978-3-030-50936-1_91","type":"string"},"datatype":"url"},"type":"statement","id":"Q6204096$854E77FD-7A0A-4C43-A4B6-1DE01B757519","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4a584892baaa02709fffc680fb19f4f5d815697","datavalue":{"value":"W3037929878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204096$0B8B8C98-6345-45B6-8F9D-AE0C156CADD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd4aabdbbe16dab45c5d143a75f28a86fb7d849","datavalue":{"value":{"entity-type":"item","numeric-id":2908215,"id":"Q2908215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12139ae6c4d2f799b2f99df87c76bfffd15f08d","datavalue":{"value":{"amount":"+0.6843698620796204","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":"Q6204096$FA5D6397-FDB6-4F43-859F-FA9DE4359C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e928dacf1aefd82b3094ca50b761deca296d4251","datavalue":{"value":{"entity-type":"item","numeric-id":6194595,"id":"Q6194595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf6466b543d7ff1b232ab69abdd70237e84d0fb","datavalue":{"value":{"amount":"+0.6833961606025696","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":"Q6204096$C082A91F-CA1E-4CE2-B054-3D646CC1E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f777662552ec8ff3482529dae095befca8ef63f1","datavalue":{"value":{"entity-type":"item","numeric-id":5308419,"id":"Q5308419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3af47fe3e4407b66e01a54c27fea90339749fa8","datavalue":{"value":{"amount":"+0.6636227369308472","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":"Q6204096$F7D78039-4337-46C6-97F4-D07B79C6C036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dbb784de63f832f72d5b54de271c374c5360b72","datavalue":{"value":{"entity-type":"item","numeric-id":2693303,"id":"Q2693303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ed152a5372e2a80a1e653850ddd51f58ef4799","datavalue":{"value":{"amount":"+0.6581681966781616","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":"Q6204096$DB971F61-7C0B-48D2-9BD0-C99C2FB65B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4867ce6e792bece096e21f88b609d530ff82bd27","datavalue":{"value":{"entity-type":"item","numeric-id":4546958,"id":"Q4546958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93613d2a6a2b38a4bdb4876d200a414960f9dbed","datavalue":{"value":{"amount":"+0.6533236503601074","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":"Q6204096$EE5BB0FF-5E4F-4C0A-8CE1-E2FFD8BCC293","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6204096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6204096"}}}}}