{"entities":{"Q3887434":{"pageid":5917339,"ns":120,"title":"Item:Q3887434","lastrevid":54611162,"modified":"2026-01-29T11:54:03Z","type":"item","id":"Q3887434","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3693242"}},"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":"Q3887434$DB80E13B-9096-4A30-ACCB-E69F33FD435A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eefb876351d563dc0a294dd99464998414e06c26","datavalue":{"value":"0444.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887434$53E8ED5E-5886-49A2-B558-36C142257623","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b13b0ff580f5813051920faa5cde908b6ebc28a","datavalue":{"value":{"entity-type":"item","numeric-id":1296898,"id":"Q1296898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887434$46E9407E-C5DD-4256-8BBC-0B227BDAC98D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3887434$22830476-550D-40D9-9A00-DF45BF17428B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43cf7fe83cc55835dcaa57c83d31b872964e69ab","datavalue":{"value":"https://eudml.org/doc/28274","type":"string"},"datatype":"url"},"type":"statement","id":"Q3887434$800B994E-6A28-4CAC-9DD3-A07E19FCBD05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887434$360E5B0C-A2D6-447E-9C42-EFC920B3AF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887434$CE8F10EC-2146-4EDE-A893-E9853B22361F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887434$3CB8AADE-64FB-489C-91B7-BF8AE8BE905A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6647b8b72ac5e490f6bd3dabe372492dcde17f3d","datavalue":{"value":"62C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887434$B2488FA0-6F1A-413A-BBD0-6137900A2079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d7cb0e991bf79ba0419679b1657aa61ea2dd8fc","datavalue":{"value":"3693242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887434$9A152623-A049-474B-8C51-C058E70CAAB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6eeeb633a266efc85fa2d404c57569c3ef68e99","datavalue":{"value":"lengths of formalized proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887434$58D772DB-DFB7-4A60-8BA8-9CE7131DE5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa9f41d55ba1b8757a2bd9c5f144b43f02b01aa9","datavalue":{"value":"statistical testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887434$84A87646-3CE5-4772-88D7-660C98CF13E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47f8bdefbcff28fdd2a0ccdb369ed864feab8e70","datavalue":{"value":"deducibility testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887434$A4F00926-72C0-4EAA-BD5B-8EDD2879E34C","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":"Q3887434$1C95B391-6A9B-4831-AD93-BC30CFB14BFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8fc2a84a70afd43f12989fd0d75c5f3573550d","datavalue":{"value":{"entity-type":"item","numeric-id":3890137,"id":"Q3890137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887434$6F0F64CD-1066-4EF4-B66D-FC2596B0CC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887434$A90F9A4F-CFCE-42F4-BF3D-93BD089D2F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a32f59eb46acdf30eb2b6542ba989afd91bb6e1d","datavalue":{"value":{"entity-type":"item","numeric-id":1226869,"id":"Q1226869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887434$45E65861-B846-477E-BB00-F7EBC8795D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c338fbbcd209bdf2c2ec39c57312bb0da5a13d66","datavalue":{"value":{"entity-type":"item","numeric-id":4142716,"id":"Q4142716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887434$A13EDD56-14D3-4CBD-AE80-34E058BC3A91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3887434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3887434"}}}}}