{"entities":{"Q2996190":{"pageid":3006914,"ns":120,"title":"Item:Q2996190","lastrevid":51238268,"modified":"2026-01-17T09:44:22Z","type":"item","id":"Q2996190","labels":{"en":{"language":"en","value":"A computer environment for writing ordinary mathematical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884924"}},"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":"Q2996190$362141CB-AB13-42CF-A58C-A5F53642D1BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b11fa32509b11a50f67cd91005715254e58e1849","datavalue":{"value":{"text":"A Computer Environment for Writing Ordinary Mathematical Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996190$1019B8AE-D428-4AAE-95BC-854FCF4E5E25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b97ce139961b5e4d84021f96c1a5627ee8b7dc2","datavalue":{"value":"1275.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996190$B06563D5-33B5-4B3D-B229-03D977CCC7BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"484332a839a53ad26f20772cab6c3c6d02c0f59a","datavalue":{"value":"10.1007/3-540-45653-8_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996190$61FCD3D4-E9D9-4B51-9D55-65DBEA21C2E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f32f20ebab0d1c5e0da99a6958b04918a315f768","datavalue":{"value":{"entity-type":"item","numeric-id":169763,"id":"Q169763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996190$1C7C9437-9865-4B02-B7FF-72A204B5C5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1c23d88a1e8e15cbdfee86788ccde00a301f6e2","datavalue":{"value":{"entity-type":"item","numeric-id":2996189,"id":"Q2996189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996190$61D8E113-672D-4721-A2F3-7C35C77F8CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eecdb70ae5acf6ae19947fa9e6012f1693c31c8","datavalue":{"value":{"entity-type":"item","numeric-id":1368387,"id":"Q1368387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996190$C36DCA67-7F55-4EE4-BDF5-750BD05B12EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996190$97728006-B7D2-49B1-A596-AB2756513E56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996190$0DBA0236-5B04-4886-BFD0-164382BC486F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996190$EB6A8348-5AAA-4F54-BF3D-40BE4928F3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cdc6607323b1932e270dcc852c92792416514a3","datavalue":{"value":"97U70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996190$B58A614D-A3CB-407B-A053-CED0BA61EBBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3ad42d608aaae819d3b98870a1cd24a5d305af9","datavalue":{"value":"5884924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996190$A0060A8C-3956-4BAA-96C7-2BB6011EB4CF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb2a0d26fea35078242c9d2bd845a54b09422961","datavalue":{"value":{"entity-type":"item","numeric-id":17015,"id":"Q17015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996190$D44DD52A-D673-4241-83B1-0DA0A99609D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0befb617301b51835c771b6911f021355e30116","datavalue":{"value":{"entity-type":"item","numeric-id":40436,"id":"Q40436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996190$B3EF0F3E-2E2D-41B4-A641-A43B8BEB04AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996190$E875FE31-9B08-4D48-A9FF-F434947EF7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996190$43FA480D-85DC-42B7-AEF0-BF49793D6665","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":"Q2996190$61E790BD-5000-4767-BC99-92D05271E1C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e379be0d71ad5c28211dab188e307059b73a9471","datavalue":{"value":"https://doi.org/10.1007/3-540-45653-8_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996190$1BEB3BFC-ACED-40D3-AFD8-07DF46596CFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43429dffa35b5c6651e3a48c443a9542415189bb","datavalue":{"value":"W1600122481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996190$F4E1AC3A-1EC2-4CC9-BBB5-41D222F88CF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5287e0aa1e87217bd42cd2d66e24afc654f209","datavalue":{"value":{"entity-type":"item","numeric-id":1820596,"id":"Q1820596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71541ba816476da7283e5d6f45be9f2ec11d5d72","datavalue":{"value":{"amount":"+0.7201271057128906","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":"Q2996190$3DB558C2-A96A-40C9-AACE-28781D733054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62d3c74f1452c00e4d697b29b4b03afa7c01b35","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e41d8b0277ab8f92dc18dc3c691a5a887baad9","datavalue":{"value":{"amount":"+0.7194100022315979","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":"Q2996190$A5156276-0F86-4F2C-B78F-6C2BBC9282F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed8d34ede634ba6490313e6d9d8ea66e51d8459","datavalue":{"value":{"entity-type":"item","numeric-id":3216156,"id":"Q3216156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59bc5111b848ad489ce37eaa681718611d1409db","datavalue":{"value":{"amount":"+0.7156971096992493","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":"Q2996190$DD7DB8EC-7990-4E05-89A2-DB9FC1FEE6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20eead5f3c23141535d15a4b23d419c4534d78c2","datavalue":{"value":{"amount":"+0.7038472890853882","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":"Q2996190$2BB0F672-BFF2-4F9C-B6D4-5EADF651C52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c464355e162bb39742d35675ae4f88b3e02fa0d","datavalue":{"value":{"entity-type":"item","numeric-id":4370791,"id":"Q4370791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36d44efa9421df04638296ece24924f0fcce663","datavalue":{"value":{"amount":"+0.6973868608474731","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":"Q2996190$8556DA5F-6557-4950-85B9-24D4A1C88A6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996190"}}}}}