{"entities":{"Q3640379":{"pageid":5670285,"ns":120,"title":"Item:Q3640379","lastrevid":49740121,"modified":"2026-01-09T22:05:47Z","type":"item","id":"Q3640379","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629924"}},"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":"Q3640379$89CF7EA7-4213-4DB8-96FC-43995AC63C35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f178a38d11740e9b0dc39fdcf7f6b8fd710f734b","datavalue":{"value":"1199.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3640379$4D651E81-5D30-4D3A-8FA1-C63053C2856E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-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":"Q3640379$1B4BD34F-2FBA-4CE0-BB67-E8A982003D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3640379$CA0D531E-2C14-4635-8606-96BCC49B6573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"257fb80f6fe220f70a8864b3e9143137481c0d32","datavalue":{"value":"47A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3640379$382D7EA6-5C08-4F8A-8EE6-EED7A4D1F2A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dbb89dc55ab441334811cd7d86501a3b2ba68cb","datavalue":{"value":"5629924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3640379$18D97E2D-4B1A-4F6D-A828-593286D2C47D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e2b65dda135fb496855f598efb13cd59d37798","datavalue":{"value":"equation solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3640379$552A1E6D-81D0-4EF6-BC38-6A3B3F307A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ae530b4b595b678950122122d3c2d7b86bc0516","datavalue":{"value":"mathematics mechanization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3640379$2371DF28-FFF6-43EB-9F4A-9118EA5AF492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3640379$0DB8BE10-8F53-4D1E-83B9-4307B1D46BEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06d4fb94cad745072aea4402a5a7fd1bd80e31e4","datavalue":{"value":{"entity-type":"item","numeric-id":377648,"id":"Q377648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3640379$42DB4B0A-E834-4EE8-9A36-E3F30CDD5481","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":"Q3640379$A8AE76C5-8160-4D9E-B4B6-45D5319D33CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbc5ecc7c3d9cf3b88c1b0d0dfe3a6fefe9a7c2","datavalue":{"value":{"entity-type":"item","numeric-id":4545702,"id":"Q4545702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67411abe6accdd87859a28703c79eff89de12fd4","datavalue":{"value":{"amount":"+0.81132907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3640379$F6BDC310-4DD9-4139-ADD2-DA47E8907BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201f8c2608da825cddeebdd446e4acf42d84fc40","datavalue":{"value":{"entity-type":"item","numeric-id":3640381,"id":"Q3640381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bffe4a3865ed73a321ffa6720fbb0e3f974046f","datavalue":{"value":{"amount":"+0.80994976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3640379$251AA893-2E69-40F7-B5BE-F6E3504F0B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c338b15471376e69c1a9415f436ed234c90c2","datavalue":{"value":{"entity-type":"item","numeric-id":2055841,"id":"Q2055841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efda71c604c2f7395ddf58f62578df3471519a50","datavalue":{"value":{"amount":"+0.8067306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3640379$51FD73AE-1EAE-4A4D-BE24-5D5E6682C531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533793ad2b0b6c89b0dfad7061fe402c938b50f4","datavalue":{"value":{"entity-type":"item","numeric-id":5586404,"id":"Q5586404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d214b5ed8dac8df3897ab60a30d9196ee9a4df","datavalue":{"value":{"amount":"+0.803006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3640379$5D0DE0D5-2A99-4B4D-B1AF-4FBCBB83550F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5839cb3ff0ed090311b4d35bef85ed8cabb8a6b4","datavalue":{"value":{"entity-type":"item","numeric-id":3582704,"id":"Q3582704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d70b8135703bb35e4fa375f7399a9624213c871","datavalue":{"value":{"amount":"+0.80264336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3640379$25A8C25A-4870-47B3-99DA-B400B6479999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f837cc2fda5eee1cf104157699b1c1b39ffec4e","datavalue":{"value":{"entity-type":"item","numeric-id":5522905,"id":"Q5522905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d70b8135703bb35e4fa375f7399a9624213c871","datavalue":{"value":{"amount":"+0.80264336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3640379$FD5292D7-4235-4CAE-8B86-6EC889EA3A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3562f99303fb8e5d31da968bb8f21c68ff7840b","datavalue":{"value":{"entity-type":"item","numeric-id":3677198,"id":"Q3677198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4867939f19487b2ec0024c1c6d4324dcd5b4a0cc","datavalue":{"value":{"amount":"+0.7952306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3640379$A7A8CE70-D746-4545-91A9-F57BB67A4047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4d8e41e79386a9ced851385c8f07ddda3fbd5b","datavalue":{"value":{"entity-type":"item","numeric-id":3840614,"id":"Q3840614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b66b651b49b480ff25708349aad4cab1fd1c20","datavalue":{"value":{"amount":"+0.7950226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3640379$405B8FB8-C047-45E1-B9DD-658B3170315F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3640379","badges":[]}}}}}