{"entities":{"Q5111206":{"pageid":7140780,"ns":120,"title":"Item:Q5111206","lastrevid":58425489,"modified":"2026-04-05T04:14:15Z","type":"item","id":"Q5111206","labels":{"en":{"language":"en","value":"Strongly normalizing audited computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204328"}},"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":"Q5111206$B5DE73B8-FAD8-4CD9-91BB-C4F23D6E20B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"156c62df91c151814bfcfaf150de8571afd40c03","datavalue":{"value":"1434.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111206$617D710B-CFDE-47F4-8499-352A28E1AA3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aec9839e6b2c451febe526ce547ea5fd11508ee1","datavalue":{"value":{"entity-type":"item","numeric-id":744985,"id":"Q744985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111206$AD7ED5D7-133E-499F-A6EE-6366ABD6EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5395fd6215daedab9dca2942f104c17e46b5bcc7","datavalue":{"value":{"entity-type":"item","numeric-id":616848,"id":"Q616848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111206$6D4B861F-8DFC-4E99-9FF6-04F12E17C52A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111206$32F77D05-3AD3-4454-9561-68C209D8C71C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b49bf104d8aa540f286388d9edd981977d08cdc","datavalue":{"value":"https://arxiv.org/abs/1706.03711","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111206$56E6AAF4-4326-44C9-862C-229B3831B139","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111206$C1AA7699-641B-4F2B-BEB5-80EEA8B075F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111206$33CFE885-2A9A-41DA-9566-75C7F8C0999F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111206$CADA308E-0300-4879-A06F-3489DE4090D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111206$DA5B8B8C-F5A4-4396-8E33-110C56807A9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"494413c2ffc0faf18d0c32be3516db2a1c43b449","datavalue":{"value":"7204328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111206$7C7C85E2-8130-4F95-9FE2-084F84659D97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111206$01F9C569-7525-41A8-B188-448728AD775F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111206$5BBA8A71-695C-4E47-96CA-2F87FEB9775C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111206$A182F887-ADC4-474E-ACA2-EE07E51F38CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae776c437887333f0b592510e604ea679d73c9b9","datavalue":{"value":"audited computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111206$7CDCBAEB-BC1D-4B60-BA7E-1B317C502583","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":"Q5111206$9F9D33EB-F2C0-4D80-BCD1-BE1E85846A08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3dc5f3bb928c792012efe9b8e85f8c90d34dc96","datavalue":{"value":"10.4230/LIPICS.CSL.2017.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111206$F1E8D0F0-6360-4770-B28B-E819F1A741DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4261676a8168e9340c34f597453f741ff495b75c","datavalue":{"value":{"entity-type":"item","numeric-id":1623147,"id":"Q1623147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166babccc9d6db919072070fd9893316bdd214c8","datavalue":{"value":{"amount":"+0.8387590646743774","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":"Q5111206$1D17EA73-C432-4335-9E93-6B4A654DB3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3669276cdd944464f4db9d1d6b46e5240e15764d","datavalue":{"value":{"entity-type":"item","numeric-id":4612429,"id":"Q4612429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7fc852624f6dd0dff201cac215d8a9e0833ea46","datavalue":{"value":{"amount":"+0.771561861038208","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":"Q5111206$ACDA23C4-5B79-47DA-B82C-592622DFE08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bee7d35a4f979b2dedd12e3ca311e79a91c086c","datavalue":{"value":{"entity-type":"item","numeric-id":3585058,"id":"Q3585058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224690832e228b4d8dba5f38fa32be04795c4543","datavalue":{"value":{"amount":"+0.6743127107620239","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":"Q5111206$54E04B06-85DF-44E8-AE59-9AE207844005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fe426ac3289233ddb1f1c83610c8b4291fe80d","datavalue":{"value":{"entity-type":"item","numeric-id":276037,"id":"Q276037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7ba99f3c0437dbd0442bd7f3f3de6d211d8073","datavalue":{"value":{"amount":"+0.669233500957489","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":"Q5111206$EEB45F1D-71CA-4479-BC08-8010625D952A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6329edf424aee4ec283bb9b74b8e8a8270f47417","datavalue":{"value":{"entity-type":"item","numeric-id":408548,"id":"Q408548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95569ea3f4237f0af70aa105204bfc222cc25360","datavalue":{"value":{"amount":"+0.6657923460006714","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":"Q5111206$BEB4A15D-B1AA-4074-9223-5679FC0D6CCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111206"}}}}}