{"entities":{"Q1111007":{"pageid":1121756,"ns":120,"title":"Item:Q1111007","lastrevid":49218508,"modified":"2026-01-06T19:08:46Z","type":"item","id":"Q1111007","labels":{"en":{"language":"en","value":"Semantic synthesis of programs by matching compositions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4074453"}},"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":"Q1111007$D75FE940-35C5-45A1-A45A-2FC480AE1DC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4bc86b12346239c6e1bace153c5a96410ff8ab2","datavalue":{"value":{"text":"Semantic synthesis of programs by matching compositions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111007$80348015-DA5A-4178-BFDE-74F9E0FE7AF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18cae9415337ade3d6abc18f34323d1ceacb6c93","datavalue":{"value":"0657.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111007$D87F7DFA-9253-4771-A9B8-FA290453DFE5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8420c59df6abf40be070c2e0f6f02138b59be396","datavalue":{"value":{"entity-type":"item","numeric-id":800720,"id":"Q800720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111007$7318789F-303D-4D58-9ADB-906F1B9AC08B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111007$68F4D2CA-6478-45B7-914E-C648BCED9CD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1111007$526CFB67-FC90-4E8B-9E36-4D5BE246AA42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b40addc08804ed7577888462847f76a0c1a4550","datavalue":{"value":"We identify classes of functions induced by programs with the property of requesting the presence and the values of the input data. Classes of matching compositions are defined, formalizing the main tools of program construction and simplifying the semantic synthesis of programs in the corresponding classes. The relationship between matching compositions and traditional compositions is established.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111007$0816F9AB-AA52-49B5-B5D7-543880067625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111007$FD433467-0057-4854-8338-4A02D3CB8F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111007$E3743CCF-16D3-4775-B274-E9396A2A5BEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3228053d9bd735c8d08808e951b0d05aa232118","datavalue":{"value":"4074453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111007$11A845D2-610B-4718-BC27-09AF0A7912D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ed7ea741945f9f0ffadbffead1472402ac15147","datavalue":{"value":"program algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111007$78B4B820-9F8C-4933-85E4-7E01FC086B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7bc97af059b48da090e5d65e93928bc77a05aa","datavalue":{"value":"matching compositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111007$F691D5CE-7D65-4E62-B7FF-DD9992605605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802f3e8569c8814279d27422c34b41eaa5f1e34","datavalue":{"value":"program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111007$69E6F3BB-BEF0-4722-94AB-263F28DBC8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f55f6c53f38a0bffb1629b8ee3ba956b807f45","datavalue":{"value":"semantic synthesis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111007$B25B0769-0B89-4CFE-BD87-BBC9C016661E","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":"Q1111007$31D7F7FA-0674-4D83-B0F5-8060AB343449","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e244160dce73db351277f99587227e635880e2","datavalue":{"value":{"entity-type":"item","numeric-id":3809251,"id":"Q3809251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f7ce41e43e5a0f83083f18d29f1742572fb35a","datavalue":{"value":{"amount":"+0.759338915348053","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":"Q1111007$18388349-9B1C-4E67-9FFE-847661020715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85823e37809ed4a542ccbab70e666ee626fad42","datavalue":{"value":{"entity-type":"item","numeric-id":4205070,"id":"Q4205070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ff13d1eab58172263f7a90315cdac8f72c398e","datavalue":{"value":{"amount":"+0.7565822005271912","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":"Q1111007$90BCF208-8B3E-4D3D-9C26-DA318B707CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819feb3a288616685e522fb27b106104ad0886a8","datavalue":{"value":{"entity-type":"item","numeric-id":3785924,"id":"Q3785924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34324102f71d62619c991ff354d392448b70f21b","datavalue":{"value":{"amount":"+0.7510749101638794","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":"Q1111007$86F785CC-C363-4948-9B20-E085ACA03FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003e1b828cba2f17bbd1982673e086ad8f3b6c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3706480,"id":"Q3706480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c808b068130e8adb2a45eff7a39a1b12065f0263","datavalue":{"value":{"amount":"+0.7485299706459045","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":"Q1111007$80B71535-EB72-4560-95FD-CEF5BC1A81F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79fe4d21beeaabbf3f646a78915b0ac8a153ffed","datavalue":{"value":{"entity-type":"item","numeric-id":1822935,"id":"Q1822935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cde04b47d72aa4adaa34d442aeb605ec5385886","datavalue":{"value":{"amount":"+0.7431158423423767","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":"Q1111007$30B9E39A-196A-4721-B2F3-45D9BAADB3E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1111007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1111007"}}}}}