{"entities":{"Q6160559":{"pageid":13295440,"ns":120,"title":"Item:Q6160559","lastrevid":55452880,"modified":"2026-02-17T16:42:30Z","type":"item","id":"Q6160559","labels":{"en":{"language":"en","value":"Injecting formal mathematics into LaTeX"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691298"}},"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":"Q6160559$2BAFFFDB-1758-4A5F-A416-2D3B7B52F111","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"427123707491d4f1ea98af8b77cc6714ef5d47b5","datavalue":{"value":{"text":"Injecting formal mathematics into LaTeX","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160559$D815F146-2FD5-4934-B86C-15481DC7D54D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2ea684c6eb9ccc455e9a13c1438fb9da9d8bffc","datavalue":{"value":"10.1007/978-3-031-16681-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160559$969833D9-0179-4DD9-A297-7780308BEC0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e5575c59c5b913e53fb24077251aee51790bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1687750,"id":"Q1687750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160559$15F831C8-103E-49A2-9912-EC1A4C023A8A","rank":"normal"},{"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":"Q6160559$D63D220A-DC0C-47D4-9D96-2D826844F65B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160559$DB01AFE1-AE88-43BC-B982-B66B7E468697","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160559$853ACE70-AA36-40CC-BF02-46A2DF6C2164","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160559$E7F8CF2B-AAAE-4B8D-AE63-BEA0C456ABD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5720cf6f9983fa2fc0ddedae2bbfe65cfc5e051","datavalue":{"value":"7691298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160559$51296301-4145-4A15-9615-FFF0F7EB522A","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":"Q6160559$778DA43F-5B22-4386-9224-679CCCB860FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74e7004a3e668468c53deb985d61e49dfcbc7788","datavalue":{"value":"https://doi.org/10.1007/978-3-031-16681-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160559$6CE10F35-09DA-47DF-867A-1FE3EDDEDBF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc554ac48c5b3ac4191046311882e1dd5afeec1f","datavalue":{"value":"W4296050240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160559$1EB2F6A1-20D0-4E45-A4CD-C59D4DF8B179","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1360012a3991351541d7683ae0eebb5cc3017e9a","datavalue":{"value":{"entity-type":"item","numeric-id":5495928,"id":"Q5495928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160559$1120CBB4-EBA3-4211-9C9D-87AA296C40C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20f4df39989a96a1f991294dfe12efc398cf16b","datavalue":{"value":{"entity-type":"item","numeric-id":2219401,"id":"Q2219401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160559$ED1E527C-1B24-4053-BE35-419329D4E5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5184f33a0038d36ee5068092cab37c4fd71be65e","datavalue":{"value":{"entity-type":"item","numeric-id":5495932,"id":"Q5495932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160559$D38F496D-2BBC-40F4-AF66-BB078EE28972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"254b5f41aefc2cf08ae8d3b35c1874e92dbaf9f0","datavalue":{"value":{"entity-type":"item","numeric-id":841688,"id":"Q841688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160559$4FF4CFF2-65D6-4E2F-9946-595BF2A82EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a2c48ddf93fb73ec9a94dbbbbbdd511f700b1b","datavalue":{"value":{"entity-type":"item","numeric-id":1799118,"id":"Q1799118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160559$A0C2FA6B-273B-47C0-BB46-D855E76CB9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160559$F5E473B0-5FDB-499C-96BC-D2923DA4B6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0da0a09bbdbd8336886d62c2c8b015aa727a44","datavalue":{"value":{"entity-type":"item","numeric-id":2250560,"id":"Q2250560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160559$A013E2C0-89C4-4174-BB09-D528797BA519","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24eb7312a8793171a26a992ea24c0fad0587e9a","datavalue":{"value":{"entity-type":"item","numeric-id":6160560,"id":"Q6160560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d111fc953cb128ccb1df65d77a11e2202ef9844","datavalue":{"value":{"amount":"+0.8176276087760925","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":"Q6160559$F5E8CF0D-E303-42F8-9EE6-F733397F7C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a59bb21fd21578fedfae952a02707326cd680c","datavalue":{"value":{"entity-type":"item","numeric-id":841688,"id":"Q841688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62ee31648d84f74cb2c512b1bc26917edf8fc89","datavalue":{"value":{"amount":"+0.8072075247764587","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":"Q6160559$27F564F1-227D-4A51-B6AF-EA69F6DD16D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7669912ba8739f0b83a652bb4b8f94735be81f10","datavalue":{"value":{"entity-type":"item","numeric-id":2287910,"id":"Q2287910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2916471027a3b19389a51882fe98d8a373f4e6","datavalue":{"value":{"amount":"+0.7913409471511841","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":"Q6160559$CB654BD3-60BD-4200-8A38-13955521BD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305876743b562cc1d016c59850dc06ab245ae5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2364705,"id":"Q2364705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f07b99db13b309667afaea41a8447a7214ae93","datavalue":{"value":{"amount":"+0.7155838012695312","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":"Q6160559$A0482DC9-AC83-4C62-824E-8880EA9F17A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a31ffe006b873782d27b771f35107280ae76e7","datavalue":{"value":{"entity-type":"item","numeric-id":2348287,"id":"Q2348287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6ca02b71494a8350403d3629eecefe68375a25","datavalue":{"value":{"amount":"+0.7105408906936646","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":"Q6160559$3791424F-A56A-4C0D-9129-F312A7CEA29B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160559","badges":[]}}}}}