{"entities":{"Q4946078":{"pageid":6975660,"ns":120,"title":"Item:Q4946078","lastrevid":47467453,"modified":"2026-01-01T20:05:38Z","type":"item","id":"Q4946078","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1421054"}},"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":"Q4946078$BB80801D-D983-4E56-BECE-8DF30A03AA3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c687c439b5324d18a97097808a52c5557d1b312a","datavalue":{"value":"0952.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946078$17B4AEE7-7E27-4724-9751-F26C3E641393","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"751594203bc637c9523539b1699de34093fb9590","datavalue":{"value":{"time":"+2001-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4946078$67A7D000-8BF5-4328-ACCC-E0513053697D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946078$F94D0C25-3106-41CA-90D8-880685F3278A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51926ad015f0a27128c95ae7e1ee78d8896c9ca4","datavalue":{"value":"70F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946078$25110DB5-5CD5-4AFE-AAE9-CA23CEC1CE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"01054dc6ba33aba8a952621f3343b259f4539d2d","datavalue":{"value":"01A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946078$C3589306-88F5-49ED-8C80-A5D64C9E7405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946078$29A01CA2-B960-4D5B-8B5B-50ACC4943A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ae51f82c27bfef4aefb35751d394971f58c000a","datavalue":{"value":"70-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946078$3F8843E9-6693-4717-9F7C-EB790180E4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946078$D9DE5C71-5FE9-42DC-8145-2F07489314EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946078$EED66E97-8A4A-48E2-B20A-8C8CACCC58E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de15df61c756d683168b2239eda7e19afc65eab6","datavalue":{"value":"1421054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4946078$1E8FBD5B-837F-4B5C-B757-3CA3CB1571A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68bfc718d278ce5e0238e59972e46eeadd4ec971","datavalue":{"value":"Propositio Kepleriana","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946078$38F1AC5A-7C9C-4C46-98F4-D284DF8FF65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7164fb1a146782fc3fc30b688b30936e08cdee92","datavalue":{"value":"geometry theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946078$422EEFFC-2E87-4C1E-8731-50EC306E2E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70cb18a59f06d72b5979403c7ee401e94f3a7acc","datavalue":{"value":"Nonstandard Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946078$227992A0-E827-44F8-910D-C4BA69D79ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad3f72dc1b929f56613b03bc48eb902cf811682","datavalue":{"value":"theorem prover Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4946078$5C4ADF0D-D0FF-4879-8D74-97CBCB249EE1","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":"Q4946078$144D1003-5B67-463D-ACC5-408C77E87623","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":"Q4946078$CCF6DEEF-D7A1-4DA0-8EEC-0C91BFADAC2F","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":"Q4946078$BBF58F7B-349C-4B99-B031-758BF494AA1C","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":"Q4946078$373F9E09-8CD6-40ED-80C8-4702A2DDDB1D","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":"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":"Q4946078$4D5EDCDD-2107-4854-9011-CA4F12126AA5","rank":"normal"},{"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":"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":"Q4946078$F403B443-7B75-4526-8574-C0F80CE592E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111dbe84a820b3c1f42f1ce78ff732164195fed1","datavalue":{"value":{"entity-type":"item","numeric-id":1183319,"id":"Q1183319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967d59a5062080d458ddd9d6492d4a35f2dea82c","datavalue":{"value":{"amount":"+0.8185673356056213","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":"Q4946078$989FF92B-3D83-459F-B25E-60FC6CDC8000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c940cccc732e136512fcebb4c57bb8e63813777b","datavalue":{"value":{"entity-type":"item","numeric-id":1421933,"id":"Q1421933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fa5331d74628f7de0583428200aee6193864ceb","datavalue":{"value":{"amount":"+0.7461878657341003","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":"Q4946078$9D7EB517-05B2-4D50-8048-50D14E5049F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6688c82ffdea43acdda0961b10d04cc226fecea1","datavalue":{"value":{"entity-type":"item","numeric-id":1119554,"id":"Q1119554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3e21222d2bf8ca7fb8ee016d7410eac6f970ad","datavalue":{"value":{"amount":"+0.7391055822372437","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":"Q4946078$198C584C-5EA2-4FFE-9A95-60EC2D140CC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4946078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4946078"}}}}}