{"entities":{"Q1843554":{"pageid":1854296,"ns":120,"title":"Item:Q1843554","lastrevid":71446776,"modified":"2026-04-13T22:19:38Z","type":"item","id":"Q1843554","labels":{"en":{"language":"en","value":"A simple proof of Herbrand's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3440394"}},"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":"Q1843554$F0BE81DA-6163-4782-BACD-EEA760757FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32921f225b668c50164c083a8c113cf4c04c935a","datavalue":{"value":{"text":"A simple proof of Herbrand's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1843554$5E7AAA8C-204B-4550-8957-F5AC945A88FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd836bf2da8f7b4ec64a146c90c44b229e75a4fb","datavalue":{"value":"0281.02019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843554$10DE83CA-0787-46FD-A908-48928F5BBE55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d48214e3f512b2b0fe074e201f271115b16c6251","datavalue":{"value":{"entity-type":"item","numeric-id":1843553,"id":"Q1843553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843554$18BA1E8F-0A8E-42EA-8640-5A2B5959CE3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1843554$0D97769F-565F-456E-951F-7C371A41095A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q1843554$1A6B5AC7-BB56-4FC0-8EBB-F97589528CE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843554$D1B34312-ACA2-450E-BAC2-6D7B79898546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843554$EF24304F-15C2-407E-8E39-89DAF6DED335","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bebd0ed1959450412cb1541e97fe724313b3974a","datavalue":{"value":"3440394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843554$10D0DB06-FEDA-46E1-872D-CB67680D672E","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":"Q1843554$BCAD8E20-2C4D-4234-B256-4E2A195AF8CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88c89d9a5529214fbcb39777540874fe39cd65ad","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093891413","type":"string"},"datatype":"url"},"type":"statement","id":"Q1843554$7DE2423C-9FD2-4A3A-9242-FDBB05E252C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4762537c1a89fc94baa9f8885203208df49ab577","datavalue":{"value":"W1997528379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843554$CA237BCA-3EC8-4C0C-9CF9-465093D03166","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69f42a6cf2523353a28dabff3a79277d4a23b2e0","datavalue":{"value":"10.1305/NDJFL/1093891413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1843554$37776E5E-D515-4034-9A9D-ACB5FEFC97CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple proof of Herbrand's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_proof_of_Herbrand%27s_theorem"}}}}}