{"entities":{"Q4452595":{"pageid":6482194,"ns":120,"title":"Item:Q4452595","lastrevid":48244717,"modified":"2026-01-04T02:31:23Z","type":"item","id":"Q4452595","labels":{"en":{"language":"en","value":"Learning in a compiler for MINSAT algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048574"}},"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":"Q4452595$DA964FCF-5D8A-481D-AAD8-CD27DDE0DCBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6d4a85d527b7354f65bfdcd89a53d3d628c244c","datavalue":{"value":{"text":"Learning in a compiler for MINSAT algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452595$4A39A34D-6F1A-4D6E-9940-A9527009809E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34d8e5cad22aeb60846610bafb9384ef2a815a6e","datavalue":{"value":"1069.68540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452595$818CD12C-1717-4658-B84E-643978235C2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6e2ca917ca91882721035ffd7a7a81b7f1c4bb6","datavalue":{"value":"10.1017/S147106840200162X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452595$BD76AEFB-A802-4C04-BEFA-FFB15D60A584","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ea33eed547b14db001a1202c427eb0623a14c1f","datavalue":{"value":{"entity-type":"item","numeric-id":812438,"id":"Q812438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452595$8A414C02-F4B6-406C-AAFF-DEF396918C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcefb4747bbb5a6ab761f4e4fe82c408184c2849","datavalue":{"value":{"entity-type":"item","numeric-id":1386418,"id":"Q1386418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452595$3C004C3F-810C-4E97-B6A5-20501357DF2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452595$BF9B4C4F-5915-4E1E-BFCA-0071AE1C80EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4452595$0BD3CE5C-25D2-48A9-B8D7-C56201BDDCF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452595$2ACD8752-F31F-45E1-9A5F-A3534CCC0662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452595$2A79C17C-F9A8-414C-B478-D62921C47B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452595$796012CA-2F36-4BBA-ADB6-1BCDB3D67B2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b9edc04601a033590df79bda0a0529d240ddb94","datavalue":{"value":"2048574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452595$7ACB22D1-EB4A-4D9A-83A7-528AB3B772CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d132b79e21766cc3ee6dbec9bdaee5e329493ed8","datavalue":{"value":"logic minimization problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452595$DC550547-5599-4580-B933-0C3AE2FE5E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452595$D56EDF1C-F40C-42E4-8101-7C385095D508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f582181b0fdb8abec7ffcf6999cff5651291924","datavalue":{"value":"learning lemmas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452595$4A50904F-1E91-4E79-A24A-954BED06E174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5a9851937ed1349f069a757d38ba3dcae946e7","datavalue":{"value":"compiler for logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452595$19443B10-F9F9-43DA-8F0F-B0E15F22254C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3a5596a0a589feb14617ad30dd3d7f2aa3f0617d","datavalue":{"value":"Q122653312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452595$33B13100-5CD6-4FB4-B1B0-7E8AB1A2033A","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":"Q4452595$688919E7-8029-4A95-93F8-9600D0FF95BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af00b1eff7089cc221676dd635211332343b8a58","datavalue":{"value":{"entity-type":"item","numeric-id":2884520,"id":"Q2884520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bbc2f42f1c00edc52857e4430cd81bd707a5960","datavalue":{"value":{"amount":"+0.770609974861145","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":"Q4452595$E2B4580C-276C-4055-B6BC-D04C7962F581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1352ce235c52d066ea015902751833117d4da1","datavalue":{"value":{"entity-type":"item","numeric-id":3064567,"id":"Q3064567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec01cdd4754349be871e37edd0c83db520155f07","datavalue":{"value":{"amount":"+0.6932947635650635","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":"Q4452595$8AA52111-AD79-4977-9CF3-D6606389BD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f6d8b9ca61f1a7a2b15210fa7fe5d7cefc1b9a","datavalue":{"value":{"entity-type":"item","numeric-id":4986506,"id":"Q4986506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404207a94b95ccd5caf8e1726a8aff6333e8f886","datavalue":{"value":{"amount":"+0.6914360523223877","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":"Q4452595$CED117B2-C78C-4FE9-94A2-0582B5EC3950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65e93e4fbb8469cde83b7ef363076e645bdaa8a","datavalue":{"value":{"entity-type":"item","numeric-id":2818006,"id":"Q2818006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af138ba57a1f5f9ba755eebe88df2268337ee440","datavalue":{"value":{"amount":"+0.6912632584571838","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":"Q4452595$00E41DE5-23A3-4859-B0AB-C7E9ECEF50C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1fe7567a66476abf40f59af3f137df58693117","datavalue":{"value":{"amount":"+0.6901938915252686","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":"Q4452595$1F8979B2-7CD1-4D14-87A2-69D535ADBFA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4452595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4452595"}}}}}