{"entities":{"Q4012875":{"pageid":6042671,"ns":120,"title":"Item:Q4012875","lastrevid":55180075,"modified":"2026-02-04T12:17:37Z","type":"item","id":"Q4012875","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65527"}},"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":"Q4012875$8E589D79-AA8E-4D80-9969-32E7A5475BC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8252ba98d0858d82b0db86752d17b11217461030","datavalue":{"value":"0754.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012875$0EFC5F61-BE38-4023-ACFE-8E81D4CC5300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012875$6FD57C36-EA43-4721-A2D6-93239F1641AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012875$493F7955-D0AA-43A0-A141-C8BF8DF81D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012875$13DEBA32-FC1F-41D4-ACA4-8D9A1529243E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012875$4638BE0A-70FB-4237-9412-A8C96EA55670","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4e920477d5a14cfe117975c681c2ca149eb9aeb","datavalue":{"value":"65527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012875$99A2A660-7346-4F8D-806A-B95CD7496659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb237a09b46e833dd2d743fa4519378a856a533f","datavalue":{"value":"verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012875$AAD1692C-5BFB-4943-8632-233D45558A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012875$567AC4F4-BD14-4B0F-B07C-E24D04E8D55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c18a7afb12a10f7e893327a1d97a62bff10808a","datavalue":{"value":"term correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012875$8F86A31C-3EC4-47DB-8614-1A1AA2553F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"032622a05e87a7c0b2bf8f1250a0b98ba48be2ad","datavalue":{"value":"Automath languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012875$77E1D484-C008-47C0-B76F-6857B592D33A","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":"Q4012875$C504BD14-8510-43DB-B580-B8919F993E3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f12f07dfbc6376d967dfe9c5176f0772f411cbb","datavalue":{"value":{"entity-type":"item","numeric-id":6481711,"id":"Q6481711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012875$F596303D-D5E8-4B88-965E-3AFC6EBB61A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd36c4ef364df121f76ddcb51fef9f536c27ced","datavalue":{"value":{"entity-type":"item","numeric-id":3793765,"id":"Q3793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036fb64e30467d914b630c25010db8d74fa9e13d","datavalue":{"value":{"amount":"+0.7342507839202881","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":"Q4012875$1662765A-D2E1-4E65-B535-4D5F51B0225D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfef524b5552cf6851b4929998ebb7eff7aaea33","datavalue":{"value":{"entity-type":"item","numeric-id":4281578,"id":"Q4281578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc79ea107397f49aa1fb439b53446202de0333a4","datavalue":{"value":{"amount":"+0.7068802118301392","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":"Q4012875$0F650FAA-0FAC-4565-88A7-F7614C2B0EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79f9f5dde2744a8ff68feff1bf3c92886eaf880","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3bd7827b2c1b5ec682f367444d2d1913f0cbee","datavalue":{"value":{"amount":"+0.6985887289047241","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":"Q4012875$34BD54B1-C387-4331-9307-58016527A04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c7def7fd5deb231bff8d8be464a0bc81aae1ad","datavalue":{"value":{"entity-type":"item","numeric-id":4012874,"id":"Q4012874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04e21d74c54f81218b3391bf85fe9749da3fd3b","datavalue":{"value":{"amount":"+0.697883665561676","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":"Q4012875$299EFA98-A0CD-49A3-ABD3-0CDBA884109A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78adfebdfe6da3f12207e6367824ff5b4bb8037","datavalue":{"value":{"entity-type":"item","numeric-id":4924545,"id":"Q4924545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91097fc1026c68a4dd776fe17b3811d002e26863","datavalue":{"value":{"amount":"+0.6959874629974365","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":"Q4012875$D84590E6-40B9-499C-9498-438D08615F2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012875"}}}}}