{"entities":{"Q1156475":{"pageid":1167224,"ns":120,"title":"Item:Q1156475","lastrevid":66988578,"modified":"2026-04-12T14:10:34Z","type":"item","id":"Q1156475","labels":{"en":{"language":"en","value":"Algorithms of structured synthesis of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735099"}},"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":"Q1156475$8FFB6C14-D53D-464F-833A-C0B7079DB2DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46f42d20340e26a705dfe7e298cb939f71c4cfa8","datavalue":{"value":{"text":"Algorithms of structured synthesis of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1156475$11AD9B7F-6DD0-4002-B1E4-150316C76985","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51ff5de1b4389d7536c48770034de125fd44a162","datavalue":{"value":"0468.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156475$045617D3-5EAF-4662-93EF-CE30A7CE32C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54b6f6bd80148fcdb5555b6b86f437bdba60cd0a","datavalue":{"value":{"entity-type":"item","numeric-id":1156474,"id":"Q1156474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156475$D7C531B7-9B2A-46D3-9788-5021FF782594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44cae58b7b1ebd97a8ba1cdb3090f9e875e9f030","datavalue":{"value":{"entity-type":"item","numeric-id":1607555,"id":"Q1607555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156475$99E62FE8-B9AF-4C44-BC6D-A86927FD502E","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":"Q1156475$4B3176D3-A304-447F-9E5C-61334B6F5CB6","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":"Q1156475$4317E177-77EF-4EF5-80F6-0F9D0B66562E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156475$8FF176DD-5B35-4946-859E-EB857DFDCE6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb73e2207a14e3d89314257c7095db919dc45ca7","datavalue":{"value":"3735099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156475$5853633F-F815-4172-873F-E206D4945822","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71384353e9fc6909b5c843db9cea070c2cb90eca","datavalue":{"value":"estimates of complexity of program synthesis algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156475$375D0426-7C23-4ECF-867F-7F5B3CB9F4F4","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":"Q1156475$811438D6-CCAB-45C2-A3F3-E4E1EA7DD01A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms of structured synthesis of programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_of_structured_synthesis_of_programs"}}}}}