{"entities":{"Q6161231":{"pageid":13296112,"ns":120,"title":"Item:Q6161231","lastrevid":57126768,"modified":"2026-03-26T17:25:08Z","type":"item","id":"Q6161231","labels":{"en":{"language":"en","value":"Synthesising programs with non-trivial constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7702725"}},"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":"Q6161231$6CC5A9F1-F351-45D7-BC75-0F45DAF2973A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd5969754c8b2f767275dd098d10b9c66d42f5c6","datavalue":{"value":{"text":"Synthesising programs with non-trivial constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6161231$56597AC4-DD85-4233-A2E9-5DE7CF976FEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$BE4155A3-0846-4C4C-922F-87B4B7A13527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20dd65c281e6e985b6ecebe81cd888c922b7f37c","datavalue":{"value":{"entity-type":"item","numeric-id":1799120,"id":"Q1799120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$E403A6F6-EAA8-4065-AA4A-7B105DA05E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$3DF90D2F-991E-4379-950F-E8A3C5AF0E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"090a113d0db9fc2697284494c2b1b7aae1b147ef","datavalue":{"value":{"entity-type":"item","numeric-id":436397,"id":"Q436397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$2B2CB9B8-9F4C-4602-AD85-D1158208BFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3384fd3652de57b82c4f35c7e47837450d830511","datavalue":{"value":{"entity-type":"item","numeric-id":2303882,"id":"Q2303882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$4A02F00E-31A6-4D1F-9C95-1EB3F9D0DE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$CE910C16-3937-4A80-A2CE-9B7AB130CF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13de3494ce2f2698a5acf6c7dbff7bb0aaeeb31","datavalue":{"value":{"entity-type":"item","numeric-id":1693114,"id":"Q1693114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$532F8D25-5779-4D32-9A9A-3547342FDFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$345A392C-923A-45C6-A814-837127AF9DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$F096B2AA-3705-49EB-987A-66EBBC696078","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$9C46C61B-A943-42F6-BDE1-A19416139AC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52958a1a3302f5b699063490fddb5552c7118c47","datavalue":{"value":{"time":"+2023-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6161231$B7157A2D-BB50-4FF9-8E00-FDCF52AC9452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161231$6EF726FF-8CA0-4401-B88F-40E25E891F7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a26479401a1b8b5990a8cdedf1ea19fc315e6042","datavalue":{"value":"7702725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161231$7FD6FD6C-79A0-43B2-9A1E-1FB95C4EF14E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161231$A1293982-7EE5-49EE-9CE3-474BAF2EE815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161231$14633EA1-A745-4EAB-94CB-38B32DF3816A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161231$58F1170F-BF9F-4E9A-9A57-AE8289A88ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df57dfdfaa76bf324bd962423ecd702fa4d9f45f","datavalue":{"value":"counterexample guided inductive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6161231$CF1EE01D-4DFF-424F-9168-608F8591E4FA","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":"Q6161231$9B627184-6AA2-4ED1-A6D1-3D3B5784EDB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92ccdfd65c8259c114f72587d92079349c5fd26a","datavalue":{"value":"https://doi.org/10.1007/s10817-023-09664-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q6161231$4E204AF1-FC77-4654-B5AB-622B185313B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c7a8627f0d72da03d1c318f2e8b8dc9ba5d9191","datavalue":{"value":"W4376612696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161231$918761D4-C92C-4F1A-B433-A356CE5C9B3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787c7f3cb61acca16f17ad60318f0f784520c26a","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$9C3E8D15-B2DC-4ADD-9C64-645DBA37095B","rank":"normal"},{"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":"Q6161231$DF7AD104-E023-44EE-B741-13BF10D5D043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6820d466f20a132975882100c6125897eef0f140","datavalue":{"value":{"entity-type":"item","numeric-id":5309032,"id":"Q5309032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$D043EE06-279D-4699-B1EA-611B8F731DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$A3626608-1765-4CAF-B301-E768C4706B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db294172f2580f7d59555f1b1ec946224fcfc76","datavalue":{"value":{"entity-type":"item","numeric-id":3460078,"id":"Q3460078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$84C5D8D8-4F6A-4C8A-AF95-F00732A17966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$07A0E601-B94F-4E88-854E-01AE091C5D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83466e113131362bd7fe3fe8e99c12e4eec25bee","datavalue":{"value":{"entity-type":"item","numeric-id":5370893,"id":"Q5370893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$D24904A6-DCEA-4986-8F93-7FBE54875873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$055507DD-9371-45A1-9F5C-E266E6E5B658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9005444265be022947046af02bafab842817cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$620F86DB-9D90-4475-9248-E08CBE77C7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$A6122822-33C0-440F-8667-A8232AB6AD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a4442289026820b7027dccee6f13b285f8b2fc","datavalue":{"value":{"entity-type":"item","numeric-id":3863048,"id":"Q3863048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$08222107-3618-455B-9C2C-2B1E1AFFD38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951b0d64fa001352bd85440b66bf6883d66476f8","datavalue":{"value":{"entity-type":"item","numeric-id":2050109,"id":"Q2050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$B074D785-5813-41B5-84A7-02721FE9B8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$46D865A2-DA3C-4F8D-B5BB-16BA40778C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bf82aa5c825000208c5b437043a5cc9fbc4323","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$2657A32B-4A01-49CB-9194-01FCB2800D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3f5b196c0df4a4076dad9269fa5296f4cdaaab","datavalue":{"value":{"entity-type":"item","numeric-id":1688537,"id":"Q1688537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$AAF9C37C-DDF7-4C83-9019-1ECCDD78B384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bb4d2c252d1eb3d8da28eeb3b753da471cd740","datavalue":{"value":{"entity-type":"item","numeric-id":1799121,"id":"Q1799121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$E5ACD1B2-AE5B-419F-8B17-5F09D75986BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f97e4cf93700824739384524ef8d401c8672b86","datavalue":{"value":{"entity-type":"item","numeric-id":1306791,"id":"Q1306791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$DCA29B37-F219-4721-B896-46D1592CCF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c7b055911e0d8bf3643774d009ace3842f48bd","datavalue":{"value":{"entity-type":"item","numeric-id":4427902,"id":"Q4427902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$1376626B-975B-4899-9FC6-8FF46A228115","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df81400e13b43bb46576e650d19797f091d42103","datavalue":{"value":"10.1007/S10817-023-09664-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6161231$9ECCC910-0A2D-4B24-8EB7-A7D5A01C0782","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6161231$8B8302FB-F459-4F6D-B3EA-08F60A6DF0D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6161231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6161231"}}}}}