{"entities":{"Q5951530":{"pageid":8128332,"ns":120,"title":"Item:Q5951530","lastrevid":47718304,"modified":"2026-01-02T12:44:41Z","type":"item","id":"Q5951530","labels":{"en":{"language":"en","value":"Missing proofs found"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686116"}},"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":"Q5951530$C68C45AB-BBA8-4523-9F81-867E91267EF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87d613e8cbe2fe3174ca9ca914604f6d53fe26fd","datavalue":{"value":{"text":"Missing proofs found","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951530$26D4884C-E013-4DC0-826D-3D7C69FC9B57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae0a23e537109d5586f636597ff746161a9c4dfd","datavalue":{"value":"1006.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951530$13076CF2-0C0B-47A7-A8AA-CBD53CB1E4AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f3a71467ca302f66cc609593e38a3237c326216","datavalue":{"value":"10.1023/A:1010695827789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951530$B43C2923-EA6F-4148-A755-3A7A89560373","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":"Q5951530$114073AC-59D3-4E23-8144-ABE26E776DCA","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":"Q5951530$9AAABA74-776E-4DFC-AF33-74F237BB3004","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951530$BF3047F3-D794-4A11-A10C-DAEF00183FFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd23d86f8a62e2a287b0d3c845d667edeacbe3e6","datavalue":{"value":{"time":"+2002-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5951530$CBF2C1A5-C7B4-41F4-8E56-30631043854E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951530$EAE43585-4D53-40DA-977A-73F70812800B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2435b5592ee68309ec5558a88e4e2dead3e3f4c","datavalue":{"value":"1686116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951530$087E795E-20C0-44BD-A8AF-5316DEA493D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1846b06a1e4ebb8f3fcd43232b678ff6b4f2d18c","datavalue":{"value":"term-avoidance proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951530$C1CD052C-E147-49E1-852D-EF40FA300176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951530$893DBF53-80AA-4FAA-9C04-B444DE1AD5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951530$8D5516B0-2446-49DB-A7F6-0F931F97C74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b25e8579313d613c0da87ccb7fba883d7cc90d6c","datavalue":{"value":"missing proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951530$628AD575-2762-4EF6-8D73-40FB2D582FD5","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":"Q5951530$5CBCEBDC-BC24-4607-90D6-179C4EE5089F","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":"Q5951530$085F90E1-1863-44BC-8B2F-56C2033E2B24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b997d5f9b16222889ee850275c4ec84f9a2fecc","datavalue":{"value":"https://doi.org/10.1023/a:1010695827789","type":"string"},"datatype":"url"},"type":"statement","id":"Q5951530$C8054075-066A-4BBE-8241-427BF88AD6A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07abb3d161cfbee6ccb657407447b312d810a13d","datavalue":{"value":"W1918039365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951530$A717A2A3-1E96-41B5-96C1-8E2170EE85C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf49610bffabfb30d665b9d9afcae1e1c873955","datavalue":{"value":{"entity-type":"item","numeric-id":5951893,"id":"Q5951893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095de6bd542dd68c403f79d06cf1b3b4785dc144","datavalue":{"value":{"amount":"+0.9099842309951782","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":"Q5951530$EFBA98A7-1069-4311-A1A6-48FAD5FC80BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5f69c789071bf14a8417081271429c23160ada","datavalue":{"value":{"entity-type":"item","numeric-id":4816538,"id":"Q4816538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f104c6e37b9b0db208491c96fcc06c65edb5b17c","datavalue":{"value":{"amount":"+0.8614407777786255","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":"Q5951530$EB82D024-E0F4-4DAB-BCAF-2ADF953AA704","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":"8a3c6ca8238d23fe83fda8430fd13587bdd2b2f1","datavalue":{"value":{"amount":"+0.8133448362350464","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":"Q5951530$6B177DC6-136A-41B6-BBDA-B1878823F6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17680d40b3e4a3063c42da38a3078d4ed9be0672","datavalue":{"value":{"entity-type":"item","numeric-id":4817210,"id":"Q4817210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4343b876b5efe13e162bd56c4209e4b5cd9d307","datavalue":{"value":{"amount":"+0.8045029044151306","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":"Q5951530$43B00F61-B3D2-40F0-9064-19373AE0FBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8979cc7394b54607363e20506421809afb99c0","datavalue":{"value":{"entity-type":"item","numeric-id":2362499,"id":"Q2362499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01019e36d1c260ceca620fdd9e0e082c966a2eab","datavalue":{"value":{"amount":"+0.7895526885986328","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":"Q5951530$152026C2-BDE4-462E-A00E-97B25C394089","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951530"}}}}}