{"entities":{"Q3795286":{"pageid":5825192,"ns":120,"title":"Item:Q3795286","lastrevid":52992434,"modified":"2026-01-23T23:50:16Z","type":"item","id":"Q3795286","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4060775"}},"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":"Q3795286$B20BF226-2288-4622-92A5-C079FBC55981","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c50d6d3d131f6a83589eafde6dde56e0309117a","datavalue":{"value":"0649.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795286$94022928-0F61-406B-946A-59C4B4D389A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a52c13955159b7796643777df723759736e16f2","datavalue":{"value":{"entity-type":"item","numeric-id":714018,"id":"Q714018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3795286$E1A44280-7CF4-4C00-A650-69B72A8C8DD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3795286$32E84ED5-DCFB-4A0F-A6D5-4256310B6B8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795286$F7973FB9-2B3A-411E-BE53-220F692CFF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795286$BEF0CA4A-8C75-44A7-A135-F6CA9A91CA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795286$C854A161-383E-4B0C-BDD2-B81C214E6609","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b8363b30f9047aa5758c17723ad6568e68de4af","datavalue":{"value":"4060775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795286$937C9BA2-0005-4876-82C9-1DABAA229479","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dc944006ce65cc2269b316c5d39be175885ef3a","datavalue":{"value":"exact-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795286$BE3DC7DF-4138-4BE1-9C81-AD882A1FEF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795286$517E6208-5510-42AA-9A7A-4AEDA752BDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"037966850097431082632340ca5b439a0aae9b4f","datavalue":{"value":"CNF-formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795286$ABF17798-3C5E-467C-AB5B-B61410806C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"006571cc19cfd39fa527194ba591d67069c4c863","datavalue":{"value":"backtracking trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795286$19DB2812-8F2D-45DC-A66F-D468A184D135","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":"Q3795286$D7BFE0E8-1D68-418C-BE73-7DA4BF5AB975","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef129483f337ac01ba7bcb0f8d281e952c55fe6e","datavalue":{"value":{"entity-type":"item","numeric-id":3811764,"id":"Q3811764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c361913d66de420d3ff3e2cda5e47572f979468","datavalue":{"value":{"amount":"+0.9505634307861328","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":"Q3795286$1AC82750-6B7E-4811-9740-D823B3033F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5514c1045fecbb3f24737cb4073c498b7dd9555","datavalue":{"value":{"entity-type":"item","numeric-id":1353993,"id":"Q1353993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65dd67f07bf7294687e9909b6e6a6b9f740c2471","datavalue":{"value":{"amount":"+0.8379294276237488","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":"Q3795286$E6BB0A13-8895-4996-8A6B-F880F55FD50B","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":"56352941332d41cc0dfeb6008a28c28eec18fe71","datavalue":{"value":{"amount":"+0.8260722160339355","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":"Q3795286$858CCECD-277F-4E49-881B-A3347566F0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d19cd0537ada4fa42e2bdd7d601b6dd90a0afc84","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a8e45ce8b78725b63a7463527d72e628472f23","datavalue":{"value":{"amount":"+0.8137001991271973","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":"Q3795286$C6870FFF-D41A-425B-AE23-11A9C1CE1695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aafbe3f9054cc81488d5ac45512a2495ea184892","datavalue":{"value":{"entity-type":"item","numeric-id":4032940,"id":"Q4032940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de6453bd1c7f61fccee27ad9224324c1d7a2993","datavalue":{"value":{"amount":"+0.797494649887085","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":"Q3795286$1FE78281-6FC1-4E3B-AD35-0FE3CCA720F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3795286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3795286"}}}}}