{"entities":{"Q1284712":{"pageid":1295462,"ns":120,"title":"Item:Q1284712","lastrevid":67445115,"modified":"2026-04-12T17:53:48Z","type":"item","id":"Q1284712","labels":{"en":{"language":"en","value":"On computer-assisted proofs in ordinal number theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1279229"}},"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":"Q1284712$5AAADD9A-2083-4B96-9C5C-354FFDCAD243","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a40d50bec417fb81ff440782be8fdafdd46b18f7","datavalue":{"value":{"text":"On computer-assisted proofs in ordinal number theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284712$9DFE1E74-163F-4364-9425-5BA3F2DC94DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bad280cf819a5973a1ef9a42df348b0e241ede34","datavalue":{"value":"0922.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284712$3429B017-F769-427A-AD02-819CACAF576E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2802070b848971a030ce20515edfcd5086f00f7","datavalue":{"value":"10.1023/A:1006010913494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284712$35A47891-96D9-4D0A-B6CC-9DE9E17353F9","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":"Q1284712$8929A40A-F1A5-4F4D-BA96-9D7E22E68441","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa2e5e35d3f24c6f7bef23b8c15234f371e216b0","datavalue":{"value":{"time":"+1999-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284712$8340CB8B-586F-4AF9-BF5E-D273CA578257","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284712$856D3C4E-AFB2-4512-B028-1CC51F86100E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ee98cda23167648ca3d63105e19e644d339e0b7","datavalue":{"value":"1279229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284712$D67218E6-90B0-4A1A-B44D-643564A4ACC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"761d15edb91374f40cb1a95703d610f99c662ef4","datavalue":{"value":"ordinal number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284712$0A34D2A3-CDEF-43A7-9D9E-BDCE3791D6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284712$BA48A878-3760-4DDA-91C5-366BFBA37350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9a18b3eb2df05f8dca347585efa733b7c0131a4","datavalue":{"value":"G\u00f6del's class theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284712$BE4D8CAE-6666-48AC-9514-1E6B9DDDC2A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec8e8465d4cea62493b7c7f53b0fb9fe238dd2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1404989,"id":"Q1404989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284712$584DF104-B0D0-46F5-B688-1F1BF9E8B5F2","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":"Q1284712$2C199006-E4F5-4EF1-8E92-02F90396DB7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"023eb04db61730ee33399912786dbb383196d7b1","datavalue":{"value":"https://doi.org/10.1023/a:1006010913494","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284712$88E90EA6-5E69-4521-88B7-06537EEEB2EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c33383fc1a251e695dc8bd52909d029bf9b9689","datavalue":{"value":"W1708264985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284712$0496A372-DB60-4EB4-BC74-B2190B7E2592","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f578685aa3e5d0210ee8a4b098c1f01d3e10b455","datavalue":{"value":{"entity-type":"item","numeric-id":3831934,"id":"Q3831934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9c673dc1e7b17de69a59821ed2b8e52f216708","datavalue":{"value":{"amount":"+0.9087539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284712$B56EAF63-E6C1-4AFC-B177-942A5644B805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88964ec0dcca17e8370c66d933dc0b826ae9cc08","datavalue":{"value":{"entity-type":"item","numeric-id":1080247,"id":"Q1080247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9c673dc1e7b17de69a59821ed2b8e52f216708","datavalue":{"value":{"amount":"+0.9087539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284712$64D10B4C-6898-4B7B-9998-695497A0179C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"037be8c0f2801bbd358ae95ccfedf686753f1718","datavalue":{"value":{"entity-type":"item","numeric-id":3024725,"id":"Q3024725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4847fbd35c522e3b108f6411602ebbd79df5bf87","datavalue":{"value":{"amount":"+0.8957912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284712$0FE23099-9562-49C9-B3F8-EC5CD542E6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc08b17a1ddd4ae826edaf57fd3e506f7115e9de","datavalue":{"value":{"entity-type":"item","numeric-id":3002926,"id":"Q3002926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"071e351c22ee373af83339b12f9670fa4471618c","datavalue":{"value":{"amount":"+0.88734025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284712$23B48C13-0B2A-4927-95A3-9371ECCEF3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5959204c7bbba00f9bcef38b1c2ffa198b5f6582","datavalue":{"value":{"entity-type":"item","numeric-id":1868167,"id":"Q1868167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a381999bc26db27187b5ded9d91526d3760e3b2","datavalue":{"value":{"amount":"+0.8808225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284712$46EA58CD-14C1-436C-8F71-654BF4A2FFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f014694f6b46e92fa4ebb6a1f68784e638b36d","datavalue":{"value":{"entity-type":"item","numeric-id":1762353,"id":"Q1762353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6753efbadf8a4e5bf5d8f34231087512e16fb6","datavalue":{"value":{"amount":"+0.88038445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284712$ADF7EC45-5310-4B47-A019-93319C4F1E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9a45ae46a34b1d555779bf6545791aae9e80d5","datavalue":{"value":{"entity-type":"item","numeric-id":840816,"id":"Q840816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee206bd0ee37c3e8b77f366f5347b99bcda3f156","datavalue":{"value":{"amount":"+0.8758079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284712$240C722E-971C-4BB9-8370-A5B29492E55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c426c7fa611a2c5f78e051681d8c1de49ac227","datavalue":{"value":{"entity-type":"item","numeric-id":892235,"id":"Q892235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cdccc406d51aa6da1d23631ad2b34a23728501","datavalue":{"value":{"amount":"+0.8751352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284712$3BB29184-DB73-4322-840B-50728EDD1616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b1dc6e396f4d398e8d9631206e9766f4ebbc85","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe8e515cb7f40f6d5b3b71b3895425e3d685033","datavalue":{"value":{"amount":"+0.87276703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1284712$29FE86DA-8940-4E4B-A8AB-A345459CB9CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On computer-assisted proofs in ordinal number theory","badges":[]}}}}}