{"entities":{"Q2949711":{"pageid":2960431,"ns":120,"title":"Item:Q2949711","lastrevid":79601654,"modified":"2026-05-06T14:18:06Z","type":"item","id":"Q2949711","labels":{"en":{"language":"en","value":"Drill and join: a method for exact inductive program synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6488539"}},"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":"Q2949711$CFF25BD2-4075-471F-83D2-C700609C92B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48206feb947b55ce2142c9d035c16d225eb89f61","datavalue":{"value":{"text":"Drill and Join: A Method for Exact Inductive Program Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949711$0F7D9B87-62B4-4CDD-8973-85EC20B38FE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e63bf15c90b6eaa182f44bb5ea7b96e8c3558107","datavalue":{"value":"1457.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949711$42189795-DF5A-4082-BDA6-1BC007C466FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bac528c1df2448b99b3f02a2bda009aac0fc3820","datavalue":{"value":"10.1007/978-3-319-17822-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949711$EF1065A7-CA98-4DAA-88D6-555CF1F794BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"085c5b9dd183990c77cff4a164e6324820b7e445","datavalue":{"value":{"entity-type":"item","numeric-id":2949710,"id":"Q2949710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949711$B2F02C97-1A54-4A0C-9A6F-F46A7D61903F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949711$A69900FB-37EC-494C-8032-CD72DD8A44D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37551377838a2209a6b3220ccbcf1fb6b1cdede9","datavalue":{"value":{"time":"+2015-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949711$D120A806-FB67-4ABE-A9CD-901F45334A14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949711$41F0A09D-D025-48A6-B4DA-4BE13A119449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949711$15D4BF08-AA3A-4C9D-928C-D982CD597E72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f85ab9af1bf016fb9beb485942920107fab3c57","datavalue":{"value":"6488539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949711$F1E94792-7743-40C3-A8A2-4F0C862B36CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"979449e9153db950b30a5a904c770b6bed675612","datavalue":{"value":{"entity-type":"item","numeric-id":53831,"id":"Q53831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949711$0EE3B46D-3AC4-46FF-A619-B02125C23F6C","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":"Q2949711$DCA75ECD-0D3D-4119-95B0-D33889A89C88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0de1a7583766170184cb9f1069ed14c9c6910d2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-17822-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949711$11ECF727-A898-4194-B633-2B1320E22CCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a21b93d06c070d91da01786e568a287a1e9e1bad","datavalue":{"value":"W621040983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949711$34250C48-46AF-47B9-8293-7D4D8D27D5BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb160891cbc2854a2a01a5e4b51388e5c63f7e68","datavalue":{"value":{"entity-type":"item","numeric-id":3518982,"id":"Q3518982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949711$8498BA40-70E0-4C9D-B8F7-25D9128E2754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceb28bb4c6d355783334e1ae2916b20c8aa5033","datavalue":{"value":{"entity-type":"item","numeric-id":3093353,"id":"Q3093353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949711$EC17E137-207E-4EBE-B0BE-27495CF780B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b948d3c8f3387544e9b260d04e3145b515846c4","datavalue":{"value":{"entity-type":"item","numeric-id":3617432,"id":"Q3617432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949711$5279BAF6-CF1E-4FD4-A8A2-133095F6D99D","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":"Q2949711$9F486CB4-A6BE-4FB8-92BD-47A6B37B2CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4ef9228dfad96ff5c3b4aaab8190efe08072ac","datavalue":{"value":{"entity-type":"item","numeric-id":3731007,"id":"Q3731007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949711$3FD0118B-57DD-44C6-B1B6-F0F7A6A04E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4172be95ac8cd7e67b27bda59f444461a59de7","datavalue":{"value":{"entity-type":"item","numeric-id":4246565,"id":"Q4246565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949711$583A662B-CD9F-4F99-AA80-0FA2831EA84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949711$139D66ED-B45B-41E3-90DF-DECE9DD94336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5830157e762a20b401daa87a41df511ba6a1cece","datavalue":{"value":{"entity-type":"item","numeric-id":5586372,"id":"Q5586372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949711$E40DF385-74CF-42BF-9571-F663C3A417AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a6177aa920b46e67711b0d857846df95488667","datavalue":{"value":{"entity-type":"item","numeric-id":3093353,"id":"Q3093353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6dc373bf2c2f0185ffcb07aef22156f3f25215","datavalue":{"value":{"amount":"+0.7245621681213379","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":"Q2949711$668A06D5-2281-422F-B3BE-3173BD20F20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55883f4b6ed210a7057519595a9a44967b370395","datavalue":{"value":{"entity-type":"item","numeric-id":1674868,"id":"Q1674868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098a2591530d2fae8c84a249e42ec5576ee3ec3f","datavalue":{"value":{"amount":"+0.7224830985069275","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":"Q2949711$B180651D-A632-442E-A4FF-7517841E798E","rank":"normal"},{"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":"540ab23e1f1b0d5b386a6838866b73bd31e6f282","datavalue":{"value":{"amount":"+0.7207838296890259","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":"Q2949711$C2FF2DD8-79C1-4E11-9022-6EF504E22707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf862734d6779f6630f658dcf3dffef9c9606f6","datavalue":{"value":{"entity-type":"item","numeric-id":3617432,"id":"Q3617432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e29144e1c5ba9662f9ed7b96249bb1bf764285","datavalue":{"value":{"amount":"+0.7171841859817505","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":"Q2949711$57EC423B-8C9E-4877-814A-99EE0D3E297F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79fe4d21beeaabbf3f646a78915b0ac8a153ffed","datavalue":{"value":{"entity-type":"item","numeric-id":1822935,"id":"Q1822935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6dec03fd082ced07b8204e0ce2a420d547fafec","datavalue":{"value":{"amount":"+0.7150353193283081","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":"Q2949711$943D5313-9B7C-457E-B392-61B860E76ED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Drill and join: a method for exact inductive program synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Drill_and_join:_a_method_for_exact_inductive_program_synthesis"}}}}}