(original) (raw)

{"entities":{"Q4117718":{"pageid":3925470,"ns":0,"title":"Q4117718","lastrevid":2260780759,"modified":"2024-10-15T01:24:40Z","type":"item","id":"Q4117718","labels":{"ja":{"language":"ja","value":"\u30d7\u30ed\u30b0\u30e9\u30e0\u5408\u6210"},"en":{"language":"en","value":"program synthesis"},"ar":{"language":"ar","value":"\u062a\u0643\u0648\u064a\u0646 \u0627\u0644\u0628\u0631\u0646\u0627\u0645\u062c"},"th":{"language":"th","value":"Program synthesis"},"da":{"language":"da","value":"programsyntese"},"fr":{"language":"fr","value":"synth\u00e8se de programmes"},"he":{"language":"he","value":"\u05e1\u05d9\u05e0\u05ea\u05d6\u05d4 \u05e9\u05dc \u05ea\u05d5\u05db\u05e0\u05d9\u05d5\u05ea"},"zh":{"language":"zh","value":"\u7a0b\u5e8f\u5408\u6210"},"ko":{"language":"ko","value":"\ud504\ub85c\uadf8\ub7a8 \ud569\uc131"},"eo":{"language":"eo","value":"sintezo de programoj"}},"descriptions":{"en":{"language":"en","value":"task to construct a program that provably satisfies a given high-level formal specification"}},"aliases":{"eo":[{"language":"eo","value":"programsintezo"}]},"claims":{"P3417":[{"mainsnak":{"snaktype":"value","property":"P3417","hash":"035cd918eb16620609ceb230c6def0d7df6351dd","datavalue":{"value":"Program-Synthesis","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4117718$233ed092-41b9-d9b9-5247-843524e14320","rank":"normal"}],"P6366":[{"mainsnak":{"snaktype":"value","property":"P6366","hash":"151cae82ffd9db7d36c13367d002ac23b28930a3","datavalue":{"value":"2776937632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4117718$55C27C7C-9DF5-488F-9699-6F282FC12DB9","rank":"normal"}],"P646":[{"mainsnak":{"snaktype":"value","property":"P646","hash":"dd8dc6199ff0a8d1280b9655dc0ecd416117068f","datavalue":{"value":"/m/02hn17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4117718$FFC2E6D8-534B-42C1-AF82-EF5FC08AAE70","rank":"normal"}],"P10283":[{"mainsnak":{"snaktype":"value","property":"P10283","hash":"30f3a197ebbd733b7b1049ec76747f3e76e58305","datavalue":{"value":"C2776937632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4117718$5AA9BA62-4A27-46C6-A026-F1629EA32ECB","rank":"normal","references":[{"hash":"c13ba4d7902ead2693f79396bc25bd35d4d14030","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"4a4f26a5361b5707266e48e425bf2be2f99fd2ab","datavalue":{"value":{"entity-type":"item","numeric-id":107507571,"id":"Q107507571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"435834d08182bb9f3dbe974ba9840af0f12899cc","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}\],"P854":\[{"snaktype":"value","property":"P854","hash":"a4a4bf53f22268815c51ec10fed608da703c9c7f","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}\]},"snaks-order":\["P248","P813","P854"\]}\]}\],"P31":\[{"mainsnak":{"snaktype":"value","property":"P31","hash":"e1e5707a00c08fac3e8a1e6ea88416e7c20be924","datavalue":{"value":{"entity-type":"item","numeric-id":188267,"id":"Q188267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4117718$3a99de7f-45ab-12ba-738b-9dd2150fb785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"cce22c50ede23b4fb5e5e61e741220fc0a011cc3","datavalue":{"value":{"entity-type":"item","numeric-id":3435924,"id":"Q3435924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4117718$fc018867-45fb-25e8-938d-cf41cdfef65e","rank":"normal"}\]},"sitelinks":{"arwiki":{"site":"arwiki","title":"\\u062a\\u0643\\u0648\\u064a\\u0646 \u0627\u0644\u0628\u0631\u0646\u0627\u0645\u062c","badges":[],"url":"https://ar.wikipedia.org/wiki/%D8%AA%D9%83%D9%88%D9%8A%D9%86\_%D8%A7%D9%84%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D8%AC"},"enwiki":{"site":"enwiki","title":"Program synthesis","badges":[],"url":"https://en.wikipedia.org/wiki/Program\_synthesis"},"frwiki":{"site":"frwiki","title":"Synth\\u00e8se de programmes","badges":[],"url":"https://fr.wikipedia.org/wiki/Synth%C3%A8se\_de\_programmes"},"jawiki":{"site":"jawiki","title":"\\u30d7\\u30ed\\u30b0\\u30e9\\u30e0\\u5408\\u6210","badges":\[\],"url":"https://ja.wikipedia.org/wiki/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%A0%E5%90%88%E6%88%90"},"kowiki":{"site":"kowiki","title":"\\ud504\\ub85c\\uadf8\\ub7a8 \ud569\uc131","badges":[],"url":"https://ko.wikipedia.org/wiki/%ED%94%84%EB%A1%9C%EA%B7%B8%EB%9E%A8\_%ED%95%A9%EC%84%B1"}}}}}