{"entities":{"Q1425162":{"pageid":1435902,"ns":120,"title":"Item:Q1425162","lastrevid":68672565,"modified":"2026-04-13T01:20:11Z","type":"item","id":"Q1425162","labels":{"en":{"language":"en","value":"Herbrand Award acceptance speech"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057785"}},"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":"Q1425162$3458FB74-5E03-4595-A9EE-6CEA20F80051","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"395d853075e5121916e924eddc5ec789c16d5645","datavalue":{"value":{"text":"Herbrand Award acceptance speech","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1425162$7D3F9454-B277-48F4-92B5-00FAE1C90B6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d219b19dd3951e4f95a8cc910ce0213fa44b1d78","datavalue":{"value":"1040.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425162$794C9B56-876A-4C67-8692-D829C26D7F97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425162$33E8DD46-4A05-4AEB-8019-822BD6DC7386","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1425162$4BE960C7-4F2F-4919-8391-BA9756643141","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1425162$36A75663-5FF4-45DF-9895-08F028AB9AC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425162$5ACEDC20-F45A-45AC-8A53-09A1687AE72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425162$4072F373-ABB9-4C54-AA78-F2AEDE1A80A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425162$DF70372C-245D-4DAB-8C6A-0CEE7A34B41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425162$0EB6A9F2-D55A-48DD-B6FE-C449A3BFCDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425162$731DB221-995A-4FD6-8122-2415A6D53B08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"944887d122b5b5483d861a29f91aef47c8a756c8","datavalue":{"value":"2057785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425162$76FC10FF-0F66-4AAA-BB88-A7F396CD5ED4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425162$5573D53A-4DA1-45DC-9021-480DCBB7D6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425162$DF42BB61-9D6D-40D8-92C2-C7C4AA3C88A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d981c9dd92ca23cedbabf48988562a45239d72","datavalue":{"value":"TPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1425162$0C2623B5-5CC5-410A-888D-B1E744679F4F","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":"Q1425162$CD5D0777-C2EF-4C99-A9A6-06F0FBC294CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f349f77c2c57b1d91bb99036faa5d5cecc47333d","datavalue":{"value":"10.1023/B:JARS.0000009552.54063.F3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1425162$8CCB9364-9FF3-42A8-8422-98BCD22BE74A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8347b4d6b2076cbe85e5182a2ecb3ea7dd228213","datavalue":{"value":{"entity-type":"item","numeric-id":4916069,"id":"Q4916069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b787a3104b927a0ac2a7307f9955385c81ad097","datavalue":{"value":{"amount":"+0.7098086476325989","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":"Q1425162$32BE93C6-EDE1-48EB-B90D-225926EE194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae96ea3a0808901c8cff82877d0f66f465faf30f","datavalue":{"value":{"entity-type":"item","numeric-id":3635860,"id":"Q3635860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b320f16a1a79316a5dfe45a0fa1e1620a4212fa1","datavalue":{"value":{"amount":"+0.6971248388290405","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":"Q1425162$2130C19C-80E5-41FA-AF77-7BC12E37A13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc30fc963239e5f816a9f8768b8030c5b65acb79","datavalue":{"value":{"entity-type":"item","numeric-id":2351152,"id":"Q2351152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdab3a365ccb737aa9319f20f21dc3b02b5254e1","datavalue":{"value":{"amount":"+0.6620915532112122","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":"Q1425162$43656EBA-EFA6-400F-9125-461B82F7DBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8557122f8569518a0e53cd673f4fcacc4344e7","datavalue":{"value":{"entity-type":"item","numeric-id":3086769,"id":"Q3086769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188509d26d4dca214d41956832c7dd1e0535fa24","datavalue":{"value":{"amount":"+0.661025881767273","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":"Q1425162$556571EA-A1D7-4879-AD63-DC1B29689F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34290f0a6534711dde061de380b58a4ff758746a","datavalue":{"value":{"entity-type":"item","numeric-id":2360870,"id":"Q2360870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747a99b32872d91a56adb692670c2795971348a8","datavalue":{"value":{"amount":"+0.6534718871116638","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":"Q1425162$3B0625D7-A7CA-4A5B-B85F-7A49DD36B402","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Herbrand Award acceptance speech","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Herbrand_Award_acceptance_speech"}}}}}