{"entities":{"Q4032940":{"pageid":6062673,"ns":120,"title":"Item:Q4032940","lastrevid":55229623,"modified":"2026-02-05T02:16:40Z","type":"item","id":"Q4032940","labels":{"en":{"language":"en","value":"Average Time Analysis of Clause Order Backtracking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 165027"}},"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":"Q4032940$051A9A2E-96EB-42D7-9DDF-558D171226C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03f0e7ba9995584fc08b1cc7ee205d9df8043a8d","datavalue":{"value":{"text":"Average Time Analysis of Clause Order Backtracking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032940$35CBAE8D-FFF7-4DBD-8A3C-BAD86FF36C1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"608bf8fa3e53e650cc96c5ed162d0a69ca0bb353","datavalue":{"value":"0770.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032940$369CD657-CC26-4A81-B97D-316F0988F781","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca1207aa5be4e23869f74fca1c7f443977a96d33","datavalue":{"value":"10.1137/0222023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032940$920CAFC4-6D3F-4FDA-B7FF-EB4938CC5F7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8751cd1629762ac8fb0c59e5b1369786687a45fe","datavalue":{"value":{"entity-type":"item","numeric-id":1104092,"id":"Q1104092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032940$3C346742-3C2C-4F03-9BC3-57410E09077E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ee08d0becda9e1f06a72179bfc8bc9b783d54a","datavalue":{"value":{"entity-type":"item","numeric-id":1095676,"id":"Q1095676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032940$8D282316-776F-4F55-88DD-6D4D25C5102A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032940$8BE101A3-78A0-451E-AFE0-1B9DE393DA6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee9bb33b1a87d51a01cfe5d9be9934830a97fedf","datavalue":{"value":{"time":"+1993-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032940$B121D5AE-1D8D-42B1-8FF1-4ADD5DBE058D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032940$46B024A2-ECA4-4CBA-9611-32F11888EA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032940$DE312202-26B9-442C-B39B-BD6AF58C4499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032940$FDA400D1-E6A9-47FB-BF16-A68ED9436BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032940$7D2C2DE7-C8BD-4F6C-BADE-1ED1055AFB0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c2474d8ebe963da4b14421b013ff3e99512a3f3","datavalue":{"value":"165027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032940$B2806E29-ECC8-42F0-9100-53583120FA82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3b1798ebcbca280a76974b8f25dac6572b4e5a","datavalue":{"value":"combinatorial search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032940$DF91E6A1-5581-4D2B-AB44-5E1C59A148F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4c23ee9323cc5007fffca3f350f0c99c491297","datavalue":{"value":"Davis-Putnam","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032940$9CBE4BC6-9030-4365-8FF4-B4D0DD058E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8322976646aec50506d2d2467cb055e2dd4a348a","datavalue":{"value":"pure literal rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032940$FD623B48-37F6-4BAC-A4D2-56CD60E2CE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032940$B7A42945-4652-44D4-9DB5-0337156A7C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2baf5b423d940b43c7635f4970085524003a1516","datavalue":{"value":"Backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032940$964EAD8D-5108-4C7D-83A4-7B1A7EDBFC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032940$03309B38-94EF-4A57-B702-2B5F2EDEC1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25e8a8f94bbb98c87412be389c43d6535a62f16","datavalue":{"value":"average time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032940$FE36B555-16FE-4608-9DD7-688DCC9252A6","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":"Q4032940$825B4009-D215-4FFB-9A7C-1117B46A7382","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbe5e9c516adda0fcc62e707d021748441d91a3d","datavalue":{"value":"https://doi.org/10.1137/0222023","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032940$E47DB585-3EA8-48A6-8DF9-25F6EF129EDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"345e36e2314a875f35b5cf927e3530d84243c417","datavalue":{"value":"W2038987765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032940$4005D446-081C-427B-954C-6524D5A9F229","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e590556361487bc9970ab8d1cc09d0c43e9b0134","datavalue":{"value":{"entity-type":"item","numeric-id":4337643,"id":"Q4337643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70d4bbac91b7079b196ebc0f0894f0dc56dcd25","datavalue":{"value":{"amount":"+0.8695549368858337","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":"Q4032940$F57593DF-FEFE-4821-99DC-687A0F12AC10","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":"c071667f40bb32363a4675b6c228b35043b535ac","datavalue":{"value":{"amount":"+0.856972336769104","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":"Q4032940$1E88FCEB-9957-4D5B-B6C8-9F4B2119E45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ed15806f50a8fdb798295e695993e28a1d9295","datavalue":{"value":{"entity-type":"item","numeric-id":1095678,"id":"Q1095678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea9b59f8a0e7316a3bc0d8f0cb83bb9fae53ed3","datavalue":{"value":{"amount":"+0.8218768239021301","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":"Q4032940$410141F4-DB2F-442E-9FDC-A50683A5D041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3bcd28ebfbe32d482dbe36b5e04fa64d5cb10e","datavalue":{"value":{"entity-type":"item","numeric-id":1370608,"id":"Q1370608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1d8152f4edb0b0ec67a21bdb08f7b77b9ecce5","datavalue":{"value":{"amount":"+0.8179717659950256","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":"Q4032940$9BD73CEF-6A99-4B94-A8B9-34A69E0DB8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2142a01b3a431baa188a8311ec72749273e697e1","datavalue":{"value":{"entity-type":"item","numeric-id":3832061,"id":"Q3832061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67838904f70776839f8d08c241e23413b97dfb66","datavalue":{"value":{"amount":"+0.7991645932197571","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":"Q4032940$CC9B6179-3C1C-435D-913B-5E1C37D96E5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032940"}}}}}