{"entities":{"Q4911137":{"pageid":6940716,"ns":120,"title":"Item:Q4911137","lastrevid":58359585,"modified":"2026-04-04T21:19:34Z","type":"item","id":"Q4911137","labels":{"en":{"language":"en","value":"SMCHR: satisfiability modulo constraint handling rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144689"}},"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":"Q4911137$81CFDC9E-4CD8-4D31-AED5-E25EA413EFF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d123674dd56867a67ab71432c1da385dce75161e","datavalue":{"value":{"text":"SMCHR: Satisfiability modulo constraint handling rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4911137$07888E5C-E3E0-4B83-8FA6-23E852DE801C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcec872880dc9148280db6f6c6c14d949af74d0c","datavalue":{"value":"1260.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911137$94D4E66E-B562-46BB-8439-1A6E51E600BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63636ee5fabf78be4264921d816633ce54b26c75","datavalue":{"value":"10.1017/S1471068412000208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911137$A6638A5B-EAD9-483D-AF51-9CD952851AAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcb9bf294a3c8d06051f7a0433cc43998ec1cc39","datavalue":{"value":{"entity-type":"item","numeric-id":2863873,"id":"Q2863873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911137$F11CEFD2-3F06-4840-99CF-207F3FD63D71","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":"Q4911137$7F9BC835-93F5-4D62-8040-CB18D2F678AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4911137$1FB3EDB4-CE9B-4069-8F4C-435F80279353","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ece9037f4a64df0c61ce332dc1107af51cad049c","datavalue":{"value":"https://arxiv.org/abs/1210.5307","type":"string"},"datatype":"url"},"type":"statement","id":"Q4911137$6D6AFE7F-E818-4ED8-8A24-EFFAF9BAC90E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911137$84A2913B-0A85-481E-8832-016FC2B111D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92496cda820435b24ce405ce59c14b93355a53c0","datavalue":{"value":"6144689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911137$34D8F1A0-A8DE-403D-BBD3-9DE02F07B990","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"357989c9c0f905252ef29b48093a903f04012c81","datavalue":{"value":"CHR","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911137$833F228C-5857-40A3-B37C-89414FB65C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911137$042CD73A-B090-48C7-AF63-782CC6C61727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e250aa14265a322a451bc1c369cb9ed70f0b3df","datavalue":{"value":"lazy clause generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911137$92F88A5C-A555-45C4-800F-EC555BCAC6F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"885732700486dd3bd6caf3a52a6aad5c75412a12","datavalue":{"value":{"entity-type":"item","numeric-id":21305,"id":"Q21305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911137$411159A5-4879-4593-8616-582DF4F01C9D","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":"Q4911137$17744088-AD0C-472B-B3B7-795F089EF3C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1f89f7f961b5c0e54d6862c60f4f46bfec3f93","datavalue":{"value":{"entity-type":"item","numeric-id":3616881,"id":"Q3616881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911137$9B9344FC-A7A7-463E-AA2B-012FEF07EBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911137$68545953-496B-4709-955E-6C468D650F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88b520967ed36f663628af59a0a76fced1fab7c","datavalue":{"value":{"entity-type":"item","numeric-id":4339844,"id":"Q4339844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911137$09CDC64E-3B39-4808-B5EA-8746372DB2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5339296e035e26b22e9df3983b70535433a93ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3400960,"id":"Q3400960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911137$F367BDDD-343F-4A78-889E-3F95BA0B216E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6001162ebde1a71c571b2cb37da559aca8aeb55","datavalue":{"value":{"entity-type":"item","numeric-id":2272160,"id":"Q2272160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911137$C892BB6D-0DE0-4328-9DBA-855A95D4FFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911137$10E34A22-1F12-4709-9264-5A8C4567E762","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0990047a9bf6b1e28ab5f35da07bbf2c96d58c3c","datavalue":{"value":"W2138259059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911137$BC0B142C-BB9A-46B3-9FDE-3E2D3842A7F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0c5c0035305f714d1781d4956ff1cd1a05cefa","datavalue":{"value":{"entity-type":"item","numeric-id":4245936,"id":"Q4245936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ddc134eacec95bef67ed8b79c69a69e96a78354","datavalue":{"value":{"amount":"+0.8486799597740173","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":"Q4911137$E9051A08-B25C-4620-A410-5793B40141DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a851bb9ff333690abcdd3ce6701758b4ade35b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3616886,"id":"Q3616886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20016e47856bae5b5922249364eef700ab16b4d","datavalue":{"value":{"amount":"+0.8477577567100525","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":"Q4911137$D302168B-B0B9-4858-A188-9DF75FD38EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39a197c2a28bd37aacdd9c418fc956ce16857e5","datavalue":{"value":{"entity-type":"item","numeric-id":2758293,"id":"Q2758293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9659efb6d35f9d69c237525c045260c7c5d154be","datavalue":{"value":{"amount":"+0.8178002834320068","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":"Q4911137$CE509A57-9A0B-4E19-AF1E-98322C9168B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e935fae483cdd979bbe57424dafd09d67bc3bff5","datavalue":{"value":{"entity-type":"item","numeric-id":2946569,"id":"Q2946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4fb89dec26da3ba703476020180f60809d39cf7","datavalue":{"value":{"amount":"+0.8126946687698364","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":"Q4911137$CBE9C38C-1D98-433E-AC77-7C474D1A3580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46a303b48e26a3427015d4b8546470212fdef6d7","datavalue":{"value":{"entity-type":"item","numeric-id":4737134,"id":"Q4737134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4fbfb2f0a5aee93388d20513e2775c3cab7f56","datavalue":{"value":{"amount":"+0.8019149899482727","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":"Q4911137$82761F9B-7B9C-4EFC-95D0-930418CAE6E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4911137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4911137"}}}}}