{"entities":{"Q4585854":{"pageid":6615439,"ns":120,"title":"Item:Q4585854","lastrevid":82163366,"modified":"2026-05-06T20:15:16Z","type":"item","id":"Q4585854","labels":{"en":{"language":"en","value":"An encyclopaedia of proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6934492"}},"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":"Q4585854$51942907-5BF9-4332-81E8-E95CBFB871EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6f0ec1700599f25859352b9ec29672a84cead0e","datavalue":{"value":"1395.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585854$DEFCFEFF-5007-4AE0-949D-DDF100E0757F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"820780d9e80d5556f2d9414cd8c51e6b8fc16fdf","datavalue":{"value":{"time":"+2018-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4585854$8058F8C7-D4C4-41BB-90D9-F14B01DB13FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a76f5cf4e9b65d085145841490fc2f7aa5f0bff","datavalue":{"value":"03-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585854$D5D4EBCD-BCC4-4C7F-BACB-63CCA42F8ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585854$DC7E3C38-5B3D-4401-87CD-27483D973CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585854$3982935B-E573-4C44-A289-B0C6FFD7AAC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5826b04ae548c88a645a6614e14c75c3615578ff","datavalue":{"value":"6934492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4585854$0B268B6E-F8FA-4F81-958E-E586D647104F","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":"Q4585854$715254F6-343A-458B-9AE2-BA710E91D9CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5331b37b95be4ebbbb648e9bfd870d3a37599806","datavalue":{"value":{"entity-type":"item","numeric-id":1379289,"id":"Q1379289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310cc52301586ba1adf66e70ceb9646251a8c3ab","datavalue":{"value":{"amount":"+0.7545892000198364","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":"Q4585854$CC65E4EA-41FF-4E7A-9D1B-25E20EAD5E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22765ac8ffb85a071291794fae9576134e29d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5956945,"id":"Q5956945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c3120952bc23828a6575a491e11687fe475636","datavalue":{"value":{"amount":"+0.7471932172775269","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":"Q4585854$D5DF76A7-9379-45FC-B4B3-CCB7A7FC61B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670e534e0734308496cf4891636d157d96384dc8","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f789abb7b84ed94cfa69e97bebff483bdba99753","datavalue":{"value":{"amount":"+0.7395607829093933","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":"Q4585854$FCC44507-1CEA-45F7-BA70-176091E44B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e91eb2722df523e54a4d453337f04df92a7aa94","datavalue":{"value":{"amount":"+0.7381796836853027","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":"Q4585854$AF4404CA-3F06-44FB-A23A-8B0D935632A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21600ebf93e0786bbeca6c785e3c9bff573c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e91eb2722df523e54a4d453337f04df92a7aa94","datavalue":{"value":{"amount":"+0.7381796836853027","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":"Q4585854$0809ADD7-1446-4FB7-B3E9-8DEFEAB73A62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An encyclopaedia of proof systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_encyclopaedia_of_proof_systems"}}}}}