{"entities":{"Q6857442":{"pageid":20641291,"ns":120,"title":"Item:Q6857442","lastrevid":84257522,"modified":"2026-05-14T07:16:01Z","type":"item","id":"Q6857442","labels":{"en":{"language":"en","value":"Generating streamlining constraints with large language models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8160376"}},"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":"Q6857442$C29D588A-B428-4A93-8FBA-4F56BA4E8239","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31af7acb882ce10de93943c71e4a1236ab878278","datavalue":{"value":{"text":"Generating streamlining constraints with large language models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6857442$3ECC4C29-ED30-4538-BC33-64F2DCA23DCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39c7e4242a0e2f8a94f1de1c1ab597d5493fb056","datavalue":{"value":"10.1613/JAIR.1.18965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6857442$94520C9B-4244-40DF-B75D-1D06162C704F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6ceba7da07323d5d6e8581a29aceef502ca3672","datavalue":{"value":{"entity-type":"item","numeric-id":6857440,"id":"Q6857440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$39961592-C164-465A-811F-088D03F89BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"638e442a0f02533019f7a2622ddfdba3a9f7ef24","datavalue":{"value":{"entity-type":"item","numeric-id":6857441,"id":"Q6857441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$3708ED32-51AB-43FB-8CDF-8CB0B34ACAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$41560F9A-1C7C-425C-94D3-2AA493D98B84","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":"Q6857442$473771FB-DCD4-41F9-9367-3C03E50E818F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ab553dd1bd28476a7d9aa3fd9ecf1a261e578e9","datavalue":{"value":{"time":"+2026-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6857442$B4D2EED4-7650-43C7-AA98-08B295ECFB9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6857442$6F47E1BE-668D-4A06-99D3-DCFF3BB2E1D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca1e6a3687591d7f0e3fbe68208f50686bd2390a","datavalue":{"value":"8160376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6857442$C2D795B9-46A2-4A45-AE41-787A185C67F6","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":"Q6857442$114810F9-8034-4618-AFC5-C33109BB007F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6857442$4A7D3A87-2C73-4CC8-9489-6169A3303EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6857442$7C84524B-1BC9-4A76-8123-B9213D507F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6857442$F1C85E4F-C4D2-4961-85D2-B158ECD12DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baeaf27c29b44a613ac26700723ca8323310e938","datavalue":{"value":"problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6857442$9D524E32-4549-4EE4-8392-CC98AC9E34CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6232a2ad26f2a825f52c3322d7bb34517098c761","datavalue":{"value":"language model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6857442$C6F39644-FC87-41E7-B707-0976FB531FD6","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":"Q6857442$77F94AD5-8DF8-4C08-A9F6-E3C4916F4989","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1b73eb368ec90ceaaf1ef0f83df30fc135548c","datavalue":{"value":{"entity-type":"item","numeric-id":2163883,"id":"Q2163883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$2EA0B295-423B-48E1-A062-6E2CAE1675F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7447093dfb6443125b45cc19fa57563e1964e9be","datavalue":{"value":{"entity-type":"item","numeric-id":5265097,"id":"Q5265097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$C7165361-01BE-4222-BC55-BEB8B194EA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606f43f7beae26315122d58b015bb62a90c0a4ba","datavalue":{"value":{"entity-type":"item","numeric-id":2342647,"id":"Q2342647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$179CB5BC-644D-4D2B-8408-06BE614FB347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffef11780a981fadb536643d3d421f2d3a71c6bc","datavalue":{"value":{"entity-type":"item","numeric-id":4475664,"id":"Q4475664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$3B296B7A-503B-406F-8395-E017249BBDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"317a5ff101e04b756e8c31eae17e064dda295eb4","datavalue":{"value":{"entity-type":"item","numeric-id":2011576,"id":"Q2011576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$DA575DED-41D5-472A-8576-729EAB436B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aed2e5c8472c8d7d89aed53e5787a7b02d3e91","datavalue":{"value":{"entity-type":"item","numeric-id":835808,"id":"Q835808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$E13BBF1F-F08A-4578-AEEF-3A02BE4DD55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d24af026b9e49a848262500d886c8e1b74582a","datavalue":{"value":{"entity-type":"item","numeric-id":2457611,"id":"Q2457611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$CA205AB8-68DB-49F7-A650-2E987567922F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149de6cdbd9086a3c48da662d02e45ecb17b97f0","datavalue":{"value":{"entity-type":"item","numeric-id":4424851,"id":"Q4424851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$74452FB4-A6D1-4735-8FDC-93F303FFA799","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":"Q6857442$FAAD8F98-0F36-458F-9AD8-4130921B4213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601e8f42f53703da76a364c7c403bb369bdf2f7d","datavalue":{"value":{"entity-type":"item","numeric-id":5900299,"id":"Q5900299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$27A78B41-A32A-4299-9E62-93DE89815B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97dc2f341514a626fa15ae1dca7bd36a61e7ff4","datavalue":{"value":{"entity-type":"item","numeric-id":2181927,"id":"Q2181927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$B55250FF-154E-41AB-8539-4DC416C68778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"885d913d2a21ec52543d385e15ed26294cc11df1","datavalue":{"value":{"entity-type":"item","numeric-id":2152271,"id":"Q2152271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$8E3C1AD8-EAA5-4EF5-9832-162222EED617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49245e0aa29f3d0b8a4f3aa138d592837bd9a7fb","datavalue":{"value":{"entity-type":"item","numeric-id":4083461,"id":"Q4083461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$4C3E1982-0D9E-440E-82E1-A51A630A5D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$22B15C39-C5DA-4773-8926-B31582E3AB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c088a5b31cf67ef264b67ed82b101511cc2ac0a5","datavalue":{"value":{"entity-type":"item","numeric-id":637054,"id":"Q637054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$4297ED74-D8DD-4861-87FD-9AD3E1E8261B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b66434183b950ad4b1f0ad684387fb4313b8a3","datavalue":{"value":{"entity-type":"item","numeric-id":6161503,"id":"Q6161503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6857442$1E35DF39-9F95-4C44-B02F-AE1CB59DE999","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating streamlining constraints with large language models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_streamlining_constraints_with_large_language_models"}}}}}