{"entities":{"Q4263797":{"pageid":6293398,"ns":120,"title":"Item:Q4263797","lastrevid":46671870,"modified":"2025-12-25T09:15:47Z","type":"item","id":"Q4263797","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1342212"}},"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":"Q4263797$33D6C18C-6D78-4E42-98CE-F4881F9C051A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a2f95e6b01df7dee6a1c9bfaec1fe8f6e80ee42","datavalue":{"value":"0934.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263797$6476AF03-6F3C-406F-A267-56F0D14EEF4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263797$8F9EFC5C-9E29-44D3-90D2-D90C4EAA628A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263797$8DD4059B-7718-40AB-8667-C464F34CDABC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263797$CCEBA43E-64CE-4DC5-920F-3E9A4B111E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263797$7DA5CC85-0E24-44CC-9915-6449BA3995A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f341db00d9994473571aa88b37a640d6a5ded2c","datavalue":{"value":"1342212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263797$D7D018D2-14B7-4CEC-9CB3-C8B28CADA3B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d315864f474bfd80feb086355d2a2070514d5b","datavalue":{"value":"length of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263797$175EE19A-8800-4DA0-B6D3-49E3A759F74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263797$C8E1E319-CD00-41E7-B4BD-0673F3CA7DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb5fd5890ac79ae29ba7a54464e1b7d1bfcf7482","datavalue":{"value":"upper bounds for minimal resolution refutations of propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263797$716B7D89-B1BC-49FD-93B1-6860555A2699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7390a4ff52dd86c09e8b932f6a2cb9f6017e2b1","datavalue":{"value":"minimal unsatisfiable formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263797$82D20219-1911-425A-AC0A-42DB6C1E5361","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":"Q4263797$132D43D8-591D-441C-877D-163CE57A5E25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875e8f2bfecf0bcbd77fc501b60ebbd080fc3230","datavalue":{"value":{"entity-type":"item","numeric-id":2743691,"id":"Q2743691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3bd594fd9d7767724fd71c08765ff1e92dfe72a","datavalue":{"value":{"amount":"+0.803629994392395","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":"Q4263797$3B223E49-539D-44C1-9053-550555DEDD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c460ab9452cab48d0b8b3d1092c71e9ba657a1","datavalue":{"value":{"entity-type":"item","numeric-id":4708587,"id":"Q4708587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436028c2617d56568e5107e674b5689637d7b805","datavalue":{"value":{"amount":"+0.7829757332801819","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":"Q4263797$86C7A330-468B-43FA-8DBB-EE80246DC2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50ceb042a21e684ca99faa892e11737d2b0e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5277920,"id":"Q5277920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857cc9f36354349e21ccd022745b96fd723de03d","datavalue":{"value":{"amount":"+0.78249192237854","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":"Q4263797$10A178E4-5843-40BD-BEC1-F9F39C487ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a089503d2728bf3f127c89e535e45e3ef54474c7","datavalue":{"value":{"entity-type":"item","numeric-id":4251071,"id":"Q4251071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff95cdcf1df0010f561ac807abe5f5a08014ed9","datavalue":{"value":{"amount":"+0.780463695526123","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":"Q4263797$DC683127-BFC9-4109-AB91-E221964E3FE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263797"}}}}}