{"entities":{"Q3338232":{"pageid":3348940,"ns":120,"title":"Item:Q3338232","lastrevid":48739240,"modified":"2026-01-05T18:19:36Z","type":"item","id":"Q3338232","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871341"}},"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":"Q3338232$53C2B965-61F9-4174-8A23-EDCD9C0838C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"082f65539c3f3086b4177e7ec6620a24af5f297b","datavalue":{"value":"0547.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338232$630B466E-AAEA-4F54-8018-2565B28DED48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3338232$0123AE24-AB99-4859-A692-AD6BAD4757B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338232$80F2AC3E-A19D-4037-950B-42FB7FACFB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338232$E4DB4D45-0875-4964-9940-7DCFE6D146E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338232$D114AB85-79C5-45C8-8B16-7A03A58B2337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338232$6E66708E-117B-4184-A6A7-B05D2625FDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338232$FDE7734F-B730-4DE6-949B-F215079FD124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8367356172e79d0e511a80cd41fc5549422c691f","datavalue":{"value":"3871341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338232$57869267-EAFC-45F8-B911-F7CE9B6CC8B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"162c8c826152c47bc21e01bdd0a121076fde9007","datavalue":{"value":"expansion trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338232$452535A9-E1B8-4462-A04C-AEF15210651B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc290d9cd42abf8dae32064af13bfe1ddb99db72","datavalue":{"value":"ET-proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338232$9F31A1C9-C155-42A3-9161-A446FDF35925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54b457ed905a03d8dab0fa70d7867b6db25a218","datavalue":{"value":"matings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338232$E3C1D65F-897B-457F-9AC1-31A1D1180E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9d0873acf6e278e08c9bc909154c7bd6cb9c50","datavalue":{"value":"natural deduction proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338232$D901F807-4A3C-4AD4-9161-01FD8AD628A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338232$6700872B-6227-4515-8150-DDD89CA82603","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":"Q3338232$F2C4D43D-67BD-4D3C-A64D-E96806E5403C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7c000d2f394279b04ae858f6859677cf84ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd24bf599f971c86e7e9b98e3d9663d37edc6a7f","datavalue":{"value":{"amount":"+0.8364589810371399","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":"Q3338232$3B87DFA3-BE78-4EA6-83A3-A46D95B5091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c143fa7014d6ab9009fa567823e114e3064b9a","datavalue":{"value":{"entity-type":"item","numeric-id":5236547,"id":"Q5236547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e210cba519cfc31b10a820fc9d9c2e04971b4767","datavalue":{"value":{"amount":"+0.7981709241867065","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":"Q3338232$D87372D1-79BB-4D21-89D6-3C60C6D5D50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce1fa7696a58803451e25ea64c08937bc636481e","datavalue":{"value":{"entity-type":"item","numeric-id":670704,"id":"Q670704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9c207054823acb7e6f852eaf226dddb0b7fd77","datavalue":{"value":{"amount":"+0.7589248418807983","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":"Q3338232$2959A5AB-1A41-4050-98A0-41FEC0054002","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":"776019e5b123af4fdebbbb9eee15df6a92ec9ae8","datavalue":{"value":{"amount":"+0.7393451929092407","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":"Q3338232$65845ADB-DFA7-49A5-85DE-B3EBE3DC92D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"690d9bdcf3081cd989b01c2352a2d59bb13a5f1e","datavalue":{"value":{"entity-type":"item","numeric-id":908896,"id":"Q908896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915255e003bf8e4f4e0db15f347ad40bd2bc96a9","datavalue":{"value":{"amount":"+0.730565071105957","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":"Q3338232$DD77AAD5-5998-497E-A1E0-A7325487D40A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3338232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3338232"}}}}}