{"entities":{"Q2888509":{"pageid":2899234,"ns":120,"title":"Item:Q2888509","lastrevid":83911952,"modified":"2026-05-07T13:43:05Z","type":"item","id":"Q2888509","labels":{"en":{"language":"en","value":"Width and size of regular resolution proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040186"}},"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":"Q2888509$B52810C4-D261-4C47-9C35-95D43F416851","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61e7fb075d77ad5011e1f4bcb3099683bbb351ec","datavalue":{"value":{"text":"Width and size of regular resolution proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888509$4F2FCBCF-6825-4C1D-8340-B9E27337108B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"319a802637f1ffccfcda953ce285405ebf2c7b0a","datavalue":{"value":"1238.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888509$3AF81AAF-DBFB-4462-A12B-58F1EDE908D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5041b1a1af5da3b32d0ce6e563dd251864b1d328","datavalue":{"value":"10.2168/LMCS-8(2:8)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888509$4CB006CA-3DCF-4268-8770-F6211A5F3E12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888509$DB868403-119A-4D68-B050-72C9EA4CC739","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888509$274200C0-6B35-45FE-82E7-C16FE37071D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888509$C6B2F3E3-AF3C-4927-8F4E-4A166326C537","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1762ac59d08b2a4a98ce7fd0cf272334a0d5b38","datavalue":{"value":"https://arxiv.org/abs/1205.1050","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888509$ADE990F4-E98D-44EF-A1C6-B9FE3FE27C1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888509$DA3217E3-EC0B-4E20-AEAB-3F972E0B3A9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2a6aef9bebed2e62ea1a7b1e64f182b2a10bedf","datavalue":{"value":"6040186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888509$C611443C-E834-4438-BD8F-0764A4BC6E2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"529131ff9417eca0d1d4e3f132543c19e1e4260e","datavalue":{"value":"regular resolution proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888509$C6F4B8C4-7526-4DE9-8825-4E3FA21C840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b67531ce85de68d1bc9749a22a779e09237c4b98","datavalue":{"value":"size of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888509$FA81AF3A-95A2-4D88-82F4-03BE418AC5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a18eda274d1a4d164e63ec9d095d9bf6a1abcd3f","datavalue":{"value":"width of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888509$8FC09376-171A-4480-873C-57CDD4FA6C84","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":"Q2888509$536598C6-F147-47C2-ABA2-4381E204A213","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a22d1d314513f31165165a9dcdde476706307dcd","datavalue":{"value":"W2083734106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888509$893BFC16-39E1-4676-885C-2470523B9DA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc93200fd5ae2868139b8ab4dcb5ef3779f471b1","datavalue":{"value":{"entity-type":"item","numeric-id":2382288,"id":"Q2382288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ba7ff9daa7ef7ef0ef563ab647d51894107227","datavalue":{"value":{"amount":"+0.8466328978538513","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":"Q2888509$1D09CDCE-C4FE-4F42-A1F1-D292EF153487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bb30c857885d253bf26bca70742f428e38536d","datavalue":{"value":{"entity-type":"item","numeric-id":5898862,"id":"Q5898862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83f12e6bd5f46458b04365c48f2429ab8f1ac49","datavalue":{"value":{"amount":"+0.843063235282898","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":"Q2888509$A9297B29-BE10-44C7-BED7-B40853B43B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507b3bfe8aab15501c87e7358c5f5c7db473c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab9a13e3e20d954364f3a5d6fe85c4bc46abe6e","datavalue":{"value":{"amount":"+0.8350854516029358","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":"Q2888509$FA8324CD-910D-4CC7-9C34-3CC5528F87E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd734b70ba3b8adc7ce2965260aff2590aca2075","datavalue":{"value":{"entity-type":"item","numeric-id":5189540,"id":"Q5189540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217189d82441bbcfc20de3efe529bef0a4aac7a9","datavalue":{"value":{"amount":"+0.8250207901000977","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":"Q2888509$162FEBB4-22CB-4E5F-A27E-AC83B079EE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5856dd7dd9ddf199bc9d04e5efadc38ade5f7526","datavalue":{"value":{"entity-type":"item","numeric-id":2816413,"id":"Q2816413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38de438d50850044f99253c807db5fd4d9ea64be","datavalue":{"value":{"amount":"+0.8245612978935242","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":"Q2888509$7CA2A573-4C53-44F2-BAFA-9D4E275190CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Width and size of regular resolution proofs","badges":[]}}}}}