{"entities":{"Q2908999":{"pageid":2919724,"ns":120,"title":"Item:Q2908999","lastrevid":84964082,"modified":"2026-06-03T05:21:25Z","type":"item","id":"Q2908999","labels":{"en":{"language":"en","value":"Empirical investigation on combining tableaux and resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073663"}},"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":"Q2908999$73772E9F-135C-4DDC-BA61-FEDED072EDC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9624e7c1272e0b3e0eba7829bdb1f3d4bf878b58","datavalue":{"value":"1245.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908999$79B2C845-811A-40ED-BFC7-1F824EFE60B8","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":"Q2908999$909D452A-8391-4C55-871E-06D3973F6A2F","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":"Q2908999$B8A7FC4B-7FDB-43ED-9B65-7DAB6B310C21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-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":"Q2908999$BC840190-4BEB-413F-8B61-518A8F1E4138","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908999$B45BF695-8E71-45D1-9F4E-EAA0EFA6208C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbcafa07bd03996042bf355128c5551cd4a1497c","datavalue":{"value":"6073663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908999$BD100D73-515D-49F4-9390-FC6CE9BC17C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908999$C31B9D12-CBC4-4BA7-B31B-CB193E661854","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":"Q2908999$D22DEE49-9377-46B2-94C3-643A56EEB1DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9095fbfa233cac1e7161f6a9e6811c18d0840397","datavalue":{"value":{"text":"Empirical investigation on combining tableaux and resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908999$B146D936-A16C-42D1-B213-8F4EE5352CCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c47a4c93bb9db33029357f79eb40d8d127d5228","datavalue":{"value":{"entity-type":"item","numeric-id":3580801,"id":"Q3580801"},"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":"Q2908999$5977125C-2852-4FEC-B03A-A5662186B0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b91b983fa2c75285aa70d29c690c153aac91f0","datavalue":{"value":{"entity-type":"item","numeric-id":3142015,"id":"Q3142015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c35cc41fc53d355aeb4eb5080a00bb1e700e5e3","datavalue":{"value":{"amount":"+0.7426139712333679","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":"Q2908999$588E261F-43CB-46FB-BAA6-D8D0D56CEFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6731c47dbf1c391e70bd87f294f63921f8bfd787","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef7750e0c0f4da6f36bd91163fc5c0b110a8352","datavalue":{"value":{"amount":"+0.7410477995872498","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":"Q2908999$82A61BB8-4B8A-448A-8AFC-14E4A3B8CBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce86cf839fcf4b652ddd5bef76a0fa723e8e061d","datavalue":{"value":{"entity-type":"item","numeric-id":1198076,"id":"Q1198076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e43c48f3826d418f40388c0583e30253e50c5e","datavalue":{"value":{"amount":"+0.7399676442146301","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":"Q2908999$ACAF01AD-C2AD-4949-AAA5-0A5BCF27DAAF","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":"b0a3dd079fd9659a728b25a6998b1a7fd231bedb","datavalue":{"value":{"amount":"+0.7343969941139221","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":"Q2908999$FD01FE5E-ACEB-463C-A8B7-39DCDA90D835","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Empirical investigation on combining tableaux and resolution","badges":[]}}}}}