{"entities":{"Q3344178":{"pageid":3354886,"ns":120,"title":"Item:Q3344178","lastrevid":48753790,"modified":"2026-01-05T19:10:48Z","type":"item","id":"Q3344178","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3877151"}},"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":"Q3344178$D7327FCD-985C-4812-9586-36367BC7C3E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b23ae9ffbf7e564abcabc7397624204c5aa6e523","datavalue":{"value":"0551.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344178$E287571E-8BA9-4FA1-B81E-93E426898E2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47f42d9bb2980339c0ddb3c17296984583959fd1","datavalue":{"value":{"entity-type":"item","numeric-id":3344177,"id":"Q3344177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3344178$66D2683D-F820-4B87-9167-9977FC08B856","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":"Q3344178$296E6735-28A3-49AA-B8D6-E22106C833B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344178$9DF1708E-804D-42DC-A5DA-F2A6FF5A36F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24673f0f8eea77afeeca0530303499a83cd523e1","datavalue":{"value":"3877151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3344178$28D22AD6-5069-40A7-8E74-E5AF8663FBEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344178$2D008F9F-30AA-4A03-BA40-EADF44B11F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344178$078E4AFB-6EAF-4A57-898F-9ECC152B305A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3344178$57EAAEB8-5C99-40D1-8425-E9985241B85E","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":"Q3344178$6F36DE0A-8256-4410-8525-28495C148F6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0cf1cbf5a4c19994b2826e07b4cae6324760537","datavalue":{"value":{"amount":"+0.7937644720077515","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":"Q3344178$607C62D5-DF6F-4F34-9E5C-8D52F18F6831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed356b5d3221abf7374259e61e636f2d7c68372c","datavalue":{"value":{"entity-type":"item","numeric-id":4263012,"id":"Q4263012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756a41314ad47f676278478b78851180a1d01b9d","datavalue":{"value":{"amount":"+0.7895810604095459","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":"Q3344178$BC825A42-492E-4441-B33B-4645EC79851D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66f0c96665b023d6c7d806c39d1dd834cb6011c","datavalue":{"value":{"entity-type":"item","numeric-id":3496314,"id":"Q3496314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e9d548dbcfacffbd40a83213fdafb47efaa193","datavalue":{"value":{"amount":"+0.7514626383781433","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":"Q3344178$2ED2A1DF-9614-441F-AD49-7353C937C10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1038bb79d4fff54e6c31852941021dd4fd44ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":4247207,"id":"Q4247207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44b23a7e9e447d91559646e4cb4ad09b4295a2c","datavalue":{"value":{"amount":"+0.7393418550491333","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":"Q3344178$9E5B581E-064D-43A1-AD4D-8A410DD177D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d522737c03cf2810b6aff4aa4f7638204474fb","datavalue":{"value":{"entity-type":"item","numeric-id":2791888,"id":"Q2791888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db75a17ba9f47c72ad636e65f9349f18db50130","datavalue":{"value":{"amount":"+0.7303176522254944","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":"Q3344178$4F79ADB6-24A1-439C-9034-22A307BD682F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3344178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3344178"}}}}}