{"entities":{"Q2767925":{"pageid":2778664,"ns":120,"title":"Item:Q2767925","lastrevid":83187314,"modified":"2026-05-07T06:33:37Z","type":"item","id":"Q2767925","labels":{"en":{"language":"en","value":"Formal representation issues in an open mathematical knowledge base. (Extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1698755"}},"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":"Q2767925$58BADACB-D43E-4059-9CBE-16F66266BB65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa23c4b792a8e48d487f20da67ac0579e79cd5c8","datavalue":{"value":"0982.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767925$336D7AFE-D9D4-4AB7-AD35-D461EE5FD966","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767925$17009636-F215-4B8F-84B4-C37A18AFFA5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1de092f67946937b91df34e98936fba6ee61917","datavalue":{"value":{"time":"+2002-02-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":"Q2767925$9FBEC681-282C-468F-BBF4-C416BD4C506E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3cb87c4347a9f976343116156958c10e5c05b23","datavalue":{"value":"http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2767925$BB69E858-3F0D-4BC0-B4AA-728062B14C5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767925$C47593F6-A899-4131-BD02-4844102CD93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767925$27DA6252-DAD5-49F5-8C46-DE08E8DE50E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a67d4936547da8d04098801d4ee7fdbf89abae4","datavalue":{"value":"1698755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767925$9FE17849-4CF0-4784-B5B8-9EF54CA6B911","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b82d9c6aed987cf955911cdbd8e69aa92df47c9","datavalue":{"value":"mathematical knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767925$96F4C044-1549-463F-AFF0-15499A9B1266","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":"Q2767925$C42E4707-832F-4C94-A054-68C5DF6A6511","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d21c36b19844e5d08e1f209aa4bfff35a0a39f70","datavalue":{"value":{"text":"Formal representation issues in an open mathematical knowledge base. (Extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2767925$3A825215-0B48-4599-A76B-F351BFB262E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33004e45208902232fc688ea1b84e276c8ed31da","datavalue":{"value":{"entity-type":"item","numeric-id":5950933,"id":"Q5950933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d29f8d68bf3aef9d9ff61be7ba1b2b9b2ed8a11","datavalue":{"value":{"amount":"+0.8331502676010132","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":"Q2767925$04E82AF4-DB7E-40C0-9E12-851DA3C2C104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acb6b03a296fb04da6d1ef5383ebad1a71c07390","datavalue":{"value":{"entity-type":"item","numeric-id":2879093,"id":"Q2879093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451edbc42bd921eaa0ea4532330db0d7f0e5dc7c","datavalue":{"value":{"amount":"+0.8331500887870789","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":"Q2767925$B8937C40-6A1B-4014-BBEF-C5891902C574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cc7c44089b8ef588b0c1995dcc8238dde99dfb8","datavalue":{"value":{"entity-type":"item","numeric-id":2263116,"id":"Q2263116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e62a874198060cce4b922b70869046e1ae954a13","datavalue":{"value":{"amount":"+0.7772184610366821","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":"Q2767925$7E6407E0-2008-4AE4-8E6F-425F2672D20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a69cad5e7d16ad11ca72aab7d1e80fa860a06d","datavalue":{"value":{"entity-type":"item","numeric-id":4499153,"id":"Q4499153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a694e1f6cd3a67769f21e8b81df2ea4795a21d3","datavalue":{"value":{"amount":"+0.7698338627815247","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":"Q2767925$1CABC96C-A30C-4CE2-9D7D-CF3CA97F77EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5955eaf0d495f6ca27a3df34500a49f981aa2a","datavalue":{"value":{"entity-type":"item","numeric-id":2767936,"id":"Q2767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d0c44ffd49239a2f350c64e62fcdbca690b7f0","datavalue":{"value":{"amount":"+0.7631401419639587","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":"Q2767925$493E3F18-3659-4D61-893D-69BD2C353DE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal representation issues in an open mathematical knowledge base. (Extended abstract)","badges":[]}}}}}