{"entities":{"Q4930598":{"pageid":6960180,"ns":120,"title":"Item:Q4930598","lastrevid":51093296,"modified":"2026-01-16T15:31:21Z","type":"item","id":"Q4930598","labels":{"en":{"language":"en","value":"Two techniques for minimizing resolution proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793465"}},"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":"Q4930598$54DAA99F-630F-466F-A8BE-5AA3736D0052","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db4bc5da334034126168409f83692521987fa7e1","datavalue":{"value":{"text":"Two Techniques for Minimizing Resolution Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930598$9DD1D926-A02D-4B31-A18F-B9EF03868BAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"098c9ac9957a2d366b095475c5c2da838a18ade0","datavalue":{"value":"1306.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930598$CD62D701-F7D8-426F-B6FE-9E84A988CD53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06ffb07a9450cf9ffe110567e43b3e27fc14c994","datavalue":{"value":"10.1007/978-3-642-14186-7_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930598$AC49C544-3B98-416F-9834-76444820BF52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0be44b190522d588866b1ca0dc9f32be141a394f","datavalue":{"value":{"entity-type":"item","numeric-id":3557067,"id":"Q3557067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930598$1B0C2EE3-A0A4-4B5E-B294-FC8D6ECC379B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930598$2D0828E4-3CAD-4EFC-A39E-E040AB37DA12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930598$A81BFC4B-C235-414E-BD98-619D4CEB9462","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930598$3665D863-3FD6-4290-9465-A9199DF3E04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930598$1FDE79FD-C540-4D86-B8A1-8F560F40772F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cba0749df69157ca3091063f6798b98f93df182","datavalue":{"value":"5793465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930598$DC4DBDD4-EE8B-4C81-A958-C2BC15479931","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930598$A265EB67-04AB-4A20-9B51-D239C63AB923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930598$27C26AE8-D070-4B2B-A882-19D822E1D479","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":"Q4930598$884E68C1-E1E1-4901-8231-5ADF6C22AF9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b577c06cbeba7b128fc37cfea8cb7d032195ce4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930598$32DD83DB-97A0-45CC-8CC5-D3CC454DA6DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a21edbf0b9f91031320fbd083941f23e2aa7c55c","datavalue":{"value":"W1533619009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930598$F0C5A431-E837-4E6E-B2DE-15401C77089C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9694ecc95cd17e581b722a875304301e52d8edeb","datavalue":{"value":{"entity-type":"item","numeric-id":5391528,"id":"Q5391528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520d448e43be7ae305a9649daeab456db8d79107","datavalue":{"value":{"amount":"+0.8608694076538086","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":"Q4930598$2601B985-3BA5-44C6-8B6A-6C5D44727C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d688e65c0de1c1e85d877c6b969c1c0ddb056c9","datavalue":{"value":{"entity-type":"item","numeric-id":479815,"id":"Q479815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d44bbbcef942ff7590855a93d494fbd2102608d","datavalue":{"value":{"amount":"+0.816460132598877","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":"Q4930598$5577B497-DA42-4160-916E-05F7FB37FABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898d84af369e92571f61367fa010d7f7d3d61c40","datavalue":{"value":{"entity-type":"item","numeric-id":4649291,"id":"Q4649291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c533c639fee7f73ed1e0cd00a2621b0dfd9af0fd","datavalue":{"value":{"amount":"+0.8032669425010681","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":"Q4930598$D8F31900-1A06-45CD-B5DC-A05E39EF1FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a63d7fe6af7fb615dd0ada14d74a7ffcad7f853","datavalue":{"value":{"entity-type":"item","numeric-id":1040776,"id":"Q1040776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33b8814391173c766a18e9b42e8b0f5115a1fca","datavalue":{"value":{"amount":"+0.7807439565658569","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":"Q4930598$18702BD0-D165-4D02-B075-C2B787E4AAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80301423f2ed00db159b434b086a73ac036347bb","datavalue":{"value":{"entity-type":"item","numeric-id":5326466,"id":"Q5326466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b97c179e7d6ac9c9d5d17efab6f1389aa49e3758","datavalue":{"value":{"amount":"+0.7712293267250061","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":"Q4930598$DC41110E-DC4B-4B99-A963-1E5731D99F87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930598"}}}}}