{"entities":{"Q4035319":{"pageid":6065039,"ns":120,"title":"Item:Q4035319","lastrevid":55236757,"modified":"2026-02-05T04:24:26Z","type":"item","id":"Q4035319","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176215"}},"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":"Q4035319$8ED80892-0745-4DD3-AECA-989C182EF4B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e70b82a0eec42f943e82f42efba1a0e7fe7e65e8","datavalue":{"value":"0780.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035319$F6303DCB-BF52-4213-8094-AFAF67E734E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035319$117E4E01-6D15-404F-9856-8372F2D9CB9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035319$22F3306D-F210-47D1-A846-0EDE49530EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035319$E1D14212-A534-4FB6-9188-00FAD075835C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035319$F654C4F8-EA9D-4DCC-A57B-1AE40CE429AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fe5336aac498f06392b6373131d190dbfff15fa","datavalue":{"value":"176215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035319$45831FDF-BCD1-4C6B-8C50-7112B9837248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9097f5d131906574058554916f9f2c70fb78657f","datavalue":{"value":"theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035319$D0EAA621-2E9C-450F-AB7C-ECC61C3C7F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c5abf8384b4650e10eb104c5f4daf778e80434f","datavalue":{"value":"equations-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035319$3D8C7495-FF1F-458C-ABCD-94BC6B29D913","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"732d7894bb68f026286029206f7d75f5ebf8ecf9","datavalue":{"value":{"entity-type":"item","numeric-id":1329537,"id":"Q1329537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035319$CEE394BD-B80C-4E0E-91A6-4435EF033A2B","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":"Q4035319$070B363D-7D37-485C-B84E-6F997F1DAF55","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":"ab0bb1314e7a15317905a0f140e5fab2396a1ebc","datavalue":{"value":{"amount":"+0.8058626651763916","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":"Q4035319$E8963B2F-AD00-45E7-B3C5-A6A15706B0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d76fe6729d8a7a3e6d3d78e1e3882d6656303a","datavalue":{"value":{"entity-type":"item","numeric-id":2716051,"id":"Q2716051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12df07a6aa9a935240f0a71d0f0eae9b335a8b5b","datavalue":{"value":{"amount":"+0.7909178733825684","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":"Q4035319$904AA453-6C9C-4E63-9725-449473C1D09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a0c40ca867672e0047fab118f3fdeb9a85deb8","datavalue":{"value":{"entity-type":"item","numeric-id":4946075,"id":"Q4946075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12df07a6aa9a935240f0a71d0f0eae9b335a8b5b","datavalue":{"value":{"amount":"+0.7909178733825684","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":"Q4035319$97CD1E2B-7A2A-42B5-8523-82BAC1FFC8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11dec15cba0e8aa64087c4d1d01154cfbbbfb8ce","datavalue":{"value":{"entity-type":"item","numeric-id":3420692,"id":"Q3420692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd8503ac1f702cea1d2b9b52eb0b134c39e5e0b","datavalue":{"value":{"amount":"+0.7709298729896545","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":"Q4035319$B23C6003-88F5-4E7A-BAC4-B9E9C4B0927D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab4766fc7f13c4b648460780ec8be5a033d5e19f","datavalue":{"value":{"entity-type":"item","numeric-id":4525678,"id":"Q4525678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d91c87fd188dee0bb67c212e9a608eb0298b46","datavalue":{"value":{"amount":"+0.754718005657196","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":"Q4035319$859B0119-6B06-4579-A830-405CE017C0A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035319"}}}}}