{"entities":{"Q4957217":{"pageid":6986799,"ns":120,"title":"Item:Q4957217","lastrevid":58381149,"modified":"2026-04-04T23:33:51Z","type":"item","id":"Q4957217","labels":{"en":{"language":"en","value":"Backjumping is Exception Handling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7390864"}},"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":"Q4957217$D190BC62-7919-46B5-909A-6228ED5CB7E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"431c6b410f03e60219ddc6fd4b616d48fe655256","datavalue":{"value":{"text":"Backjumping is Exception Handling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4957217$30A9E489-5A16-4947-B304-34D076A9B166","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fba3266c2e3de7a0d7ca344002445b0f64e13ae","datavalue":{"value":"1472.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957217$4504D329-D800-4D4C-B300-4813A7DC4A8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b56425f1f8880f207695d530b921789f4d13bcc5","datavalue":{"value":"10.1017/S1471068420000435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957217$28184A8F-6051-45FA-9A21-E5760A8743EF","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":"Q4957217$927D68B8-838E-4C3F-9D22-039E37547894","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3659634a54505b21af2691a50b5a61bfaa047bf","datavalue":{"value":{"time":"+2021-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4957217$7199092A-DD20-4C58-A3A8-99CC0EF22E53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20210fd69775fcbf39e8d4a729741709fc22c0ae","datavalue":{"value":"https://arxiv.org/abs/2008.04720","type":"string"},"datatype":"url"},"type":"statement","id":"Q4957217$20302D20-F166-471E-A98C-D364F4E4C488","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957217$449583C3-6D56-4DD3-BC60-3D2E1D2B6004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957217$8DF122BF-D91F-4F66-B47F-D3D1ACB0628E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957217$DB3AE113-0F2D-4502-A277-EDDF4224581C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957217$C876618F-E1DA-4682-B3EE-D45A6405AE2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ddd7786e04b2ae67a292ed52bae57b3cedf8336","datavalue":{"value":"7390864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957217$37F2F294-CFBD-46C9-9F90-6B64872324EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea4f2bb8c26d142d727eb989fb9d5df45cf45978","datavalue":{"value":"backjumping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4957217$BD0F0463-923A-4A13-9B2C-8BBBE17FE30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c903d92089dff22847abd0832e98862d75362d91","datavalue":{"value":"exception handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4957217$6D1731CD-242C-4298-9DA2-F6CF775AD900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1188b7877d7d3a78f45d7a55396969e6748423a7","datavalue":{"value":"conflict-driven clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4957217$2019812F-24CB-4321-A445-A9DD55DB527A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4957217$267484D0-1F1A-4495-A868-BCE73736E204","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$4920DB55-25C3-4CDE-A3D5-B0879AF973D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$38C66676-12A1-44C7-B851-21A3421C71DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$3449DC6C-357A-4F91-B330-A502C0A385CA","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":"Q4957217$5E1BAA26-BA1C-4B6E-B022-83093ED32A8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52681a2c2863609537624a2f6d82153e9c88fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3992623,"id":"Q3992623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$ABDCF597-F937-4AF9-B5F6-D4BE0EC3DC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bec77d1b4c21d5e3d69dfbc49740fa0cdae4f25","datavalue":{"value":{"entity-type":"item","numeric-id":3880318,"id":"Q3880318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$E1A5FD61-336A-48CB-857A-06575F2FA21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1554dfab5cf085f69f00324d9012f1eda05c39f6","datavalue":{"value":{"entity-type":"item","numeric-id":4669649,"id":"Q4669649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$7E6DBE5C-B2A6-4503-A84F-C18DA4D534A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3cfd04262c00887eab4670d84d186029a8a082","datavalue":{"value":{"entity-type":"item","numeric-id":2893089,"id":"Q2893089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$BC80EB7C-FBC4-4672-90E2-C20E659EE53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b04d879384c9f6a672f4aa95bd5e2c3644f200","datavalue":{"value":{"entity-type":"item","numeric-id":4873717,"id":"Q4873717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$29B2C292-61EB-4835-A08C-6E677A94652C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504fc90221d28e93ce775118fc3d8a26bdc303d8","datavalue":{"value":{"entity-type":"item","numeric-id":4603427,"id":"Q4603427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$7E412012-B84F-4295-8D36-50D73E565D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"374d98a831143d9feecd3c5171908372820ffadf","datavalue":{"value":{"entity-type":"item","numeric-id":3558337,"id":"Q3558337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$99F37E4A-A2BD-4BAF-8049-EC134705B635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"addfd2d4d91721262cb9c3ed3d5a17c3b109d33c","datavalue":{"value":{"entity-type":"item","numeric-id":428887,"id":"Q428887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$4979F6AA-1394-4198-AC55-88230AFD9956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b234721bf2dc72cde4eaeda17fddb62e623711","datavalue":{"value":{"entity-type":"item","numeric-id":1399134,"id":"Q1399134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$F6805E73-FB58-47F9-9C48-07511888F4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5617fdd69c618e263e8fa2bd0476fbd6e5cae4ab","datavalue":{"value":{"entity-type":"item","numeric-id":4190095,"id":"Q4190095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$79EA5003-41A7-48C0-8EA6-8D3B4F22B223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b266c721655122dbe400bbee292733bb46b20d","datavalue":{"value":{"entity-type":"item","numeric-id":1244202,"id":"Q1244202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957217$8C05AD7E-AF13-49CD-A0B3-2516E33C8C1C","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":"Q4957217$A69ADA4B-E45A-499D-BA29-9C1D1F7661F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b6cc66bc88cb893be4702c68eb4c75c477727e4","datavalue":{"value":"W3048632796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957217$E01E58C9-83FF-41C5-B8CB-033B08BCBF8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96dbb8e3165dd1120e59a6d90d05bae178c6d39","datavalue":{"value":{"entity-type":"item","numeric-id":2181937,"id":"Q2181937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c1c68d4c8e840728dd35f0f16bf40085e2a22b","datavalue":{"value":{"amount":"+0.8069174","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":"Q4957217$B228045A-3E6D-42FA-AB94-361054184A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c961808bbfc37810ddfcc4eb33c62d8b19f57a91","datavalue":{"value":{"entity-type":"item","numeric-id":2758694,"id":"Q2758694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fd4ec3bb0b906f2afaf4cacfb37da98cd03309","datavalue":{"value":{"amount":"+0.76017857","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":"Q4957217$118712F0-E27A-456C-8501-25FE6143BA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6b13b585377e5ae1e0b7c3194ed000a0340de5","datavalue":{"value":{"entity-type":"item","numeric-id":4375758,"id":"Q4375758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3723b0de6b0c21337142ec2bcd3e8b5d59513ed8","datavalue":{"value":{"amount":"+0.7439306","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":"Q4957217$F5E48267-7168-435D-B01D-C98B1F929CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec17f15f6f38b66c2e6902e7648c37a2ec86e4c","datavalue":{"value":{"entity-type":"item","numeric-id":1698575,"id":"Q1698575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686b8fdc6abd8b82760c24fc73d896d4fac34cfe","datavalue":{"value":{"amount":"+0.7435728","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":"Q4957217$4A63C9BA-5974-42B6-A435-C6AB221671E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f5542a6a92c166c533724e1972a644f7022353","datavalue":{"value":{"entity-type":"item","numeric-id":3024836,"id":"Q3024836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbe160dc45987c7bab87640c0dee3eaa5421ff5b","datavalue":{"value":{"amount":"+0.73844135","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":"Q4957217$9E447A3A-64E7-4BE2-8D90-A1E4134DB058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5c0db9f4f28363afa7cd22c050237a9d267254","datavalue":{"value":{"entity-type":"item","numeric-id":3321456,"id":"Q3321456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2fd342970de52bbe6456ae691382f06e14d5d1f","datavalue":{"value":{"amount":"+0.737937","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":"Q4957217$E085C699-1038-4832-98CA-42282792535D","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":"Q4957217$7F17B633-5FD1-45AD-AD57-A4794893690A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4957217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4957217"}}}}}