{"entities":{"Q6488803":{"pageid":14067572,"ns":120,"title":"Item:Q6488803","lastrevid":103343870,"modified":"2026-06-06T07:12:15Z","type":"item","id":"Q6488803","labels":{"en":{"language":"en","value":"Program synthesis with best-first bottom-up search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7753324"}},"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":"Q6488803$352D8E40-6909-4661-A96D-B69D533B7837","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"651c7b301d01c4b08636e11dbde7f0e1d6498b29","datavalue":{"value":{"text":"Program synthesis with best-first bottom-up search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488803$C9E4C0EC-D7B6-4CF5-B81C-83FC5019312F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36269a9e18f3854364583ea02811e92df018be3e","datavalue":{"value":{"entity-type":"item","numeric-id":6488802,"id":"Q6488802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$76E9EA8D-CC53-4FE9-8CA9-D86D6BB16E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68d314cbf5cdae79a88f1550801e30ee2322d44","datavalue":{"value":{"entity-type":"item","numeric-id":360038,"id":"Q360038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$F4DBB2D5-0EDE-49EC-A9C9-57A421DE5CD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b8a215d385f75fb3e358378de413ed23462bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":6488778,"id":"Q6488778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$F71D7FCE-8DE8-407D-A313-C9DE4EE45F3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6eec0b2a8c1cd05be3ac82759501d90cc4056cfd","datavalue":{"value":{"time":"+2023-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488803$14DF8092-F26A-465A-8527-63700A822D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488803$50B65479-4178-43C0-A542-2F39AE1DAAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488803$F8F91D20-18C4-4F8A-8210-5859F4996120","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c22e8fad573324cfae08c2e099847076a932ebbd","datavalue":{"value":"7753324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488803$DDCF3D54-B220-496C-8F63-BC0644844E7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b6ba98ff19f3860dca8d7a4e1436857f3fff49","datavalue":{"value":"heuristic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q6488803$D60634F4-238C-4A81-B839-7163A9F2587D","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":"Q6488803$5F04C755-363E-4299-AFD0-3C5E3BDFAF93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b08bc38884077be60969868f7bf15be790ad4e","datavalue":{"value":{"entity-type":"item","numeric-id":3303902,"id":"Q3303902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$A942740D-7331-4AC9-9FBC-D69390B8A292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a61c081846871c8a24b9271df7203466950baf1","datavalue":{"value":{"entity-type":"item","numeric-id":5458801,"id":"Q5458801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$E572F576-2469-4FBD-B0CE-2DFB7F498697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa2e78b2c8f62bc01c953d0d9ef301476ca64fa","datavalue":{"value":{"entity-type":"item","numeric-id":4305630,"id":"Q4305630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$46ACAF5B-3A84-4B1F-A4CA-BBCB4E53B55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$5D1467BC-EA04-4D91-8D62-8D71DCB0CCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$95052C50-DD7E-46B5-BFC3-73842C814078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd164a9365d0b56b26397794a343749f485a4186","datavalue":{"value":{"entity-type":"item","numeric-id":5408553,"id":"Q5408553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$72F0742E-7924-49DF-AA23-E9E3CFFC7A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bf723af89a8168faa830fbea5b57ed346bb8e7","datavalue":{"value":{"entity-type":"item","numeric-id":4845469,"id":"Q4845469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$8C123B0F-A160-4536-B286-CBCE1C3CD882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b26b52e432dbd456c2997e91926441e72642f519","datavalue":{"value":{"entity-type":"item","numeric-id":3206282,"id":"Q3206282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$E21599C4-22E0-4C8E-8DFE-78CC29F44A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b0e749695597a922fa42d8c428aa436a92994","datavalue":{"value":{"entity-type":"item","numeric-id":4111079,"id":"Q4111079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488803$C1C0DC8A-5452-445A-9AFC-8F1D55E98343","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4aceae748d957b1695fd2fa370c32ffe27388d4","datavalue":{"value":"10.1613/JAIR.1.14394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488803$8A517044-F386-468D-B74C-42499259F08D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d693f9b18b9ace7f74f21854304ecfecffcb2da","datavalue":{"value":{"entity-type":"item","numeric-id":2828321,"id":"Q2828321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2cfe3e5c34b239f00a0aabe95a7e6fec2e895f","datavalue":{"value":{"amount":"+0.7566825151443481","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":"Q6488803$33C21F69-91A3-47BB-88E7-BF83F3E0FDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db46351b49e31e524b780d30801740bf678703a9","datavalue":{"value":{"entity-type":"item","numeric-id":6045014,"id":"Q6045014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65a7c56daa65bf20d8755f7a8fdb8bfbe393a52","datavalue":{"value":{"amount":"+0.7253203988075256","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":"Q6488803$50CE24A4-E8A3-4898-A966-156356154467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875c39f0995089d63ce597cb84bcb45ef2ea5013","datavalue":{"value":{"entity-type":"item","numeric-id":5021002,"id":"Q5021002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d883c6e2684c0b404f222c5baf9e3832cad9d4","datavalue":{"value":{"amount":"+0.7202115058898926","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":"Q6488803$B24276B9-2081-4177-90F4-61A0CF2DFC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b267c787c8e0ae8ef1ca3d0c2180c62d9ae0307a","datavalue":{"value":{"amount":"+0.718212902545929","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":"Q6488803$F1876D16-CFF8-4479-8F3C-35CFF4E17DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c0fa25f1201d6dd31a7b16c5a37bbe3f3fd6c9","datavalue":{"value":{"amount":"+0.7021839618682861","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":"Q6488803$194314C9-D97A-4340-A48D-82339CA022B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program synthesis with best-first bottom-up search","badges":[]}}}}}