{"entities":{"Q1156473":{"pageid":1167222,"ns":120,"title":"Item:Q1156473","lastrevid":66988560,"modified":"2026-04-12T14:10:34Z","type":"item","id":"Q1156473","labels":{"en":{"language":"en","value":"Synthesis of optimal programs using computation models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735097"}},"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":"Q1156473$B3B53FA9-EF4D-4710-B6A1-49F38C6BE954","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6936f0f131f5c74d7630a52d963369ea8128ff17","datavalue":{"value":{"text":"Synthesis of optimal programs using computation models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1156473$18945C23-57FA-4E5C-8565-2AA543592025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b212cd5dca74d545b905521751f090eacdfb288e","datavalue":{"value":"0468.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156473$4E83943A-E86F-4C0C-AB2C-8A1A897AACCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"640d4de03e153b7a851b13e52e27a6b9da759b2f","datavalue":{"value":{"entity-type":"item","numeric-id":1132558,"id":"Q1132558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156473$189257C2-9F10-4203-A7C9-EB93CB73587E","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":"Q1156473$275225B9-2189-4DA3-B94C-D199CA4F929C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1156473$984449F1-C6D2-4E3F-B5E7-2A22BEF63BCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156473$0EF70D73-C129-46DB-96FA-2ABDA920DB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156473$6C5484CE-1C26-4EC6-A213-88F8A9E1D5CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84995a45c001805fe1a4b8f64c86fe30d5f3a0c5","datavalue":{"value":"3735097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156473$86B638B3-3316-4AA7-8D89-43B6BE8CC609","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27a34a119da172be1f6f43685a14b0049f4a1bff","datavalue":{"value":"program design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156473$70E376F0-B73F-4095-A0CD-1D1692A1EFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e017ef69589f5f2ab929272e5b11d07cbbaaca9c","datavalue":{"value":"formalization of the object environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156473$D45F4BFB-07D4-411C-81E5-47CFF8450F73","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":"Q1156473$D91FDABA-FC74-4240-BE5C-8443DE66B4C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of optimal programs using computation models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_optimal_programs_using_computation_models"}}}}}