{"entities":{"Q3124717":{"pageid":3135433,"ns":120,"title":"Item:Q3124717","lastrevid":45491275,"modified":"2025-12-09T13:36:20Z","type":"item","id":"Q3124717","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 991409"}},"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":"Q3124717$7F406396-0887-4470-91C9-5D1743634D77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b94d4fa5eedc4ebbb6402e86dd4e55c6943f887","datavalue":{"value":"0864.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3124717$A67C8AF5-D226-4F61-8718-3A57B224F55A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a9ed0dc47d71688bee5eb7fd9c85279efd4526d","datavalue":{"value":{"entity-type":"item","numeric-id":425845,"id":"Q425845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3124717$5E535216-6B8A-4FE6-86C6-40E00F618E9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6c12cf0fa9e38f832c0f5cac78fe70e7e278753","datavalue":{"value":{"time":"+1997-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3124717$AA62825F-DC1D-4878-A822-554ACDB7F47C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3124717$2E4B713D-FB95-49E7-B05C-50D1DB088034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3124717$FDFFE17F-4FCE-4C02-9496-DBA3AF9F477B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8574ca221627a3b631e5712574287946b0b18d","datavalue":{"value":"26E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3124717$9390B5DA-39DB-43A9-911F-45E1C85E97F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3124717$30254015-9785-4DDA-8373-FE38F0574889","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abfd1c7fd925b62f290f742f31398a43d82b8b0c","datavalue":{"value":"991409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3124717$4CFAF15D-E11C-44C2-AB32-5E1DA4974EFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1efff1fd7425238e22d82f944b8920bfae42fe","datavalue":{"value":"relative nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3124717$4619F2F8-728F-43F7-BAC3-C62559EAB448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3124717$9D026A48-119A-4A3C-B868-7413E1A37081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3124717$A07FC295-CCAE-4F58-B4B4-DB344B110E71","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":"Q3124717$3C401066-3805-4AAC-8FD5-7DE1E278A30B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d7cfad8603408517432e91f5b24385906e213e","datavalue":{"value":{"entity-type":"item","numeric-id":1364068,"id":"Q1364068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c76ec3486edee7fcb31d1bc105518f52ac75f7","datavalue":{"value":{"amount":"+0.9134178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3124717$872FA280-B2EA-4ED1-BF90-F2687384C8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76fd7c463a84fbcbfc71cb42de2070b55b676079","datavalue":{"value":{"entity-type":"item","numeric-id":4610323,"id":"Q4610323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d440a47aa7f0a62a8f2028a208fa248c0528c6f","datavalue":{"value":{"amount":"+0.91184247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3124717$A9A5AD0D-DAE8-47CF-B570-179C4973460E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040826bdd101a4074a64cac7f5a6bb6c31e38192","datavalue":{"value":{"amount":"+0.9057921","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3124717$F49899F9-BD27-441D-8D07-486EB48F6E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16053aace68649c794760ce4ef92c7682971b50d","datavalue":{"value":{"entity-type":"item","numeric-id":3978317,"id":"Q3978317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad16f47f1a15a51629723e5249ec0182d59eaa7","datavalue":{"value":{"amount":"+0.8992643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3124717$4EDEE796-F728-403A-847A-95BBF23A7117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d05a4501121dddb9c9da0e51dc951d70bb8957","datavalue":{"value":{"entity-type":"item","numeric-id":5308097,"id":"Q5308097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153a04fe8f16df64d5960f895b0cb78b3d8fd502","datavalue":{"value":{"amount":"+0.89019805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3124717$1BD646DC-9974-4BFC-A721-4B45451802D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea8c76ec2fc0a40c5c3c61c87ad988b288727ee","datavalue":{"value":{"entity-type":"item","numeric-id":6075432,"id":"Q6075432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a5ffcb5049204e6ee25359781da0e30f906e42","datavalue":{"value":{"amount":"+0.8897357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3124717$69411CB0-AFD7-4A17-9767-BB27D557893D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824dc4164e8d7197ccf367623aa9fc1f9d27133a","datavalue":{"value":{"entity-type":"item","numeric-id":3336734,"id":"Q3336734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd19e1db7cc7faad49b5d516dfcc69163e20564e","datavalue":{"value":{"amount":"+0.882111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3124717$1604A257-48FB-48FE-AA09-DEFC6C1C6182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e74be111e7310838d3555ac536d1cf46c6084ed","datavalue":{"value":{"entity-type":"item","numeric-id":4370238,"id":"Q4370238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34b1ca382fe61c77e9689a2c4594ebbad1f3d76a","datavalue":{"value":{"amount":"+0.87501884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3124717$F45A96D9-F7CA-4E1B-9683-A6FAE216146C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f50af4127ad7ccccbd67c4c6645d5ba64640681d","datavalue":{"value":{"entity-type":"item","numeric-id":5001547,"id":"Q5001547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238f646338f582b016726a36164a996049e3bf58","datavalue":{"value":{"amount":"+0.8744976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3124717$696120F9-5F02-4F47-88F0-CF1D62D58FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c99f4be2e494ef6df6a66e4bc9b2f2d793a701a","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcd0673ce6c376558236ad3dd671177825626c4","datavalue":{"value":{"amount":"+0.8730426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3124717$3D0EB9B8-16B4-4CC2-AB00-987D4C10A002","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3124717","badges":[]}}}}}