{"entities":{"Q4370238":{"pageid":6399837,"ns":120,"title":"Item:Q4370238","lastrevid":46996050,"modified":"2025-12-26T00:37:42Z","type":"item","id":"Q4370238","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1104364"}},"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":"Q4370238$004C8350-BA56-47C2-87EC-D66FA5EB24EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9574dbd29851b777d98648ab5eeeb38fdf90757","datavalue":{"value":"0889.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370238$7ED374F4-B564-4E7D-A94A-614E9EE374FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e7cbb0db19867f46cbb2964f154693a8fdb88c5","datavalue":{"value":{"entity-type":"item","numeric-id":3024828,"id":"Q3024828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370238$B6C92013-C011-4FE7-BF08-4C4C4722AE8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"409dfbf04be23dfa773dd922e108061256a04273","datavalue":{"value":{"time":"+1998-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4370238$2BCCA464-DE41-4736-9703-C3CDE15B1013","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370238$E394E51D-F0B6-4920-ABA4-0E6991EB94E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370238$F54CE857-8561-4750-98B0-7142714FEB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370238$56E5FBE9-8DB5-483A-978C-1227EB048662","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44ea08625aa9a7167ad0f6f401000f6109578418","datavalue":{"value":"1104364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370238$CCBBD59F-8D8C-45AD-9321-31E98187F8A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3256bcc26d8fa6a130fddae2b714ae6b809642e3","datavalue":{"value":"automatic proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370238$778A525C-C9F6-4547-A76A-D14B0E8FF94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70b73279ecf7e36be3f69c3d1e81636d982a6da","datavalue":{"value":"automatic production of natural language texts explaining formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370238$729E6FA4-AFF4-4A0C-8B23-21BB630B24B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee22a16b68ff7690ced49d39b0f7a8a6db96b60","datavalue":{"value":"calculus of inductive constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370238$A7051227-9D0A-4291-B386-58FFBE15D61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370238$32D34B06-C239-42F1-8BC5-52CBF0BB6856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc81b3c0f1498fb4fd9d8098c00de4ef9cd4560","datavalue":{"value":"functional representation of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370238$B3FBD8C2-51CB-48D3-AE96-845ED8F076FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370238$0429F560-41C7-466F-A95A-0FB541061318","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":"Q4370238$7E8DB70A-891A-41F2-8193-BCF737D28ADA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed814d9ffc82989d004a565ca291a58ab932e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3024829,"id":"Q3024829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6354841720ee52e4de69772353c067292284701a","datavalue":{"value":{"amount":"+0.7928833961486816","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":"Q4370238$D8EE9F2D-84D8-4888-BD93-6E251EC684CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd585486e94ec0405f2076172b880f2fc6e0761b","datavalue":{"value":{"entity-type":"item","numeric-id":4385443,"id":"Q4385443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b536cf27acbc5a33beef423bc36661baa572cbd","datavalue":{"value":{"amount":"+0.7802281975746155","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":"Q4370238$ACDB2BE2-AB7F-414A-B37E-9C4DA81B30A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d346b98ad75ab002d5bd08a23a9cf7fcb2f8e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3805957,"id":"Q3805957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef711c25733bd5ecbcc33978673e871a82f3481","datavalue":{"value":{"amount":"+0.7623642086982727","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":"Q4370238$87A70C08-06C1-49B6-85AD-C352D50FFF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554a63a767f74be5643a0902b982692276597fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4647515,"id":"Q4647515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35027628630bbccd4ec5140efb1e413cb6fe7b6e","datavalue":{"value":{"amount":"+0.75823575258255","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":"Q4370238$3AADE093-78F3-426C-97B3-F82706D911A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da707a54230d709398e14c355c9e150bd5e800a","datavalue":{"value":{"entity-type":"item","numeric-id":5210809,"id":"Q5210809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0e6e15634962825b72ea069ccd1978defcd378","datavalue":{"value":{"amount":"+0.7445207834243774","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":"Q4370238$A99251E6-AEDD-4249-BF38-F3B5178106C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4370238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4370238"}}}}}