{"entities":{"Q3580801":{"pageid":5610705,"ns":120,"title":"Item:Q3580801","lastrevid":51056333,"modified":"2026-01-16T10:28:03Z","type":"item","id":"Q3580801","labels":{"en":{"language":"en","value":"Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5770442"}},"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":"Q3580801$A54C0895-433D-49BD-A1B5-E5CFE8074954","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e62f99ac8adffcc55b1970d283f712d86df1a76e","datavalue":{"value":"1212.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3580801$054C83A9-7020-4F98-93A4-B329983C0501","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b66200cfa3f36ffd0b8d61c8c7da849baf5fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":504995,"id":"Q504995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580801$26FE8967-B031-4972-91AC-49E2F2DC3492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a181893aa192931a566f08ba46016bb4379f6e","datavalue":{"value":{"entity-type":"item","numeric-id":1777397,"id":"Q1777397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3580801$4F28729C-66BA-40D9-BB94-DFDF520BBFA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"829d55f1ec544e7d684ffd95ef09a9fd350e7c82","datavalue":{"value":{"time":"+2010-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3580801$F82FB5CE-EF52-415F-BF37-181B816A9EEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e76359542f91d6f66d54064c608cb693f91d552c","datavalue":{"value":"https://eudml.org/doc/232286","type":"string"},"datatype":"url"},"type":"statement","id":"Q3580801$DBE35E41-DC09-4D9D-A63D-B09EC3C18BDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3580801$B95E53B9-582C-4996-9103-85429F6ADD25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9e76023d61d30c3f220ac18343dbc846f011ca2","datavalue":{"value":"5770442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3580801$51A130B5-7BF5-4B42-97BD-40FD08980E7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b36f00d71c56e77d79dde339ed1cd537cf241d9","datavalue":{"value":"clausal tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3580801$CCEA2A69-E4F9-44F4-B18B-39C6912C1F4F","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":"Q3580801$DBAF1635-9186-496C-B38E-108E9A1CE4F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5936ca478fbfed14b97e526d9b14890522382e0c","datavalue":{"value":{"entity-type":"item","numeric-id":5851149,"id":"Q5851149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f1c1be2740c12c123d04e57dc52449ec7a872f","datavalue":{"value":{"amount":"+0.8363764882087708","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":"Q3580801$8DCEDD58-9535-4B54-87DA-2855969E3918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab11b841e5660c9f72f1726f5e8feeaac4e394ec","datavalue":{"value":{"amount":"+0.8060355186462402","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":"Q3580801$29241600-8AA2-44DF-9583-DFBB8D270AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7373d13bb0ccae0f903a8d088fabf53943c32a4","datavalue":{"value":{"entity-type":"item","numeric-id":4524784,"id":"Q4524784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79819cd6de0e9f67d752f96b68f342cb45678d3d","datavalue":{"value":{"amount":"+0.7784096002578735","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":"Q3580801$5F17003D-B323-469A-B7C9-00623AF47ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6775afbfbab38e695b755a444f34e4002f1cc655","datavalue":{"value":{"entity-type":"item","numeric-id":4783311,"id":"Q4783311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79819cd6de0e9f67d752f96b68f342cb45678d3d","datavalue":{"value":{"amount":"+0.7784096002578735","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":"Q3580801$44F586FB-DC7F-4757-8875-59D48B1546D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"206070f2bd0f2da29ed7f5cf9d83f221b8620378","datavalue":{"value":{"entity-type":"item","numeric-id":2908999,"id":"Q2908999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0dc960852c2ba33f19d2bc09ba22f718442519","datavalue":{"value":{"amount":"+0.7706928253173828","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":"Q3580801$27D24856-D373-49AD-A00B-9DBA46140D3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3580801","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3580801"}}}}}