{"entities":{"Q4198750":{"pageid":6228351,"ns":120,"title":"Item:Q4198750","lastrevid":31496114,"modified":"2024-03-19T18:15:12Z","type":"item","id":"Q4198750","labels":{"en":{"language":"en","value":"Lower Bounds on Herbrand's Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3637854"}},"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":"Q4198750$FB425D42-AE8F-465C-B4DC-A3D1461954E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cec2f3ffea2463abae4ecda49f004ff9f7f16de9","datavalue":{"value":{"text":"Lower Bounds on Herbrand's Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4198750$763EDF40-3325-400A-9C2E-19F5B3A3AE9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32668342964d0f28550d7c552b0b1632a452013b","datavalue":{"value":"0411.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198750$B496EFD3-C9BC-46BD-B5BC-9842DF0E7608","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d17f1193e7bb2e22f7bdb76e5be34eb56eafb14d","datavalue":{"value":"10.2307/2042682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198750$10F91D9C-D4D4-4A21-9184-F0AA5F6E36FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198750$66789F72-38A8-4204-A249-FAD0A252CDE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4198750$5E274B31-8CDF-4BBF-9967-0394F219AB0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198750$6C311659-0451-45F7-86B6-343EC1F9501E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198750$B9373FF4-CDD6-4E3B-A248-614CE6461C2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dcabfe5762e4e587ae59185ec915e3cd73fcfad","datavalue":{"value":"3637854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198750$E03A990E-C7C0-4171-8DED-3073D380DAC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198750$9C5776C7-8DFA-42FE-9C69-81F0D50677A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d57d4cab5a76e700adbc3136ae85204519052fb","datavalue":{"value":"length of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198750$866E6BB6-E533-4F8B-AE07-AAD76FF49031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198750$F2CDAFB4-4E93-494A-9250-C96EFB2D6D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198750$C7D77445-4074-462F-B699-00C5265639B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ddf0e30b9062c0b064797705e53dba645e3f32","datavalue":{"value":"length of derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198750$1A86782C-B019-46C6-90E3-C7169C9E0984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198750$CCB0901E-F6F9-4A8A-BAE9-36B231934C5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198750$896C9EE7-9794-4F7A-947C-725D0197CFF8","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":"Q4198750$9F62D3F9-DE0D-4206-AB3B-7188C2C6AB5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"150a7dc987fe7b6c563a151b9b68544c21f118d3","datavalue":{"value":"https://doi.org/10.2307/2042682","type":"string"},"datatype":"url"},"type":"statement","id":"Q4198750$92BF51D1-9CD7-4D5F-8C01-2975751A0364","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4dfefc3dab83d50b23b82b34f852ac29531f241","datavalue":{"value":"W4254052460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198750$9A969F77-AC97-4748-BC68-BEDC9A7E590A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4198750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4198750"}}}}}