{"entities":{"Q2739733":{"pageid":2750472,"ns":120,"title":"Item:Q2739733","lastrevid":47671480,"modified":"2026-01-02T09:39:07Z","type":"item","id":"Q2739733","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1646230"}},"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":"Q2739733$3860D36E-5D87-4A10-8FB5-8B5263ADFFBA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bae845933fa40821fb0a86eb618ebd38c139dd2","datavalue":{"value":"0976.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2739733$A19A282E-3871-4649-9FE9-940DAF9F4A8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81f8906f510a1a7a3f5462e696b50f1cf7c22137","datavalue":{"value":{"time":"+2001-09-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":"Q2739733$63FC4846-3E98-4F93-9D42-5C3D4952D7CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2739733$595758B2-D741-49C0-B893-BF4C2EEB41C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2739733$3162A84E-0336-4749-8DB5-CFC36ECA4D07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eca6a2c706c8ecf09b7ed2b3ede9591c94cb8312","datavalue":{"value":"1646230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2739733$949CEE44-B733-4A89-B9EE-17815BC8FC58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad3f72dc1b929f56613b03bc48eb902cf811682","datavalue":{"value":"theorem prover Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2739733$6F4B9B78-079F-4AC5-A700-587E86863724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2739733$F4CD255F-8ABF-4190-BB41-AC7C2C3AB2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2739733$3FBB673D-BD4D-4F2B-8DA9-28BE1C37F4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d7f6b73833d36673413623461a7fd9c9b5461","datavalue":{"value":"Newton's Principia","type":"string"},"datatype":"string"},"type":"statement","id":"Q2739733$40C3CB2C-87A0-4C3D-BAB5-9D2903F817BC","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":"Q2739733$8CA32ED3-FF16-4DE2-88C5-42923D3CDB04","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":"Q2739733$B5A8B975-8D3E-4E91-A516-4E58EDB1E2CA","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":"Q2739733$6A50B6BC-86D6-4731-AAB7-C0F1204C7E55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b3fa0522c355a0a7b49912a26c4941ef5b702c3","datavalue":{"value":{"entity-type":"item","numeric-id":6767938,"id":"Q6767938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2739733$52F2081F-761E-4A2C-806F-56CFC426FD83","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9cda603722202722f19339c0e84295bbe19098fb","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2739733$35F379DF-9D6E-4105-BF80-BAD631A59958","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd9e25aef30e01babff1ebbb5ce5d476b7b93db","datavalue":{"value":{"entity-type":"item","numeric-id":4249889,"id":"Q4249889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33041855a9366879431f48e529591695bf00587","datavalue":{"value":{"amount":"+0.9240749478340148","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":"Q2739733$44226A5A-4FDB-46FE-9211-10ECC2F6093B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e3e5338b16a90dced9133933812fb3fa905d8b","datavalue":{"value":{"entity-type":"item","numeric-id":4853341,"id":"Q4853341"},"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":"Q2739733$92FA8A7E-5278-400B-BFF7-B224D4F69302","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":"0883747fa6e5a81669d068af6bc44c176957ccaf","datavalue":{"value":{"amount":"+0.8244146108627319","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":"Q2739733$EA1B1CDB-524B-4150-BA85-8D3AC59C194B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f7b91dc5d1beef8197f17b8cd9d3f18ee0f783","datavalue":{"value":{"entity-type":"item","numeric-id":3350828,"id":"Q3350828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0883747fa6e5a81669d068af6bc44c176957ccaf","datavalue":{"value":{"amount":"+0.8244146108627319","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":"Q2739733$6C17B62D-44EC-422B-9AED-045AF3BEB52C","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":"ce37e052758fa270bd10e55f9da21874ba8d4aeb","datavalue":{"value":{"amount":"+0.819846510887146","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":"Q2739733$04EF70FE-1FED-4A59-B38B-550ED8A9555B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2739733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2739733"}}}}}