{"entities":{"Q4816538":{"pageid":6846118,"ns":120,"title":"Item:Q4816538","lastrevid":74883903,"modified":"2026-04-15T00:49:46Z","type":"item","id":"Q4816538","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2100042"}},"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":"Q4816538$B708A357-65FC-47F3-9F92-A18D2375F03D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ecdc99920c9855034cdbbb9342f5a1201a51295","datavalue":{"value":"1045.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4816538$1D9757B0-D105-4C9F-90A8-1E59E97B0819","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73184fbfb3b21357608a76d8fcbf8bd57d0ccb8f","datavalue":{"value":{"entity-type":"item","numeric-id":185562,"id":"Q185562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4816538$625D220A-59A3-459B-933E-E2C973E3F306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4816538$E022F74B-9545-429B-9F61-39BC19C9D9FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc8e387439babbec1a2d663e85f838dd62ec5da","datavalue":{"value":{"time":"+2004-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4816538$5514A40D-4B9D-4D25-BE42-B8D62946CE69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4816538$24149F64-4992-41D3-B2DD-5366734FC42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4816538$666DA2DC-EF62-4827-A9CE-B3A4DB436A86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf1ee549c916744d8825c1804820d22975ecd1ee","datavalue":{"value":"2100042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4816538$368D7E78-1670-422B-BA2C-859C41F22817","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4816538$2C746A25-DA4F-44C0-9D7E-54940669C22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b25e8579313d613c0da87ccb7fba883d7cc90d6c","datavalue":{"value":"missing proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4816538$2BF1448F-F49A-4DCD-9F84-3930F5F725A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1846b06a1e4ebb8f3fcd43232b678ff6b4f2d18c","datavalue":{"value":"term-avoidance proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4816538$3CADD931-CE69-4780-AE24-1C9312BCF41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q4816538$D935FB35-6002-4020-B5F8-6DDBBADA44E2","rank":"normal"}],"P1463":[{"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":"Q4816538$4C7AF22E-46EF-4882-AC07-EE34E68BB500","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":"Q4816538$794CD376-B98D-43F4-80D4-6E8A5A01569C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2fcef520633c4d7a052e3bd44f5c29e9529615","datavalue":{"value":{"amount":"+0.9357835","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":"Q4816538$43BE19F6-DE8F-47FA-8DC8-E6A575B043E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5331b37b95be4ebbbb648e9bfd870d3a37599806","datavalue":{"value":{"entity-type":"item","numeric-id":1379289,"id":"Q1379289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38c5cf50b22c5c830f9724b63f54ea740a52c0a","datavalue":{"value":{"amount":"+0.93556905","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":"Q4816538$D23A11D3-59C9-4D6E-8226-F797C1B27987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e05c83657436e737b927ca5baba755adba6b54","datavalue":{"value":{"amount":"+0.9342701","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":"Q4816538$E080D2E9-4DE3-4101-A5D5-39093C2C710A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cb6bb34055bd7687681718ca2c7bf00c0ca64f","datavalue":{"value":{"entity-type":"item","numeric-id":1057850,"id":"Q1057850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e21cc38429188e5b844da3f6ae6777654f4cb1f","datavalue":{"value":{"amount":"+0.9333316","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":"Q4816538$4AC96F6F-026D-4EA7-9CE4-83BEFB48B9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6706f674745437a28e826927d52883b093061b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2988387,"id":"Q2988387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00970790336284512f7c0d820de299967cf0a68c","datavalue":{"value":{"amount":"+0.9231223","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":"Q4816538$B0DB6349-CA77-42F5-AC56-6EA45FC4ECE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3871c91d193182f24e1450a792f7ef1c194e7","datavalue":{"value":{"entity-type":"item","numeric-id":4332419,"id":"Q4332419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab55118d9be3bf221ef40e7abb4e57a824142d6","datavalue":{"value":{"amount":"+0.9197043","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":"Q4816538$2D45F1E1-A4C5-4D62-9CD6-0B7385666889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98ce8bfac77ad8990a4b43d6f86774fb9254705b","datavalue":{"value":{"entity-type":"item","numeric-id":4013816,"id":"Q4013816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75c261a5f0827971513c6a73cd8089cd73c2073","datavalue":{"value":{"amount":"+0.91812825","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":"Q4816538$7DF55BD7-BA1B-4AA8-8EB8-E177BAC0BF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd4e16ca1cb0cf967baab16095777ff595e9eba","datavalue":{"value":{"entity-type":"item","numeric-id":5186757,"id":"Q5186757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdafd9428bcc45744eca0c68f4b88c9dc9d96ab","datavalue":{"value":{"amount":"+0.91642445","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":"Q4816538$5CF1CED7-6AC6-4621-9109-2E98E726AA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4f32f1df048db7195f1e7c04fb6d701be0b689","datavalue":{"value":{"entity-type":"item","numeric-id":4792019,"id":"Q4792019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9ae9294ba6159dafc2b92d9f98b0e65fa7768e","datavalue":{"value":{"amount":"+0.91452074","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":"Q4816538$E63373CA-A708-4401-80D1-2FC7360073B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ec97b8481b3a0b1d3747ab1cfe1014f767440b","datavalue":{"value":{"entity-type":"item","numeric-id":4524794,"id":"Q4524794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc4eb7662ea1bc227841d0c14d2034a4e70958f","datavalue":{"value":{"amount":"+0.9133202","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":"Q4816538$0792F1EA-9CFB-4185-93C9-5AEE0010C40E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2100042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2100042"}}}}}