{"entities":{"Q2795294":{"pageid":2806032,"ns":120,"title":"Item:Q2795294","lastrevid":58002465,"modified":"2026-04-03T10:07:40Z","type":"item","id":"Q2795294","labels":{"en":{"language":"en","value":"Herbrand's theorem and non-Euclidean geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6558672"}},"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":"Q2795294$BF5BFB63-741A-4AD2-BAE0-A894192C4972","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"938392e1b3d7c7b6d68268941184fb5e9d51ce18","datavalue":{"value":"1375.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795294$4A718C94-13FA-4DF7-8822-F5A0633D0E76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ddf02221cc31b2f9ffa4aa27567f8090654d011","datavalue":{"value":{"entity-type":"item","numeric-id":1640644,"id":"Q1640644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795294$BEA6AAD8-BD94-4971-998B-F0E205850DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7154e8ca53ace223b8c5be019b7f4f775aab0292","datavalue":{"value":{"entity-type":"item","numeric-id":294376,"id":"Q294376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795294$EE57A0BF-17EE-49D3-9BDB-CCD03F0469FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795294$81EE666E-BFEF-41FB-B45A-110C2F84BEFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795294$E9C824E1-65E1-4520-814D-D6483F23BC09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c77c292dd234a248484083a7dbe176fc10a2d6fe","datavalue":{"value":{"time":"+2016-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2795294$426D44C5-4F87-42CF-8887-C4DD765E7F8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a30b5c7dd70a61753444011d26367a37a16fafa","datavalue":{"value":"https://arxiv.org/abs/1410.2239","type":"string"},"datatype":"url"},"type":"statement","id":"Q2795294$D6078992-F4CD-4D6A-8647-C3532C14017C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795294$E33AAE42-A7CF-4DED-9071-B4D172F08126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795294$936A33F8-FC7E-4BF4-917F-A7CB4D8860B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795294$EF87BE4E-CF00-4B4A-AB94-AAA44100D09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37256f133d34bc244da0ea0fe26a04c6dadb9e77","datavalue":{"value":"51M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795294$AC092F08-DA85-4544-8CE7-F3B943E5BFC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da0b902be4dd0b3cb1b91e7fce83e03bf35252e0","datavalue":{"value":"6558672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795294$778A3880-79F9-41DA-8D47-D0CB0B568698","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4477c9598ae4965364daa3ce025ec46065fff35c","datavalue":{"value":"geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795294$EFF2B646-29EC-41C0-9A1F-96EEF6A38A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6a1e3f27a4846c99cd9693c30c88919adf693d","datavalue":{"value":"Tarski","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795294$53F12F1C-1AE0-4445-AE5E-9B51C5FA64CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3fe196543e16afad6ea49179487ab6a48fd9bf","datavalue":{"value":"Euclid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795294$D62B0B15-E612-4E12-8369-832A2D910452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795294$BD94F1B9-0021-46AE-BBBC-F9B7EADE7D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b8034e422d257afed3a77670f7724249febbf6","datavalue":{"value":"parallel postulate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795294$31E64E92-1467-4EAE-A8CF-E73F3D0F4192","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":"Q2795294$E6CAE1E2-0D5B-4C10-94AF-454F570BC086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bc12e1587f9362c61ddff095789597ba0f92be2","datavalue":{"value":"W2964288131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795294$C76FA1C5-6E7D-4485-98A7-9212C793E877","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0528fd5ec6b4cfdb33449de9a7aba36f94d9a260","datavalue":{"value":{"entity-type":"item","numeric-id":4485800,"id":"Q4485800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795294$9666F70F-F304-4AAC-B170-4E901DE07BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795294$2C552679-8C46-4620-B512-2FC312F34334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43144c4a0a56b8fe6b196541305aec6c39695ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4262603,"id":"Q4262603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795294$E32ED3F4-7E83-431E-95DD-72147AD2A9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dff5741b5685089fb3af0e75fd55163058f26f4","datavalue":{"value":{"entity-type":"item","numeric-id":4391220,"id":"Q4391220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795294$14BBA0F9-5194-4B8C-A411-541EAA2FF3FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2db5fb9648dc93a405966f0b96affb3548657ad6","datavalue":{"value":"10.1017/BSL.2015.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795294$62D2873E-CB53-43E1-A45F-D4A1305E54C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68e36157a0dd3a0cd2e53f12bb8c36345e601b7d","datavalue":{"value":{"text":"Herbrand's theorem and non-Euclidean geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2795294$7EC1419A-494B-43B8-B319-62CBD9CBF132","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a346cc7391b3124b47922db21bccc3493f530ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3483288,"id":"Q3483288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04ef0e23661d698ca1c8b029d0f37fd4d6352fc1","datavalue":{"value":{"amount":"+0.7478529214859009","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":"Q2795294$77EA8BF5-DECA-4648-A7E3-21ECAF51ECC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f224617a51a1d4e4d508c109efa999bab49997","datavalue":{"value":{"entity-type":"item","numeric-id":4942001,"id":"Q4942001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc584811bb18baf4b35c41cbfd19b712bd06ffe8","datavalue":{"value":{"amount":"+0.7475187182426453","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":"Q2795294$3ABAA056-0C7F-45CD-AE78-76160498BE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2699e2396a71aa7b2566fe9b5b81ab17d2d8ad2b","datavalue":{"value":{"entity-type":"item","numeric-id":4291037,"id":"Q4291037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc584811bb18baf4b35c41cbfd19b712bd06ffe8","datavalue":{"value":{"amount":"+0.7475187182426453","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":"Q2795294$9976773F-B635-4024-8B4F-07AAB4B8F377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be67d02472e420b0fea1fb04e0205ef45850fd2f","datavalue":{"value":{"entity-type":"item","numeric-id":5346689,"id":"Q5346689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2aef4ae4d5cce625bcfd2931fa4bb72445bd1f","datavalue":{"value":{"amount":"+0.7474981546401978","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":"Q2795294$255550C3-C0A1-4754-A7F7-6094011AA725","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":"b72358c03816c66f0e0af4d5b5ec91d7951393ff","datavalue":{"value":{"amount":"+0.7430211901664734","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":"Q2795294$61BFA808-11A4-44CE-B4FC-CAE51B23242F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2795294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2795294"}}}}}