{"entities":{"Q4896526":{"pageid":6926105,"ns":120,"title":"Item:Q4896526","lastrevid":47418382,"modified":"2026-01-01T16:50:05Z","type":"item","id":"Q4896526","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937385"}},"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":"Q4896526$22638B65-2E44-4079-89E8-DE0A64A2CAD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf6f161da2e212d89b30c8ff0d9b2207cb1c09e9","datavalue":{"value":"0874.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896526$89CB1AA9-1476-42FF-8E12-3E5CCCE8073F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"804cd1e90c889fdfadf8e5f194ad2ba8abfafccf","datavalue":{"value":{"entity-type":"item","numeric-id":1775865,"id":"Q1775865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896526$07B309B1-028D-4035-938C-B4CDFC805990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef13ff3bc8f9deab469e35f13dbb7fff50b2616","datavalue":{"value":{"entity-type":"item","numeric-id":420831,"id":"Q420831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896526$CD1F8EA3-09D3-487C-A0FD-5CA9FD7764D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfd87dfadff37066130a176f75d7a9ec7ef3495","datavalue":{"value":{"entity-type":"item","numeric-id":1382160,"id":"Q1382160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896526$3DC12CB3-CC39-4B84-94EE-6CFD0A0570F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c8c7692fa7223a1bc40102133e79e318fde956","datavalue":{"value":{"time":"+1997-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4896526$292301AA-6079-4606-883A-450428681ED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896526$CB48C3A0-09BD-4EE0-9826-F6E3C41E9EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896526$817ACEDD-CE9D-4F13-B64A-43D121793358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d62051793251cdb7305d492b252b2239dfb5e","datavalue":{"value":"94A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896526$A3F7B470-C246-4202-800C-C67E68F7E24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896526$9F23D65C-2093-46A2-B7D0-483FA4D21BB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dba9ac5332229f13e91bacfd19adf458b6b68e3a","datavalue":{"value":"937385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896526$BB0409E9-5A6D-4011-80BD-AA7D3E1286C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d6b1bc01723154103e0158038ae32e603c875d3","datavalue":{"value":"equational fragment of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896526$F0139B37-03F3-41F4-9790-5434862EAE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ca534874c7a76620516377d7861c830c32720","datavalue":{"value":"proof-theory for equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896526$4B1584C7-0A17-4F0E-9F99-AC5FF901DC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d315864f474bfd80feb086355d2a2070514d5b","datavalue":{"value":"length of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896526$C21F8CCF-D727-4E3B-B6BC-346F5FA4AD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2e069b1a2184cd3b0f52ffa83b5fcb89125e86","datavalue":{"value":"entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896526$3AE29651-E59F-4DFC-84A0-3372CB1BECEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7decdbfd02c720ef2267223bb7284603eb082f24","datavalue":{"value":"virtual proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896526$3C8A062D-7A75-41D8-B7EC-FD2E456BC848","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":"Q4896526$40C4E775-76C0-44EF-ACC2-B4F952C06D43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e74cbb84e899d36976e2dbe809662601a64422ad","datavalue":{"value":{"entity-type":"item","numeric-id":3890137,"id":"Q3890137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc89ff561ab6699fb56553331e3e2a7cbd05eae2","datavalue":{"value":{"amount":"+0.7633287906646729","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":"Q4896526$73FCF298-B955-4231-9DCC-F46A4561D943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e03df84b76fa9fe2781fd9712f68de15cb06a7","datavalue":{"value":{"entity-type":"item","numeric-id":5236445,"id":"Q5236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789819b8611f619116dc8c4f98ed4249a42cc7e5","datavalue":{"value":{"amount":"+0.7601727247238159","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":"Q4896526$3A9C2C4D-A1AA-473A-A86E-A7E5A30250BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d399c2a82c00110e706073bdb362303eae99917","datavalue":{"value":{"entity-type":"item","numeric-id":1382161,"id":"Q1382161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f18674b14ad9a7585c88fa58aa75c36c2c3f79","datavalue":{"value":{"amount":"+0.7536587715148926","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":"Q4896526$416C2854-BC0F-4097-B116-0A5F856A0396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e167de97ef55769719ab1c40a9aeba364b051c2","datavalue":{"value":{"entity-type":"item","numeric-id":4269904,"id":"Q4269904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78a3c5fcaf4cd949016f56ff54323fd667231ce","datavalue":{"value":{"amount":"+0.7237265110015869","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":"Q4896526$D401BB92-0390-41C6-9DAC-7004C08B422E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e791293a04a5b306faed2182255c721ce3ce7f","datavalue":{"value":{"entity-type":"item","numeric-id":4813206,"id":"Q4813206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b41a6ca9f8c03da152db87d063fac2dd8c0274d5","datavalue":{"value":{"amount":"+0.718585193157196","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":"Q4896526$CC7490AD-219F-4EC4-85C0-E0C37E309620","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4896526","badges":[]}}}}}