{"entities":{"Q5751930":{"pageid":7781481,"ns":120,"title":"Item:Q5751930","lastrevid":49462798,"modified":"2026-01-07T05:06:51Z","type":"item","id":"Q5751930","labels":{"en":{"language":"en","value":"Solving large combinatorial problems in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4187091"}},"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":"Q5751930$B6F81579-3D99-4425-8AC3-EDB671CA278F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2dd33904bff67da476f24031fba82d52afde6f3","datavalue":{"value":{"text":"Solving large combinatorial problems in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5751930$9BCBEBC4-6CB2-42D9-9601-3A7422AF13CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d379a6eeb5d7eee27dc308d33cb6cff49a8fc9a9","datavalue":{"value":"0719.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$71A6909D-6AF0-49D1-AA5E-3F0BFE5B2E2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65d95eaaa614083a3f09ccd8e0ab659f1485d433","datavalue":{"value":"10.1016/0743-1066(90)90052-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$2D6167A2-9B66-4C5D-84E3-5CB8DB0D5424","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"361433d67351ad62f7771199b4450b5286857534","datavalue":{"value":{"entity-type":"item","numeric-id":265696,"id":"Q265696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5751930$81C79DB4-6FF4-4DB3-BE89-528A9C08BB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5071eb176464eae3490ca51468eb4e98281e6ec3","datavalue":{"value":{"entity-type":"item","numeric-id":262449,"id":"Q262449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5751930$BEC304A0-A05F-4E92-89BC-D589E6BCAC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d24ccff48af2d3087c9fac63d8de199292cef3a","datavalue":{"value":{"entity-type":"item","numeric-id":1969730,"id":"Q1969730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5751930$1976ADE1-8470-4B99-8213-C36AF1B89EFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5751930$DB65C509-6568-4BA3-9FD3-275156FEFF91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5751930$C84359E5-C8E1-4CBB-92D1-A77EB739B4D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$D08664A6-FF79-4F86-8FAD-E8062E0D9AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$8877AB0D-7FDC-4DC6-B097-6ADC3448E986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$E3A7611C-9646-4FA4-A15A-660938A87CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$637BD284-0B8F-4E03-B86F-B491C807489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$E3763A36-D187-4405-8E0F-22E010ACCA53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29cbcfe98a7abfc668d9495422ffd77eb873c3e1","datavalue":{"value":"4187091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$1228875B-7A69-40B1-8EF2-58AFD306007D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5751930$BBB567C1-2223-4AFF-BDB0-C2124293C27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5751930$F2B53D0D-E271-4307-BF30-D0A6BECADB65","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":"Q5751930$B6B43914-3AD1-46E1-8A9E-5F196AB2059D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54359121972958094d0dc7dcf99f3476110e2e84","datavalue":{"value":"https://doi.org/10.1016/0743-1066(90)90052-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5751930$C9464B2C-390F-4914-B67C-43F505CB0C06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f3e8878694d4a37eae461f1c91120d3550375f8","datavalue":{"value":"W2085891301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$ECBCC680-9AC3-40FC-9614-6D2A594EE094","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"62ef6e0f989f6771e0c22f4a75ae3028d7a148d6","datavalue":{"value":"Q56031618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$36C1E9C1-5303-40E6-8726-DE9F666995D5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f07465eb7ec39868653e7da1f6e1466f86810dc4","datavalue":{"value":"journals/jlp/DincbasSH90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5751930$E4FC5DFC-1790-4AC8-818D-C73B6B0ABE47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2464e318eee976b9e43265c773c1c2338879f0db","datavalue":{"value":{"entity-type":"item","numeric-id":918429,"id":"Q918429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb250306835a2871a5fa85eccee5b92af703a3df","datavalue":{"value":{"amount":"+0.9039303064346312","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":"Q5751930$257E8B8B-B6FC-4DFB-8138-3D248BCEBBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08bc749df5cc98207e13aa4a9e54152a47415b72","datavalue":{"value":{"entity-type":"item","numeric-id":1204868,"id":"Q1204868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee200dca3d46fe7b57589e1ede9ed7b8b777689","datavalue":{"value":{"amount":"+0.8108630776405334","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":"Q5751930$D3514176-4F1B-43F0-8FED-BBFDE16EDD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef86fe9272afceff6d84c949f0062883ce676957","datavalue":{"value":{"entity-type":"item","numeric-id":4789482,"id":"Q4789482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eee200dca3d46fe7b57589e1ede9ed7b8b777689","datavalue":{"value":{"amount":"+0.8108630776405334","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":"Q5751930$242A7DFD-6F74-4D23-A552-C8FBBF209091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2c625600cbb4fab9cb2c5a40a0cdaac90043eb","datavalue":{"value":{"entity-type":"item","numeric-id":5096196,"id":"Q5096196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6382a3104635c2b2b8f2ccd56b39cce102e24fd7","datavalue":{"value":{"amount":"+0.7931584715843201","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":"Q5751930$ACFF07C4-645D-47E2-ADBC-EE83C2590A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b924bbbf8f411d503269994fd2284690b76688df","datavalue":{"value":{"entity-type":"item","numeric-id":4347168,"id":"Q4347168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb520e465a8a769221ae2250e85af89e67333c19","datavalue":{"value":{"amount":"+0.7825923562049866","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":"Q5751930$29034588-BCCB-4CA9-9D33-FE9C91FD94A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5751930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5751930"}}}}}