{"entities":{"Q4249889":{"pageid":6279490,"ns":120,"title":"Item:Q4249889","lastrevid":108462002,"modified":"2026-11-06T13:56:26Z","type":"item","id":"Q4249889","labels":{"en":{"language":"en","value":"A combination of nonstandard analysis and geometry theorem proving, with application to Newton's Principia"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303336"}},"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":"Q4249889$78E94F54-BB7C-4A9C-992C-61FBB3AE9BD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69d44acf5bc9ec5dd981a2c74d93c67ed524c702","datavalue":{"value":"0924.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249889$3D40DE13-E695-40B9-A354-14ED13B78030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f20dd4a1895cf18dde61efc77672cfcc1d29fef9","datavalue":{"value":{"time":"+1999-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249889$25F42233-B3C4-44BD-92B2-607002779AF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249889$F397C8B3-52F6-450A-BC15-50E0C5130F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249889$F1CF6F36-3B39-4802-94F3-436432EF7857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249889$F610D70F-657C-4E65-9037-2E8C6BA9F1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249889$70D0BC5B-48C6-43AC-BF2B-EA8CD553FD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c23dec48a3293f0be30fba7ca1732a18d4263499","datavalue":{"value":"26-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249889$B9DA064A-8692-4042-B0E6-717BB2DDF668","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b9f098e104dca61be23f3f184c5f0dc82da539b","datavalue":{"value":"1303336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249889$F8335EBB-2C52-40AB-BBF8-C1AE75CBD7D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d7f6b73833d36673413623461a7fd9c9b5461","datavalue":{"value":"Newton's Principia","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249889$0DC21B69-2BFC-46A4-B900-1940F4D44E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad3f72dc1b929f56613b03bc48eb902cf811682","datavalue":{"value":"theorem prover Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249889$3D6D822D-3469-41C4-8B82-E60D23808726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249889$B2CE1188-8F5A-451D-AAC3-6578C2DA865A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70cb18a59f06d72b5979403c7ee401e94f3a7acc","datavalue":{"value":"Nonstandard Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249889$56636644-AD79-4571-A98B-D354F86827EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e42e263cfde3cc3154268c69ce6f440164cfbde8","datavalue":{"value":"infinitesimal geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249889$9543D7D6-9AAC-4FBC-B5A0-62B833089E2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d78e8b1fd2bada0896418639974db329feb4fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2102945,"id":"Q2102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249889$8B54575F-9278-4327-B27C-3F74877EE259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249889$BF05FE87-1BEE-4D55-9AF4-E91EFA9794D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249889$A0C6DD76-12D1-48E6-8B38-0434A49A2FB5","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":"Q4249889$054A1562-DD4A-45B0-A06A-6949FD0FE9DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b64cc58f0e3cd3ce8d83be3d83805aa62c9120","datavalue":{"value":{"entity-type":"item","numeric-id":2739733,"id":"Q2739733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8226d653b5df4d5ea751fca21a84c32d2a948b","datavalue":{"value":{"amount":"+0.9240744709968568","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":"Q4249889$9AC48AD1-EA24-42FC-B6D0-86502298B7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5829d3ffd69a9060388ba2482bcabc1c2a84e1","datavalue":{"value":{"entity-type":"item","numeric-id":2720298,"id":"Q2720298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc7745b451a2d5e69186e04f608f052f7e1b379","datavalue":{"value":{"amount":"+0.8482842445373535","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":"Q4249889$F3EB5BD0-2C7D-4FF8-967F-A6EDCFD7E7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f58aa15256ba1388822cfb8684029c810c2650b","datavalue":{"value":{"entity-type":"item","numeric-id":4530838,"id":"Q4530838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1d1001779aaae9561600f4ab841f1eaa82c1d0","datavalue":{"value":{"amount":"+0.8467913269996643","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":"Q4249889$DC929C24-C48B-4A41-99B8-967820B7A2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5a8639d860eeb9be0bf362632f8c970658b3fb","datavalue":{"value":{"entity-type":"item","numeric-id":4946078,"id":"Q4946078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e165c400c4186458f6819ff61a4a151dd696c184","datavalue":{"value":{"amount":"+0.8185673952102661","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":"Q4249889$22167432-3557-4706-9D49-95DCBE13DE40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"395da2428410570d824e6a831b75f346f58bd613","datavalue":{"value":{"text":"A combination of nonstandard analysis and geometry theorem proving, with application to Newton's Principia","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4249889$880C185B-4E87-4915-A023-3D9A7D30E564","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"770b23ab936da08063324479150598fca3f9f396","datavalue":{"value":"10.1007/BFB0054241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249889$BD51E3DD-6E15-4EA5-90A0-2C714C65168F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249889$6BE88B11-07F3-494B-B84C-447EBFC71B00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A combination of nonstandard analysis and geometry theorem proving, with application to Newton's Principia","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_combination_of_nonstandard_analysis_and_geometry_theorem_proving,_with_application_to_Newton%27s_Principia"}}}}}