{"entities":{"Q1822935":{"pageid":1833677,"ns":120,"title":"Item:Q1822935","lastrevid":71369781,"modified":"2026-04-13T21:48:21Z","type":"item","id":"Q1822935","labels":{"en":{"language":"en","value":"Inductive syntactic synthesis of programs with FOR loops and interpreted functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4113951"}},"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":"Q1822935$6DFB2EF7-05AD-4826-B11D-021CE9BF1A37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4252811a577f596e4a1d9e9b679ec7657ea34c2d","datavalue":{"value":{"text":"Inductive syntactic synthesis of programs with FOR loops and interpreted functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822935$DDA38347-2728-4145-8DC8-515D0FFB6309","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c4332eff6e3dc3d928823493bf9b01d493936b6","datavalue":{"value":"0679.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822935$91B17D56-9100-451A-BE04-7E8B636DE16D","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":"Q1822935$7A9A98C5-186B-47BD-8060-3230E604C1B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1822935$9618BA98-0DE2-4014-8EE4-8175E6D6F850","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822935$8F1C0AE9-A42F-4BBB-A466-8C06EEC69525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822935$2DBC6C69-575E-4C17-AB90-EA65785360AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c7a19485bc2d122fff791f817b53d2121349756","datavalue":{"value":"4113951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822935$B3B13342-183F-4065-88D7-2309C19D18D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef74820ec3f29beca85f99198f676c2e27ce060","datavalue":{"value":"inductive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822935$4A045D29-36AB-4369-BEA9-4240986B4FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a0e02729ab7bee336a84486efb5159e483682e","datavalue":{"value":"FOR loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822935$8AFB1505-F555-454A-9364-647200B3E5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822935$D79DE903-A28D-4983-923F-80043755F07F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec3b29744c0c4a5e008618686519803ba2d0b097","datavalue":{"value":{"entity-type":"item","numeric-id":760794,"id":"Q760794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822935$A5B2E433-3593-494B-8BD7-8A748EFA1B51","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":"Q1822935$EA30B77D-AE5F-4616-8F8F-45477E95A0D5","rank":"normal"}],"P1643":[{"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":"ef05adae5a8e79bad5b17477d13bb4c02b238fb8","datavalue":{"value":{"amount":"+0.8734422922134399","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":"Q1822935$6762EBDA-FDE7-4361-8D1C-9DC09C425702","rank":"normal"},{"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":"11d7d193465c5736f0551a7808974880066846dc","datavalue":{"value":{"amount":"+0.860606849193573","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":"Q1822935$33E987DE-F30F-43D9-9A64-DD05C6235C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4820f7f374f046f13524728a53d62c6561ccc706","datavalue":{"value":{"entity-type":"item","numeric-id":4560355,"id":"Q4560355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392b7afd70dd97eb0f387db43a9d884eb289d5ad","datavalue":{"value":{"amount":"+0.8490661978721619","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":"Q1822935$95184D08-AEA7-4722-BE9C-CE481C65BBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b1b39b51e548e9a323f96cd9858b34b0f8886d4","datavalue":{"value":{"entity-type":"item","numeric-id":3804227,"id":"Q3804227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba48dee0fb452d2f836f0ffabcfd3651da0c9bb","datavalue":{"value":{"amount":"+0.8353937268257141","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":"Q1822935$C20C52D7-3D24-4499-B276-C4C9CD68B250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9622cc6664ed4e01582b620ea97ad439ea37263e","datavalue":{"value":{"entity-type":"item","numeric-id":3698289,"id":"Q3698289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e23cdf62775990e283c740134bfd5f86a65400c","datavalue":{"value":{"amount":"+0.8175968527793884","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":"Q1822935$F723F283-5934-4650-BB29-BC1CE070AB86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive syntactic synthesis of programs with FOR loops and interpreted functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_syntactic_synthesis_of_programs_with_FOR_loops_and_interpreted_functions"}}}}}