{"entities":{"Q4249889":{"pageid":6279490,"ns":120,"title":"Item:Q4249889","lastrevid":46835907,"modified":"2025-12-25T16:52:27Z","type":"item","id":"Q4249889","labels":{},"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"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249889"}}}}}