{"entities":{"Q1905210":{"pageid":1915952,"ns":120,"title":"Item:Q1905210","lastrevid":69257163,"modified":"2026-04-13T05:48:14Z","type":"item","id":"Q1905210","labels":{"en":{"language":"en","value":"Automatic synthesis of computation programs through analysis of variable semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 830657"}},"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":"Q1905210$1A825544-2BAC-4C79-B37C-C07F77C4647E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"643193053cce7e5c6c5d1ee2bb17232ab48b9b61","datavalue":{"value":{"text":"Automatic synthesis of computation programs through analysis of variable semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1905210$20F5BF71-4485-41BE-A098-4EC39732F6DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"334f49b9979fa822199d40a7c65ff4a54b7e490a","datavalue":{"value":"0837.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905210$A21052BA-8D73-4A80-8B1E-604A1365DBAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66946ed5152d1f6a257aa4a7c27337d78b65e591","datavalue":{"value":"10.1007/BF02367757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905210$E521DB83-E2DE-4B98-9A17-F1C188029EC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e89172f303a8f0697efdea4200bde5b57f348fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1717040,"id":"Q1717040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905210$CB31AFAC-9FAE-49C3-BB95-1A9E8ED9E6A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905210$0E20E452-318A-4797-A592-732C176698B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c4e5afb6084c75f4f8878bb3bd337019ced071d","datavalue":{"value":{"time":"+1996-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1905210$1D5566E8-4958-40FE-BBE5-913C34B64410","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905210$F89BEED2-6118-48FB-9089-F46287AB1DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905210$C275A2E1-49EB-4853-A571-936EF01C773E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41f53fb9335245346ee3645a0f40f15521d63e17","datavalue":{"value":"830657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905210$F9D416BA-11BA-4A0C-B9FB-D27DA60B5905","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f181df8adc56900a905be8bb1b1fcdc410e94e75","datavalue":{"value":"computer-aided programming systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905210$73918757-92CB-4858-AF2E-D451ADFC7D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716a0ec5f8a71996ca542a5fe59ef501b8b23411","datavalue":{"value":"regional programming systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905210$B2D18948-770E-4E9D-A597-78069C294054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bcc90824449df822221893df2d00d2f5e32781d","datavalue":{"value":"technological and economic variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905210$E5ACF520-FF12-45D7-B950-D8A98AEA4F97","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":"Q1905210$DE535BF7-9658-4490-AFB1-D9CEFDE978F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"527195ce93dbfbe055753a12234d5afa82531bda","datavalue":{"value":{"entity-type":"item","numeric-id":4040648,"id":"Q4040648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905210$42BC91AC-34DC-4954-95E2-2E127D8C9C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc09a6633176dea369652a366ad3b66dd59b607","datavalue":{"value":{"entity-type":"item","numeric-id":1905210,"id":"Q1905210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905210$353D1F5E-2D27-4806-B676-316D1D87B941","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05fdfdb6307a4f58218a117410cc9509273fcc01","datavalue":{"value":"https://doi.org/10.1007/bf02367757","type":"string"},"datatype":"url"},"type":"statement","id":"Q1905210$EEB8911A-3ED9-48FE-84AE-849278B924BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"089a39626089e0242a9c5d76d8d9350ddc283582","datavalue":{"value":"W2051931469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905210$C8917702-D4D6-4FEB-A8DF-D7C4F68ABC63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc8ac6a8c26ca6e8fa34adea54c1657cdc19332","datavalue":{"value":{"entity-type":"item","numeric-id":3687682,"id":"Q3687682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f5fe965516935a7a0f78cd7fa6cdd3951537fc","datavalue":{"value":{"amount":"+0.6943902373313904","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":"Q1905210$729500C8-080C-4D7C-B5F3-C0C3D76EE6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b482c28bbc9eefe8f8f8a009689dcee694f9736","datavalue":{"value":{"entity-type":"item","numeric-id":4002054,"id":"Q4002054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801be7acd73f6540c585216c0710734a898f181e","datavalue":{"value":{"amount":"+0.6760355234146118","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":"Q1905210$E67EE195-5E64-48B8-A927-F796AC2A855A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d097c566454534b5d1af3092020dd10aa888cc","datavalue":{"value":{"entity-type":"item","numeric-id":801679,"id":"Q801679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a03e8d793de75a2bec585c69aa019bf5447a39","datavalue":{"value":{"amount":"+0.6721176505088806","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":"Q1905210$44F87027-BDC6-4934-8EF8-4DA7416250E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22dc1f8b468c6d102d37f9f4f3aad7b5a9296345","datavalue":{"value":{"entity-type":"item","numeric-id":5712543,"id":"Q5712543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53833649dc7c88b1e1a89a1569b9fa32fd8b3976","datavalue":{"value":{"amount":"+0.6709259152412415","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":"Q1905210$25AEA4C3-04E1-439C-B9D5-B6FB61E65A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c9fba4132d69e5e546c43b553632b51fdcdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":801681,"id":"Q801681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2f8eaa369dd8f09c3bf2b761a9e36e71fafd8b","datavalue":{"value":{"amount":"+0.6629071831703186","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":"Q1905210$F5329F84-6B38-40EA-B418-BC252E255297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic synthesis of computation programs through analysis of variable semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_synthesis_of_computation_programs_through_analysis_of_variable_semantics"}}}}}