{"entities":{"Q3840769":{"pageid":5870674,"ns":120,"title":"Item:Q3840769","lastrevid":54497654,"modified":"2026-01-27T11:12:50Z","type":"item","id":"Q3840769","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1187955"}},"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":"Q3840769$6F031C73-AA93-44AF-A0BC-5A95BA0BAE71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfbc41a82cd012a30d619f068cf5af1e0b7bb63a","datavalue":{"value":"0898.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840769$4BA4A6DE-B674-46A7-B3F2-7C4B1B548C72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15a57b693560fd34c9f1a1c205f9ff110b249458","datavalue":{"value":{"entity-type":"item","numeric-id":1671158,"id":"Q1671158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3840769$CEC7B9D3-A5F9-4034-9A7A-EDB97B9D624D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff793040251f711e7f15d3d2cfc34eded4ed1427","datavalue":{"value":{"time":"+1998-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3840769$1BF84E26-B587-4A47-8018-60106B2A6646","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840769$9DBBBD1B-EB80-46D1-B5F0-2BFB8362A7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840769$ACB0DF2D-4E37-4DA5-A8DE-8A196935F9CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"528ecfdc6aebd25fd4e79ac23fdf55ce27c40262","datavalue":{"value":"1187955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840769$F97357F3-CA39-471D-AACD-E74B28535099","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840769$8D20CC8D-2F01-474A-A54E-9CD08FBCBF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840769$96D995A1-57E0-4D3A-A7B9-8220EDA823DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29a0a1a089c1739ef594b8aa170de0991ebf7f7","datavalue":{"value":"proof checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840769$6B0289AE-9C95-4161-B637-57C0FC9CE469","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":"Q3840769$A800E92F-0BDE-42D3-8F86-DDB7864057A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e703c12462fa3c0b4409c4b169c76db5afa7ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":4500363,"id":"Q4500363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29c2f1a03cc8694210a18ce074532743746caa2","datavalue":{"value":{"amount":"+0.8352105617523193","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":"Q3840769$FEAD07B7-BAB5-4E8C-A73F-7E579D1A2552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35b8a8fa2c66bdffdc4f4627cbac691634a6136","datavalue":{"value":{"entity-type":"item","numeric-id":4247299,"id":"Q4247299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee62825f9df827f940d576644174b8999fe9b07","datavalue":{"value":{"amount":"+0.797190248966217","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":"Q3840769$57080429-70A8-4E92-B26D-B8C94EA397D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7806d431406bc0a857a7b60be6882dfdf02e41b","datavalue":{"value":{"entity-type":"item","numeric-id":4457452,"id":"Q4457452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da20e6b4dcbc146204c29a3f1e3b567f74302f3d","datavalue":{"value":{"amount":"+0.7725026607513428","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":"Q3840769$2FF0D255-92A5-4EB0-B418-121309E3E08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67350a8ce20243aea3316711c083f9c1ec239497","datavalue":{"value":{"entity-type":"item","numeric-id":4681364,"id":"Q4681364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a1ceeea8a6dc8cf310a79bebab7a08337c6c14","datavalue":{"value":{"amount":"+0.7710094451904297","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":"Q3840769$764D6F90-2464-4B49-B089-2FC98CF3AE7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3840769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3840769"}}}}}