{"entities":{"Q2819703":{"pageid":2830441,"ns":120,"title":"Item:Q2819703","lastrevid":83586668,"modified":"2026-05-07T09:09:02Z","type":"item","id":"Q2819703","labels":{"en":{"language":"en","value":"Automated theorem proving for special functions: the next phase"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631209"}},"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":"Q2819703$A575B50F-574A-409B-A1F1-AF1F6F71B743","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75303cecd6a498dfcfceb73691051e33558767de","datavalue":{"value":"1346.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819703$C74D8B7F-F7A2-40CE-B083-A4AF02BFE8FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6945c83770ac3902aba9bc5b2396511d9aeb12cd","datavalue":{"value":"10.1145/2631948.2631950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819703$DD01E0A7-0348-4A0B-8BE9-AD316595923A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"035703f1032617ccf772f206b699e16f6da35d9f","datavalue":{"value":{"entity-type":"item","numeric-id":2819701,"id":"Q2819701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819703$CE501A31-41B7-4FA6-9288-1D6AAAF79E3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819703$A63560EB-0F01-400F-8481-52C7E90825B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819703$6A62DAA9-712D-491D-8DEF-399C69C197BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bec363587fb3d0b1a22ccc2fe72b2de7e0f62625","datavalue":{"value":"6631209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819703$C7D2F213-E8A8-4187-BC1D-F05B9211DBB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819703$A2E44D4E-A70C-4A36-A945-CD799F0D7296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819703$1385F7C0-BF31-414C-89A9-D3C3BFE06852","rank":"normal"}],"P16":[{"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":"Q2819703$04A4DF50-B6A5-4A4D-9B1F-EB6083A70CB4","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":"Q2819703$41394A3C-D82C-4513-A516-4EC5E563C8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819703$C0A638D9-ACB6-43C9-AF28-C48EB4C1E49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819703$5925E1A7-B601-47AA-B141-69FA99E3E0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819703$2A19C104-F42A-416E-90E6-2CC66EE0407D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819703$9203F5A3-1F28-4025-AD8D-C93670672EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819703$79F11735-4C0E-41C3-8B68-34002543E86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819703$B356444A-1A52-4D0F-8FE4-BAC8E318FDE7","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":"Q2819703$ABC4F518-9DE9-41C6-B3E0-5C608EF01229","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3383587cf20ef6d20d9495a7c1c2bed32f5da73c","datavalue":{"value":"https://doi.org/10.1145/2631948.2631950","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819703$04E848C7-D5E9-43AF-A296-9CBB7103B5D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62f5930764dc3396e07c072c088dd2f2df4894cf","datavalue":{"value":"W2036770435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819703$63A8561C-BA59-418D-B5D8-FE615BD4FD54","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3bfc1d6767863f1eac12ffd618c5bd96ab820410","datavalue":{"value":"Q57382553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819703$3423AD7F-7384-4F97-A79C-360FC0F149BE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"20944dac4405c22c71ff57ee92ed18f2e836be1a","datavalue":{"value":"conf/snc/Paulson14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819703$D78F7078-2144-4E0E-B3AB-5FE364D9803D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"212170ad08559e1a34046e9a3af7dc6824c13223","datavalue":{"value":{"text":"Automated theorem proving for special functions: the next phase","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819703$BB695DF1-855B-4DF0-BD2B-1B82575C3DA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6f21a52d9f59a11e6a6d77bbeae7ffb6f485e9","datavalue":{"value":{"entity-type":"item","numeric-id":3709919,"id":"Q3709919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3cba3b7cb143ee52a9668dfe69efa42fe460d5f","datavalue":{"value":{"amount":"+0.7394439578056335","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":"Q2819703$5E66F14B-92A9-42D6-B7A5-5420FE772E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c464355e162bb39742d35675ae4f88b3e02fa0d","datavalue":{"value":{"entity-type":"item","numeric-id":4370791,"id":"Q4370791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b55bf8c54e3b81fc8473b8192c8f707c2e60e77","datavalue":{"value":{"amount":"+0.7327066659927368","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":"Q2819703$13D00FAE-D057-4908-A888-7FD6E8DC426D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af319d95894bd51d563498fa66b2bb6f616e464b","datavalue":{"value":{"entity-type":"item","numeric-id":5191100,"id":"Q5191100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359e9fe65eda0043fb4de886a394bf335cf581c6","datavalue":{"value":{"amount":"+0.721377432346344","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":"Q2819703$49081137-CC47-4A66-BF5E-E14B1D6D99E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b4fb64992fb8ab53efeada2bcba4b18cfaafdb","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00302715e22a95b742895cc2767374c6117a6403","datavalue":{"value":{"amount":"+0.7187756299972534","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":"Q2819703$C9D04C5F-34A6-441E-8E5E-B037062B7523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83028cd035a9ac61e5cf2a42518d71034174867b","datavalue":{"value":{"entity-type":"item","numeric-id":3308161,"id":"Q3308161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b2ce0844d4936b8135dd566159d1c3f4178655","datavalue":{"value":{"amount":"+0.7114314436912537","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":"Q2819703$402002A9-5564-412D-886B-493901189F1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated theorem proving for special functions: the next phase","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_theorem_proving_for_special_functions:_the_next_phase"}}}}}