{"entities":{"Q2851694":{"pageid":2862414,"ns":120,"title":"Item:Q2851694","lastrevid":83773424,"modified":"2026-05-07T11:14:46Z","type":"item","id":"Q2851694","labels":{"en":{"language":"en","value":"Validation of proofs using PhoX"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213337"}},"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":"Q2851694$BAB75D44-91F3-4FF5-A6D0-F99FEECC334F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7aeb5a0b50dc3c115391978fa325a1ed203edf07","datavalue":{"value":"1272.68405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851694$CBECB84F-4019-45C1-808B-637E0C524575","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"538a15af4aad428403e1e14d15dfea3370df5ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2851693,"id":"Q2851693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851694$2A36274A-F678-4FE3-AC2A-56D94D2F908F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-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":"Q2851694$06A15698-6062-4F82-9808-C5DEFF6B1A93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c58ea3c4cf1815f09cf4743d75fa5ca03b1e67ee","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051261","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851694$5A8E9C79-8741-4E0E-8EC0-B064CB2A43DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851694$DA28CB35-A7CF-47D4-A308-92CEE7EB3FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851694$5776A4A5-76D4-4114-AAE1-ECBFF5F1E389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851694$09F30A80-12AD-408E-B702-129856162E1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d9ef392292a2fc2c4163f0d1f36a56c6d838538","datavalue":{"value":"6213337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851694$501A11E4-192A-459D-B221-9516F35B5FC2","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":"Q2851694$8F7E7CAB-1D47-4FD2-8332-DEBF0DA61E75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f077d929c66a6e8568fa8cfc8d8422ca820e4306","datavalue":{"value":{"text":"Validation of proofs using PhoX","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851694$D026C062-A8F7-4151-902F-C5866E40E371","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed814d9ffc82989d004a565ca291a58ab932e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3024829,"id":"Q3024829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455eb1599e6fe76294ca291a46c5dfc1aac8f1e4","datavalue":{"value":{"amount":"+0.7072080373764038","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":"Q2851694$A3AF3C43-C500-4823-879D-27C4DA09A5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d346b98ad75ab002d5bd08a23a9cf7fcb2f8e6f","datavalue":{"value":{"entity-type":"item","numeric-id":3805957,"id":"Q3805957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca42af0cda831a5698cf376de76cdbc386d84d9","datavalue":{"value":{"amount":"+0.6987231373786926","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":"Q2851694$5F9381B3-DCEF-44EB-9ED8-032C1036663C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d791142e1e65a80dacca3a17722b4ad0e5718b","datavalue":{"value":{"entity-type":"item","numeric-id":3696551,"id":"Q3696551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1448060b6d10515ced08171283ad6ba636dbd8","datavalue":{"value":{"amount":"+0.6962982416152954","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":"Q2851694$7D13F044-566B-4C69-91D5-ACB1253F4C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e74be111e7310838d3555ac536d1cf46c6084ed","datavalue":{"value":{"entity-type":"item","numeric-id":4370238,"id":"Q4370238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710bd70a744d2ffc7b67d6ec91c1bb749f494844","datavalue":{"value":{"amount":"+0.6933696866035461","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":"Q2851694$36E8BA08-E378-4865-9022-7BF6ACF7ED5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ba175c3b998324dfef7b31903800589cbb12a9","datavalue":{"value":{"entity-type":"item","numeric-id":2767009,"id":"Q2767009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710bd70a744d2ffc7b67d6ec91c1bb749f494844","datavalue":{"value":{"amount":"+0.6933696866035461","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":"Q2851694$BCDBC7F5-5C89-47B5-9636-09F519AAAFF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Validation of proofs using PhoX","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Validation_of_proofs_using_PhoX"}}}}}