{"entities":{"Q3081638":{"pageid":3092353,"ns":120,"title":"Item:Q3081638","lastrevid":51202778,"modified":"2026-01-17T05:37:35Z","type":"item","id":"Q3081638","labels":{"en":{"language":"en","value":"Characterising definable search problems in bounded arithmetic via proof notations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5862928"}},"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":"Q3081638$4019EB0A-0397-4A26-B41A-F13B6DEAFA10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acd2c699d9cea02dee881a46498a9927f1a74b09","datavalue":{"value":"1244.03163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081638$5974AEF5-663C-47A9-AB51-3936F2ADA217","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081638$0D2F8E02-B021-45E8-ADFE-E276AFB159BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081638$F80576FF-1E99-4A94-99B2-76A877037C75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"791243a770867bf9a828ca3fa60256efae5a0523","datavalue":{"value":{"time":"+2011-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081638$ABCEAB0E-B21E-4FC5-A84D-502B18F7B734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081638$5485F631-6FBA-4590-AD42-C5ACCE8B88DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081638$2C9175C7-AFAD-4B34-9B8D-60476EFB31B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081638$7C3B25E9-EDB1-4EB2-B728-3AFCD3AA955B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e493f2e861a2c5808b753b09462e17ce03fac50d","datavalue":{"value":"5862928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081638$E7732299-C535-43D9-BF44-F5F7D055FAA1","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":"Q3081638$166A0CB7-B964-4A0D-A3EF-28D582000FDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5bc1d90669b84f25e688fb302bd53ac1499f65b","datavalue":{"value":{"entity-type":"item","numeric-id":3583040,"id":"Q3583040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6193708d710eabfbf8987e9219ca3621d07cb7ba","datavalue":{"value":{"amount":"+0.8924616575241089","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":"Q3081638$B5C07D64-5FEE-4A8E-A918-EC789844D626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3037eb85d6330d32dff9fa18cde5962742240ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5294030,"id":"Q5294030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8adbce3c337afd6a2168bd45d12477b82b1f08a","datavalue":{"value":{"amount":"+0.8450177907943726","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":"Q3081638$E24585EE-E99F-4A73-B19B-BC5666B9BDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58b28fa0144ef8ba6fb77ad28e370882e541a0e","datavalue":{"value":{"entity-type":"item","numeric-id":4227882,"id":"Q4227882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03668465356dec46d136067c9047101ec8069295","datavalue":{"value":{"amount":"+0.8303963541984558","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":"Q3081638$C276E3DC-2F4A-4707-B406-CCC958EC10D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29754992425908514166e356ff0ea596948fed","datavalue":{"value":{"entity-type":"item","numeric-id":3159414,"id":"Q3159414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76abfef7e30dddc11ca20e293535d022472e72f","datavalue":{"value":{"amount":"+0.8296959400177002","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":"Q3081638$9178916D-431F-47BB-9229-FA94E38A426B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3fa8adcbd64268b609f2eb702f4514eb26a16e","datavalue":{"value":{"entity-type":"item","numeric-id":3638270,"id":"Q3638270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497f87ca544f0f5967187a537424112e9f84b0e8","datavalue":{"value":{"amount":"+0.8211582899093628","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":"Q3081638$B5F43C02-5B69-468B-8F21-CEAA42901818","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3081638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3081638"}}}}}