{"entities":{"Q6045014":{"pageid":13179170,"ns":120,"title":"Item:Q6045014","lastrevid":41180746,"modified":"2025-04-18T19:04:45Z","type":"item","id":"Q6045014","labels":{"en":{"language":"en","value":"Syntax-guided synthesis with quantitative syntactic objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689220"}},"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":"Q6045014$CE32ED2F-1CB6-4E27-A406-2EDFD8C11867","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3777b491e64c6491763a5cfbcd35f55584b9e59b","datavalue":{"value":{"text":"Syntax-guided synthesis with quantitative syntactic objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045014$0C8DEA1A-115B-422D-97CC-0FA2FD777B5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd1738b3f7a84a11fecb1160630478c3e28831e8","datavalue":{"value":"1511.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045014$57F273B2-42D7-4F1F-AAF5-B2BADB080A27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7e528c17caf3ece1db78e3e193d4f938f2f7501","datavalue":{"value":"10.1007/978-3-319-96145-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045014$1740C3F4-4C5E-4CDC-80F6-31AAC9BB2D1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"620edc17ab0fc22b37a6820bd43740006430e564","datavalue":{"value":{"entity-type":"item","numeric-id":832154,"id":"Q832154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045014$097508B8-EDFB-4F56-8559-FAAAA7008954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2899f19d42d5dc4ca3849af955d8da8a1b7e96c6","datavalue":{"value":{"entity-type":"item","numeric-id":746775,"id":"Q746775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045014$E9F019D6-41C5-45B7-AFBF-61113CEAB201","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045014$51F126C6-3832-43BB-A6AA-F3234AF23CB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-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":"Q6045014$9700986D-27F8-4497-814A-7FF122135894","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045014$D9C09197-FD0C-404A-910C-C2C824B2ECA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09aa302dd9dd449a4fa8f089a58d5cbc0c46e222","datavalue":{"value":"7689220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045014$A31D74DB-CD6F-4776-8A4B-E5A754F60617","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":"Q6045014$224AB79F-3ECA-4145-8A33-4AE3F1264CD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc1743841b9992e0638a29e1738322d1fd472acc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96145-3_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045014$3E9F2F8A-6EB8-4BCA-9045-F257826D81DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f01f1f27ef3fb737c69b02719eb8ddcda0acecb0","datavalue":{"value":"W2884889320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045014$9151258A-B103-4DD6-BF88-822874F92D4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42cace2ddf6019b7cd2939e3da583d3a9bc71c2a","datavalue":{"value":{"entity-type":"item","numeric-id":2233503,"id":"Q2233503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f451785e652cf5d0452fd6b22553237b09eee7","datavalue":{"value":{"amount":"+0.8783977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045014$F642C09D-374F-4BDB-A450-1B04A886A2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76430408839073aad30f93fccd447c612ac6c481","datavalue":{"value":{"entity-type":"item","numeric-id":2149966,"id":"Q2149966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139c457641576599f8a237c1ea765614e40afede","datavalue":{"value":{"amount":"+0.8582632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045014$A3A59C14-C784-4481-A39D-42B31DBA5688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"401d6d8413c98ac093aaf6c8a52bac0ef7d9c281","datavalue":{"value":{"entity-type":"item","numeric-id":2096443,"id":"Q2096443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b05e7603aa170ca6b324094cae572b3843c3ecb","datavalue":{"value":{"amount":"+0.8273275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045014$DDEF6AA7-683F-4C3E-B5D1-F563B7A613A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a27442296ff2d9bee7c1d11d0e5e813e829312a","datavalue":{"value":{"entity-type":"item","numeric-id":5588658,"id":"Q5588658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f565238a13b44ed4a1b1e058fb8dfc15956e5c9","datavalue":{"value":{"amount":"+0.8247179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045014$DD8FEE1A-E53D-484B-A174-E49643E86481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b52dcb3a43fd3c0922cb00c393eae30968be3c8","datavalue":{"value":{"entity-type":"item","numeric-id":1652968,"id":"Q1652968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55ad0300f06c61dee492245ef25694701e9e22c","datavalue":{"value":{"amount":"+0.8245198","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045014$13C3FE4C-D17C-417E-8B86-4327640EB7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fb1657427495232c5ae2608a0e6d15ca998a89","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c190f34b6b494998c38054c56c03c9f2daa7f72","datavalue":{"value":{"amount":"+0.8231894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045014$F5A85B0D-1CA2-4D31-BB5D-491FD9EECCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88ee59f685486073e6b4f04ebb3d5fa59e5a1220","datavalue":{"value":{"entity-type":"item","numeric-id":2234081,"id":"Q2234081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"043cb7856852246be85c379b3372288213eb456a","datavalue":{"value":{"amount":"+0.8227769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045014$E407B1A1-ADB7-430D-A84B-4D9824F37B0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045014"}}}}}