{"entities":{"Q2847394":{"pageid":2858114,"ns":120,"title":"Item:Q2847394","lastrevid":83497853,"modified":"2026-05-07T08:26:09Z","type":"item","id":"Q2847394","labels":{"en":{"language":"en","value":"Faithfully reflecting the structure of informal mathematical proofs into formal type theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207108"}},"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":"Q2847394$7ECAA90A-E157-448D-AD2F-15C54CE18BB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8de1919f5e9b540163e099aade2c1c2eb6a7cf00","datavalue":{"value":"1271.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847394$8922E5CF-9AD4-437D-B3E1-96D8044C25A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e8c017497806797f217f1d658e3d224a2498206","datavalue":{"value":{"time":"+2013-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":"Q2847394$E1690374-B6C6-4F71-821F-54623B60022C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f74080322b1b28017f165592fbc7960f7f334e77","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104000155","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847394$71C159AC-ED45-4F97-87FE-81FD1B28B038","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847394$351B5753-0AAA-43DB-87D4-B64FCF39A5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847394$579CF395-DA57-4C96-8BB6-05605AF95151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847394$8D11631E-7AA6-46D4-8DEE-B467A6F9738D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c90ab78d55a7816e62a8801a436b04251e05fd06","datavalue":{"value":"6207108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847394$C2D85A6C-342D-4BF0-B597-6A6542A0D283","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":"Q2847394$473C9F02-2E60-44D4-86CD-0A547DE1263B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51b0ad20d9da7e1596642ccd383fec94d00b3a87","datavalue":{"value":{"entity-type":"item","numeric-id":2847395,"id":"Q2847395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847394$848CCC29-C721-48B9-86FF-955A153AEA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4657a88c4f305d8731d11ba38f0e52910a921920","datavalue":{"value":{"entity-type":"item","numeric-id":1078189,"id":"Q1078189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847394$AA2B72B6-E721-4DE7-A552-53E4C8D357C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a28019041079b32e2ed7165b74a3bed21b617331","datavalue":{"value":{"entity-type":"item","numeric-id":6465800,"id":"Q6465800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847394$598FC3FB-32E0-46EA-862F-CF379E74163B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4a384cd71cda0fecf4fe9b841bea18a5ba2abb4","datavalue":{"value":{"text":"Faithfully reflecting the structure of informal mathematical proofs into formal type theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847394$4BAF9881-F1DA-41C9-A61E-AB3A5D886759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11471a6b090db2b0618c36023c78d22ccc6122e6","datavalue":{"value":{"entity-type":"item","numeric-id":5313054,"id":"Q5313054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e43de77c1c2a3e7ac8fd4322a8171bf2f81c54e","datavalue":{"value":{"amount":"+0.8285278081893921","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":"Q2847394$71E55ADF-AA6D-49F7-8B3E-9C5C09D2A6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6eb11d0dd16776606314fce063ca1f55959088","datavalue":{"value":{"entity-type":"item","numeric-id":5898533,"id":"Q5898533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc94063cab0b85f9f3be59a473395ebed50076b2","datavalue":{"value":{"amount":"+0.8076897859573364","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":"Q2847394$1A7C4DF9-1C5B-4F32-AAD2-D010D8C17E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aade84d03cb403b69fd2b49e33ecdcfe7b5d2b2","datavalue":{"value":{"entity-type":"item","numeric-id":4393449,"id":"Q4393449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7f3dfd83dfdd7340625ce12c984639ec1e163b","datavalue":{"value":{"amount":"+0.7349348068237305","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":"Q2847394$E18D07A9-902A-4985-A8B0-95B0059845C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bc222b2e48a6f8ed51e81c80f0fdffe79d0c11","datavalue":{"value":{"entity-type":"item","numeric-id":865656,"id":"Q865656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7f3dfd83dfdd7340625ce12c984639ec1e163b","datavalue":{"value":{"amount":"+0.7349348068237305","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":"Q2847394$F7E7F7F2-E4E8-4AD7-8236-E5FE74E46ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e74be111e7310838d3555ac536d1cf46c6084ed","datavalue":{"value":{"entity-type":"item","numeric-id":4370238,"id":"Q4370238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e993bd413b657708ab99c014d98bf2355d26211b","datavalue":{"value":{"amount":"+0.7203184962272644","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":"Q2847394$12291197-9E1C-4D41-B774-C0C7D640B023","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Faithfully reflecting the structure of informal mathematical proofs into formal type theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Faithfully_reflecting_the_structure_of_informal_mathematical_proofs_into_formal_type_theories"}}}}}