{"entities":{"Q2386699":{"pageid":2397442,"ns":120,"title":"Item:Q2386699","lastrevid":48537916,"modified":"2026-01-05T03:47:33Z","type":"item","id":"Q2386699","labels":{"en":{"language":"en","value":"Compiling CSPs into tree-driven automata for interactive solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2198921"}},"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":"Q2386699$0794F908-A104-4790-BE15-47DCC6BA6F48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e873302663815b75fb09089e33b3740693675e75","datavalue":{"value":{"text":"Compiling CSPs into tree-driven automata for interactive solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2386699$270AE2B9-C7CD-4F59-9086-71E160447027","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"509a111083e644ba94165da87e4823050d92dc41","datavalue":{"value":"1101.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386699$B636F7FB-97BB-4EFA-8B24-9EB8F6700074","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"253b603fdda001d2bf12ed6bcc4bc6e9b265ee0d","datavalue":{"value":{"entity-type":"item","numeric-id":686484,"id":"Q686484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386699$CD0A3C96-2C86-42F8-BDE4-ABAE7EAE7EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"289143f6389e8fda7b27c7c3ce1d46b87f62bf49","datavalue":{"value":{"entity-type":"item","numeric-id":236284,"id":"Q236284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386699$C411CFE7-26F5-4CFB-9B8C-B462203D0BAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2386699$E123CEDE-6F4D-4F27-8485-87697394C4CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aca40131a4b359e0412a5ddeceecc24f8a40f1e6","datavalue":{"value":{"time":"+2005-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2386699$EE4EE0C2-FD47-46E1-AE95-0E27C15770BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386699$C24BE990-46D0-4108-9374-1121C16FA859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386699$7C7EC5C5-27F6-4357-88BB-FE0F2EEA2FBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a4442f63b7d812218182fbe9ab6a273701e29a0","datavalue":{"value":"2198921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386699$78C0DCB1-A177-4541-B339-EFE5626EEBC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e14c12bb72613f353854c610ce14917d427228","datavalue":{"value":"interactive constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386699$4D978964-BB27-494D-8C43-64DCC6DC4297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f373a69cf688b0e7ebcc8ddb236e7cc91ffbd55d","datavalue":{"value":"configuration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386699$06D41ED7-281E-41B7-9FAD-29CA1680A093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b76473906c455d49869f2b74f0e34b8ace7b4299","datavalue":{"value":"CSP compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386699$1793B9D9-22AA-4AD0-BA14-B4A258E292F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"835ce3ca09bfc1e8676c3e38778f902bfe5cfba1","datavalue":{"value":"tree clustering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386699$8C9880FC-20C0-425A-ACEE-0D3A512C7177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2386699$5F7D62A5-1C14-46CA-8B7A-6787D5FCCBEB","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":"Q2386699$729622CA-9223-4B94-8F66-4E409DED9C5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ab29ede02537f137398704e663549d056e06d3d","datavalue":{"value":"https://doi.org/10.1023/b:cons.0000049204.75635.7e","type":"string"},"datatype":"url"},"type":"statement","id":"Q2386699$B326DA10-58C1-443A-B2FB-B83405AF87A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70249bbddbe4dc5e737f5253fdfbe63c6dae07d7","datavalue":{"value":"W2044058055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386699$383E8535-FC99-4527-BB81-AC505236FDBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa913d4c84cb576d7bc6236e98fa15ef481703f3","datavalue":{"value":"10.1023/B:CONS.0000049204.75635.7E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2386699$ABA40131-C182-45F2-B8FC-8FF578F6AAED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5d4dc06e34b0b6ac760e068b6130588c0c33fd","datavalue":{"value":{"entity-type":"item","numeric-id":5958543,"id":"Q5958543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2daef79d48ae93528dddfd833f3f6e7f1fbee567","datavalue":{"value":{"amount":"+0.8696690797805786","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":"Q2386699$F97ECAA7-5412-44DF-8AA7-8612120AC7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11608f8cec62fff57859bd33bc0851aae52145db","datavalue":{"value":{"entity-type":"item","numeric-id":5450944,"id":"Q5450944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c38bda8193fd39b6db28e210d7489d7ac8bf4b2","datavalue":{"value":{"amount":"+0.8007731437683105","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":"Q2386699$2F0AC7C6-1E1D-4FDE-A5A0-5C374454695B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf609b9710802423ff0f490a249bfdad6f8634d","datavalue":{"value":{"entity-type":"item","numeric-id":1606322,"id":"Q1606322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c817bc78d4893363c7219d5d8bc8b23fe9679ab9","datavalue":{"value":{"amount":"+0.7399398684501648","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":"Q2386699$8272D5FB-C792-4091-B112-55537EE95177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c48e6b32a8e206318dca60ad158e88d85936a20","datavalue":{"value":{"entity-type":"item","numeric-id":5190268,"id":"Q5190268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e424fd3a0be9cadd82e7a01f3204528005801bb","datavalue":{"value":{"amount":"+0.731315553188324","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":"Q2386699$1A0C7D63-3163-4852-9696-699F2FF8AF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a009d4437947251bd89cb06617160bae83df0cd3","datavalue":{"value":{"entity-type":"item","numeric-id":334804,"id":"Q334804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a2010536a5dd9eee2a9afb500a1305cf39d5a3","datavalue":{"value":{"amount":"+0.7181101441383362","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":"Q2386699$EA8B99CB-8A1F-479B-9F09-4C10776687D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2386699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2386699"}}}}}