{"entities":{"Q5327336":{"pageid":7356910,"ns":120,"title":"Item:Q5327336","lastrevid":51793847,"modified":"2026-01-20T01:54:44Z","type":"item","id":"Q5327336","labels":{"en":{"language":"en","value":"Scalable LCF-style proof translation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196156"}},"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":"Q5327336$D9F6DCF5-36EE-4167-AE98-799C20B4DFB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d262738a67a13683c785cbc537ca48e7e65c77b","datavalue":{"value":{"text":"Scalable LCF-Style Proof Translation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327336$AD903BD6-CEF7-4EED-824E-49BA6D1930FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"477ceb972774f64046416bb62ecd201817451a91","datavalue":{"value":"1317.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327336$F4BFFB7D-E916-468C-BB02-1A9D2E60F4B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afbc384020fd0fa906653139d27b3a37b52aa72b","datavalue":{"value":"10.1007/978-3-642-39634-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327336$2737F6A5-A241-4347-A79A-083A837E5242","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327336$40FA6784-B117-46AC-9657-C5D5CFB802C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb9a75665101462bc01a2c7426c95f31a74ce050","datavalue":{"value":{"entity-type":"item","numeric-id":438557,"id":"Q438557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327336$A199CE1A-DBA4-4B4B-A0D1-4D1D8DFA6F71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327336$9921E143-84ED-4FFE-9874-491A0464AD5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327336$C5393BC8-AE15-48C4-87EE-59B85327EA7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327336$2FDDFAB7-2888-45BC-AD8D-44426E31F7F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d97be02062442c0e6c2ba83951207da1a07a450","datavalue":{"value":"6196156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327336$237AA461-E723-4318-86F1-A485B4CC6732","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"95d435dc65b5b4f83eb5911cc35ebc73ffe963ed","datavalue":{"value":"Q108482183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327336$22943724-3958-4193-8C46-9E76F6BF12D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327336$798F1A58-D4CC-4C58-9858-7ECEEC4E3512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327336$7F03E80B-71CF-433F-9029-F7179DBD8168","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":"Q5327336$282BC039-FEDE-4492-867C-D112F60A40E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c2c39a90e59bc141c360e3711865d751ebb61a2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39634-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327336$56D5819F-50F9-4DBE-A1F2-E5B397DD356E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"656816a21b1bd5fceea43fd6881f7a1342cfe615","datavalue":{"value":"W11532415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327336$89E86415-7883-4CDD-BB28-45DF6FE55364","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939cd2c4229824b8a14b7f16dc661ddbc20c89e4","datavalue":{"value":{"entity-type":"item","numeric-id":5747657,"id":"Q5747657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273efdce0cd8d03757c191d125a5d608a2ea65a2","datavalue":{"value":{"amount":"+0.8142315149307251","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":"Q5327336$B310119D-473A-47AD-AAAD-B7E9828350A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3544d3ba92bb4a6d43ae5a936bf62ec439806db3","datavalue":{"value":{"entity-type":"item","numeric-id":4928443,"id":"Q4928443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2c76172b2210ed3e8c804156774caf697fcf96","datavalue":{"value":{"amount":"+0.7566643953323364","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":"Q5327336$9E33812F-C7DA-463F-88FD-0C131416DA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d11280eec7f580346c0151d22527bb8d91725392","datavalue":{"value":{"entity-type":"item","numeric-id":2754039,"id":"Q2754039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74a8aed3cb505e5d4d925cf2ad2caddaa5df2c2","datavalue":{"value":{"amount":"+0.7541896104812622","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":"Q5327336$B5980DAC-B7A3-467D-A7C5-D9E0CB47C64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a89dd6970994c099e3030bbed6db81931530f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c426671c32a836cc458bcf7ba6dec1fd3e93f384","datavalue":{"value":{"amount":"+0.7520012855529785","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":"Q5327336$3DAD8457-2990-4FDF-AB02-3B387674649F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6828a02bb1974cc42923cc5d4b695ac187d5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613409,"id":"Q3613409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca85c59bd2e9648558ebf5ded022f5cc8731e2e","datavalue":{"value":{"amount":"+0.747887134552002","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":"Q5327336$3EE09A4E-F243-4BE4-9BDC-6029D49D1998","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327336"}}}}}