{"entities":{"Q1868514":{"pageid":1879256,"ns":120,"title":"Item:Q1868514","lastrevid":71020242,"modified":"2026-04-13T18:57:47Z","type":"item","id":"Q1868514","labels":{"en":{"language":"en","value":"A new implementation of Automath"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901560"}},"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":"Q1868514$97A26AF6-E05A-48BF-A074-B4320273A85D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e894afb7e8d0b13ee1b605a375731465567a7e29","datavalue":{"value":{"text":"A new implementation of Automath","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868514$7C6604A7-B9E1-48B8-9EC9-F5C8C51DCE3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2451af753f0102e7c3987386b92c3e2ce4e3022","datavalue":{"value":"1064.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868514$C96CCCD2-2CA3-4AEF-A4EC-16DFCA14CD9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea68edf2fd6837a5e37549d7e8d4fd8a500969b5","datavalue":{"value":"10.1023/A:1021983302516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868514$8E23B157-671F-42B2-8653-E50466B3B774","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24cc198e7b26916e61ffb256f7b2af313e3e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":865657,"id":"Q865657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868514$E7B869DD-C3CB-4EB0-B7B4-5385D2C7F28A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868514$98B16650-8E62-4BA4-90E2-79EA58CAC62D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-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":"Q1868514$B84C1B4D-1ACC-4167-9858-E92E22E497F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868514$FD2DABF9-BDC7-43B8-94DE-31D8257CAAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868514$552352CF-DA7E-43AA-AB64-27CF9BA6E8F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e1d8d92e56241a79c563e9d766db85fba5356c8","datavalue":{"value":"1901560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868514$7F15600D-20D3-4559-BE3D-C44BC0A78866","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e10659ec0ab4c1636b61cba98e7ea0e00939e8","datavalue":{"value":"Automath","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868514$8DED13F3-7C0D-485F-8BAD-059FC68C062C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a96a510fd7a7846523150dd8bb125ef8f415fa","datavalue":{"value":"formalized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868514$C55F3CA2-C08C-4F5C-BDDF-E30F4067280E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0885033cf4b16d0fe54f08ae6472e825daee282","datavalue":{"value":"proof objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868514$70854130-E46F-4748-A6F4-F70AFE750CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868514$7878ADA9-B0DE-49C5-8DD7-2450B545BF15","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":"Q1868514$AA495FE8-357E-4B04-BC31-0EBA67B1168D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868514$5F1BE135-B094-4C12-A16D-DCDEA0CA295C","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":"Q1868514$5DD0477E-ACA5-4A27-8ADB-6026772C44A4","rank":"normal"}],"P1643":[{"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":"35568e826a4edbdf5884452e2dab85d6c8034af4","datavalue":{"value":{"amount":"+0.7855263352394104","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":"Q1868514$B79250CD-18FB-4014-AFA6-27D76E38864F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4ed28e0afe30bac750b6202c6cf55762415b80","datavalue":{"value":{"entity-type":"item","numeric-id":4012875,"id":"Q4012875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e31fecff35f0fca721f9c04cf08b0d8ccf5f91","datavalue":{"value":{"amount":"+0.7821060419082642","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":"Q1868514$9991FF3F-A4F1-4520-B43A-787CB00509B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aaf0780a9e32defef82d357a11997e0e2a32c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5195263,"id":"Q5195263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361df2afda47ae69ad52589925589080ae1c2e5f","datavalue":{"value":{"amount":"+0.7255567908287048","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":"Q1868514$7068F768-20F5-4909-B545-CEC227599E91","rank":"normal"},{"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":"af7362019e50e0a6ee6eb965142d3f11177f0b2a","datavalue":{"value":{"amount":"+0.7245344519615173","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":"Q1868514$F3BF68DA-633C-4430-853D-FEFB0CD3449C","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":"76b87561e591331ac0046e2d36284245406d1f17","datavalue":{"value":{"amount":"+0.6915351748466492","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":"Q1868514$A8FD23C2-33B5-41B3-A500-C3A21E743332","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new implementation of Automath","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_implementation_of_Automath"}}}}}