{"entities":{"Q1674868":{"pageid":1685609,"ns":120,"title":"Item:Q1674868","lastrevid":68114235,"modified":"2026-04-12T21:31:33Z","type":"item","id":"Q1674868","labels":{"en":{"language":"en","value":"A theory of formal synthesis via inductive learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6798470"}},"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":"Q1674868$36023696-C005-4112-8A2D-5055B29DF503","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53ef72944755c57cbdf058a39296b608cb2239d6","datavalue":{"value":{"text":"A theory of formal synthesis via inductive learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1674868$454DF96C-C4B3-429C-A83F-B97C40CE0F99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8470c8501ea83615456d6f7bf2d7cce740430122","datavalue":{"value":"1380.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674868$C6C94EB6-95C8-483E-A1CE-7C22A28450DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a296810d98592f06eddf0cf2517e61afc7ea79d8","datavalue":{"value":{"entity-type":"item","numeric-id":682354,"id":"Q682354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$39016CF4-A0E4-4DE4-B048-3F3BE3521CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$8FA66AEE-8DCE-4EED-A47E-ED0DBA42F5D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$A9D96EF1-2998-4B76-B0A0-73700CCD6103","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63221386fd3fb17da1d2e113c95966dd8800daad","datavalue":{"value":{"time":"+2017-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1674868$D127497F-EF71-4D34-B606-6AE7F7668350","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e58f9b8bae8a44f9173d3ded15b49775193ed650","datavalue":{"value":"https://arxiv.org/abs/1505.03953","type":"string"},"datatype":"url"},"type":"statement","id":"Q1674868$589BA1C3-5C7D-42A8-96E5-41505F6E7949","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674868$56123865-3525-43F4-BB47-283BAE3E1D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674868$C45EC7AA-32C4-47F3-BAE3-6514918AA70B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2111e7f0f5e7ee120df356401360fd1b0b8e3e7e","datavalue":{"value":"6798470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674868$E296ECEC-43AC-446C-8785-0FBABE8ABA9E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f6c09af238d311ff3fde96b779a91b0867af3f79","datavalue":{"value":{"entity-type":"item","numeric-id":16649,"id":"Q16649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$6B2E97BE-E804-4ADF-BF91-2631DEA2D2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$9F65F454-42D1-4818-B4E9-15F7D88DE9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$E72EEB6D-74F9-4F10-9BAF-6AA44D875A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$76E66754-BA6D-4CA9-B04C-CC57B1E531C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$95E65A92-B799-4B6C-AFDB-1728B5A1DBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd1f11f1c714006456b4bd54bab92a11b4a8c134","datavalue":{"value":{"entity-type":"item","numeric-id":40388,"id":"Q40388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$B7CAFDBC-3BE2-4E2F-899D-48C50EBFDD7E","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":"Q1674868$028D79F1-DC4D-44D4-B0B6-02C90EF9BEA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b7610a46063931e667a16958cec6de998f74ef6","datavalue":{"value":"W258469679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674868$84C1FEB9-4E66-49E8-B55A-9D88EB327FB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b40c59feb183e6f32a8e2fcf3769d2018e89bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3910029,"id":"Q3910029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$0A3165A4-022F-4D26-9DEB-0CDBE543BF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$B978CA8A-992C-4762-897D-1DFA3C1CC025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$A33C7FA2-0023-4499-A019-4397DAACDE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb01b5e273a43c6e5f8af95d2c5d32adc089d9fd","datavalue":{"value":{"entity-type":"item","numeric-id":1426146,"id":"Q1426146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$48467788-BB63-4EC4-BE0A-36D210520BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92042365b91279004f33ab8fc0e2fe77227bca09","datavalue":{"value":{"entity-type":"item","numeric-id":3224694,"id":"Q3224694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$3472AB36-55CE-4394-9F00-6C71D65ABEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc77de3644248ac328d0c18956ad21c33a09262","datavalue":{"value":{"entity-type":"item","numeric-id":3651277,"id":"Q3651277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$96B927C7-E2E9-4509-84E9-C89B46976AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0262656e41c382f9f5a9a7b3bb892ab61ed599","datavalue":{"value":{"entity-type":"item","numeric-id":5270493,"id":"Q5270493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$A684026E-AED5-4F41-B3A6-59EC25C995F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$B7E5C1E6-0C7A-4DB9-81EB-91F89679807C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38edea1b938fbdd8a9623a6542490f846108277","datavalue":{"value":{"entity-type":"item","numeric-id":4154852,"id":"Q4154852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$79F2AE2E-A3B4-4783-A2AD-536140B2196C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eceee8709c432551836aeb4f4aa8499755cd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":3474905,"id":"Q3474905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$2546ECBA-ABC0-40F3-B225-83E4C0D9B5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$B19F7D24-4BA6-4815-970E-F94D1DAF9A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$BD4A4278-C7AF-465B-86B0-435E97D95B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49978a47a987baf6d9fd9bb2f5d00b7e2641285e","datavalue":{"value":{"entity-type":"item","numeric-id":3142590,"id":"Q3142590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$5B74E269-8D19-4FF0-B160-355C6DCD0CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$199C35F5-BC9D-4AA6-AF4F-65C007C39B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b7c5cf81a3d0dde60b2f7ecda8056d70b39564","datavalue":{"value":{"entity-type":"item","numeric-id":924177,"id":"Q924177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$C387BB52-7410-4628-8582-D8B263D23D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d071c0e63ccc4acf5f859969db29f7f9386afa","datavalue":{"value":{"entity-type":"item","numeric-id":1384530,"id":"Q1384530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$F97F5051-B755-4492-A045-C5690EA8DB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57fa4e4eadb15d8ddc793a88f24177bfa96ef45e","datavalue":{"value":{"entity-type":"item","numeric-id":2464142,"id":"Q2464142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$44C198A5-E0B4-424D-A3FA-B8B381A0BC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48550a220b8a7a8b0e1138d37f4d96f3c70412e","datavalue":{"value":{"entity-type":"item","numeric-id":3041172,"id":"Q3041172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$A4990875-1863-46BB-880B-4CDC467D3435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1287ce212309ee4ddd9b507d9a84e962109b2c30","datavalue":{"value":{"entity-type":"item","numeric-id":1674868,"id":"Q1674868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$32095451-8918-4183-9940-7E3A133EC558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ef40209070f53c5b819652f794f4a0ab042bfa","datavalue":{"value":{"entity-type":"item","numeric-id":2986909,"id":"Q2986909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$A431DEED-0687-4837-B944-1894EDFE5AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb5cd956869bcecb93dc9ff4ec8e54b123ea99d","datavalue":{"value":{"entity-type":"item","numeric-id":2390327,"id":"Q2390327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$80E300B8-9192-4F74-99B9-39BEC364EF58","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":"Q1674868$C43E9252-5F4A-4DE3-8B68-0868FA9D1166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$A3F42BDA-B251-4077-8796-E9080B2A14AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40d55c384e43c0f7f459b4c221814c7ba3e671","datavalue":{"value":{"entity-type":"item","numeric-id":4398828,"id":"Q4398828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$67E23DB4-3B18-41B7-AE52-A34B282086F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$740DAC00-0BDA-40DB-B198-0A75C8AB1858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$FB8A790D-FD3C-4ECA-AB54-ED12D4EB23DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$36D1A76B-D2A8-463B-AEDE-9EA974B3AF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b2784184dd3750afe242ed3f86509e54d5455f","datavalue":{"value":{"entity-type":"item","numeric-id":3718124,"id":"Q3718124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$649E055F-F632-423A-82B6-B8D2627FA157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0741e1f99ce43c808f833717b01c6f2185b25475","datavalue":{"value":{"entity-type":"item","numeric-id":749233,"id":"Q749233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$7E4BC469-6708-4081-8C92-1AADAFFA777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$8B674425-251D-4D96-8AC7-8449D27ECC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$C1660C62-A894-4C2E-9F22-4EFFB6D315A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55670eeffeb14e6ce51166fb8470acff9c12ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5660314,"id":"Q5660314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$29FABAB7-5609-4E22-9B02-2765D82F1225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17342be78775b7f080b22362cb2eb639ca14ab71","datavalue":{"value":{"entity-type":"item","numeric-id":4654002,"id":"Q4654002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$941D890B-9324-49F7-9BDA-045194583DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b0ce019173b2dfb0c0bbe3badbb0b6371496e2","datavalue":{"value":{"entity-type":"item","numeric-id":4115138,"id":"Q4115138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$A70EE920-5A08-4A1B-9A20-68D6062B49F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"444b6f3dce0f08cf1778081ebada7186bb48cbc6","datavalue":{"value":{"entity-type":"item","numeric-id":4282560,"id":"Q4282560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$07CB102E-088E-494C-8C83-9C7B0B7AD65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1674868$E31088F7-4DA1-4CAD-9371-4C7EF5BED971","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56064b2243d1e8b95c6c01774f11f19bf349701f","datavalue":{"value":"10.1007/S00236-017-0294-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1674868$B7BD073E-AF14-4D03-90FC-04AA165B0F8A","rank":"normal"}],"P1643":[{"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":"d1dac366c77ed694e56a5aac51ec3223e2334591","datavalue":{"value":{"amount":"+0.7855290174484253","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":"Q1674868$CF669ED7-B243-4F6F-BD23-ED3FAB1BAEB0","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":"92bd2561d7d2f58bf69ac7bd8f01cd08b18bc5bf","datavalue":{"value":{"amount":"+0.7513217329978943","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":"Q1674868$AE785832-891B-4038-A0C8-DEC5CB5BE297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e1607a8f63bdf410541c509fff702f3ebce1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2303879,"id":"Q2303879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9673c2a01b0c792521deb35ca4be0c32428b907c","datavalue":{"value":{"amount":"+0.7501239776611328","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":"Q1674868$CAC2E714-7471-4754-9CAD-425B5EF347A0","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":"1dc4023a34a74811de399863048dc1dd20aef1e5","datavalue":{"value":{"amount":"+0.7411548495292664","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":"Q1674868$26FFAEC4-6FA0-40B6-B418-24CBA17032E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2581c12a75a0c9d896500c637ad68fa005c15f39","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a31ffa602e3e5cff4237ae57b2b8f4d893ca6cd","datavalue":{"value":{"amount":"+0.7410922646522522","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":"Q1674868$D3EA6740-8A2C-4208-963B-B9713C477C47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of formal synthesis via inductive learning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_formal_synthesis_via_inductive_learning"}}}}}