{"entities":{"Q4697297":{"pageid":6726874,"ns":120,"title":"Item:Q4697297","lastrevid":47178007,"modified":"2025-12-31T22:28:04Z","type":"item","id":"Q4697297","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 221855"}},"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":"Q4697297$42E06BF8-FF51-4E4C-8577-C9B424E5F146","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a6b7dd2732249c2954cd0ba34633712a1d27234","datavalue":{"value":"0789.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697297$71C14957-FD9E-45D7-A314-21A1B700D0ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4697297$3010DE90-E9F5-472C-B6E3-7DD3773F31D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697297$D68A9365-D015-441F-AD6C-1A5E4CF572E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697297$21FE5910-4BE1-40F8-AC57-3A2FFE069BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697297$2A0890DD-7792-4667-AE3B-0967BCC3A0BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba46ebb8819230cd36fec936c90c7e84e519bffa","datavalue":{"value":"221855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4697297$9F269F73-552A-4714-B84C-2C89D0B7A529","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3410b0e2223b677d6386296b7d10e78f2c0379a","datavalue":{"value":"Herbrand Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697297$E6A380FC-C2F5-44CF-9ADC-AFEC4D6858C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ce7204b00411f116a5594c4e3699c14c77f1275","datavalue":{"value":"G\u00f6del's correction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697297$9B7FA956-2BCD-4145-9540-2DA5365D94EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697297$625366A9-0FA1-4284-AD60-680CC71FC48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f37c5d27c98a77d03a170c7234047df6b783499","datavalue":{"value":"numerical bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4697297$31516024-D574-49BD-852D-F784F6DA2165","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be7191792d3fcf5ca2d73613bdb46e7ef7e0200","datavalue":{"value":{"entity-type":"item","numeric-id":1150585,"id":"Q1150585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4697297$E70B3F07-BD04-45F6-B505-A4FB12F92E46","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":"Q4697297$D215001B-11B7-4B07-B707-D872A8933C00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a179aba301de4d6774067799de16d6584050fbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1942097,"id":"Q1942097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b177fdd5239b239533466f6310dd89bda6d5e31c","datavalue":{"value":{"amount":"+0.8517870903015137","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":"Q4697297$6D056DC1-677F-40C1-9364-F62F7A1EC24A","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":"45796e1659cb6175af54376f9aac54ea6a69d025","datavalue":{"value":{"amount":"+0.8150225281715393","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":"Q4697297$7FE895E6-DC8D-4C1A-8EE5-CB51C134C428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af98cf505660f0b759178b47c2c7075ce0472528","datavalue":{"value":{"entity-type":"item","numeric-id":4899838,"id":"Q4899838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3398298bfb621f45f86eed60986662b1067820","datavalue":{"value":{"amount":"+0.7430824041366577","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":"Q4697297$FD7F5948-7CC2-471B-9F6D-4F6D9C7C876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4daf52e3bc61acbb2507b45254f144ee7b4f798a","datavalue":{"value":{"entity-type":"item","numeric-id":3690794,"id":"Q3690794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b107e46fbb65e4d3717cf327779b321da295dc02","datavalue":{"value":{"amount":"+0.7388245463371277","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":"Q4697297$EFF7C76E-CCCF-47D2-8105-BF38C69C01D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fa88b9a58052f95dd2389b84358c6b5186ea9c","datavalue":{"value":{"entity-type":"item","numeric-id":3635861,"id":"Q3635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67bf9de63cb358a5f386b34b8e1bd9089401162e","datavalue":{"value":{"amount":"+0.7254144549369812","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":"Q4697297$E09190EC-8686-4721-BA4C-FD10FAEC3D8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4697297","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4697297"}}}}}