{"entities":{"Q4513125":{"pageid":6542718,"ns":120,"title":"Item:Q4513125","lastrevid":47527966,"modified":"2026-01-01T23:57:01Z","type":"item","id":"Q4513125","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1526721"}},"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":"Q4513125$FAF9FDEE-34BA-4309-BA75-B4CA29735C6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c10a3ee531acb9b7ebe6511b3169728ae876e2bf","datavalue":{"value":"0955.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4513125$EB2037F0-77AE-4FB5-A41C-36311C011FAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f7037365ea7a82807e50e341e920a8fe3ca6fa7","datavalue":{"value":{"entity-type":"item","numeric-id":768533,"id":"Q768533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4513125$E602A065-845F-45D2-AD3B-B1A0FC5D5D6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808321b5dbf4c939be439eeccdeece7a1f77a12f","datavalue":{"value":{"time":"+2000-11-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":"Q4513125$45C0FDE1-513B-441C-B061-9083FEA4270A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4513125$FE481E59-C5FD-46D4-8FE2-259BFE7D842C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4513125$1CE49F7C-98C2-4722-BE43-1B6A5CEBB490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f05fa688185166baa3b0f64355e0d3c1eb60f31","datavalue":{"value":"1526721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4513125$FEFDFFE9-24DA-4F28-9426-F44FA195B4B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513125$67FB7090-EE14-4C70-A66D-4631CB6BAF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513125$5A82F06F-9298-4405-B9A9-A4331806E7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513125$439F912D-E958-47AF-8743-394723960CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc166dc4e2e4b98a1f6826e989621cc8e5c25827","datavalue":{"value":"algebra of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4513125$6C74AF62-6A25-4274-B8AB-E299A3A570CB","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":"Q4513125$2C65DD0E-45D2-4EF7-AD64-543B6DA019D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b449dad0b56bac07335ef9ecb54d657fb016fd41","datavalue":{"value":{"entity-type":"item","numeric-id":4867840,"id":"Q4867840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55310e173af590aba23dcbde3122df2dd0f899fc","datavalue":{"value":{"amount":"+0.7868043184280396","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":"Q4513125$9C818FAE-18FD-4978-AB22-D836F16DC404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4815c6f746523d5394ba965bce7953ab11cc0295","datavalue":{"value":{"entity-type":"item","numeric-id":3069241,"id":"Q3069241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1648e823b0c6d05ced579bee08212cf1ce784b28","datavalue":{"value":{"amount":"+0.7858597040176392","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":"Q4513125$3291DE17-8D01-44C4-A62C-7D219B87C40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d2655fb3c89b5fd6d3144f1e4fdbbc190d9903","datavalue":{"value":{"entity-type":"item","numeric-id":4513124,"id":"Q4513124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d6e108b9ef62d47517f4f9299827fb95cb4217","datavalue":{"value":{"amount":"+0.7848770618438721","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":"Q4513125$E4A793D2-8EF0-4C08-9D14-34C8B59D362A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f650b25cb4d60aeba6f0ee8890637c39501f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5418473,"id":"Q5418473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d6e108b9ef62d47517f4f9299827fb95cb4217","datavalue":{"value":{"amount":"+0.7848770618438721","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":"Q4513125$DDCE284E-7F2D-4EA9-B1B3-981EDF6C04CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377a4fc8800080a41406140604b1f604f58b1ad4","datavalue":{"value":{"amount":"+0.7820369601249695","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":"Q4513125$7AF750F4-E830-412D-9502-F390E6639716","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4513125","badges":[]}}}}}