{"entities":{"Q4934557":{"pageid":6964139,"ns":120,"title":"Item:Q4934557","lastrevid":47433544,"modified":"2026-01-01T18:02:52Z","type":"item","id":"Q4934557","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1390270"}},"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":"Q4934557$BBC2DBBF-72C2-4D35-9CD0-B8E2ED14C991","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7cf07f5098c89184bf3903506737182e7ba182d","datavalue":{"value":"0939.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934557$1CF9883D-03F1-402C-BC08-DF6459CDD0D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934557$AADB6F5F-4A2A-445A-8F86-F54877F423FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934557$46C60529-C647-4010-B552-F122387ECC9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95ec5b043115e52ee0328702da430700e7365687","datavalue":{"value":{"time":"+2000-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934557$C6F93667-FCCA-4DE8-A837-DD2573E14307","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934557$340A52B7-141B-4E68-8985-75CB76A1AC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934557$D253B4DC-228E-44C5-B27C-87D98A2ABC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934557$12E7EAFA-5F1F-4442-9BA1-F3142ED8A8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934557$47CC42CD-85B6-49BC-9BD6-0D6B08382774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934557$B6B461EA-5CD4-4587-B1CA-D09CBC1FA297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934557$0580977E-B626-45FB-8299-0383630FFF59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8374575c872e20da5d3fbf0b855e1e6e463e3b1e","datavalue":{"value":"1390270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934557$EBCDD88E-E2AA-4580-B0EB-03DE4373CE0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934557$7AD8C7A5-ECB6-465F-9908-011AB6270888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934557$5F24FDA4-7BFB-43BE-AE64-2A2A3FCE20D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934557$67C16FB4-C4E7-4C3F-B2FF-2E4D9AACDD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ce0d50ef2d3fddc856fbf9944536f0e151c35f","datavalue":{"value":"permutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934557$1E49D2C8-881A-4C50-8096-CCD1AAD47258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934557$901AFD43-BC07-44A8-9265-BE6E16257323","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":"Q4934557$545A7AED-D040-40C7-8631-872AB556AB40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de7f191b3d0e2d385eb0a240cd7bc93e739246a","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c63885dd163ee16e6b2e41707a6cde579eb5d9a","datavalue":{"value":{"amount":"+0.8113447427749634","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":"Q4934557$61CC79D7-C224-4376-BDC1-83E5FABFD707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a35faa3d0c921d2f929384b0ed85c956b3ed41","datavalue":{"value":{"amount":"+0.805069088935852","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":"Q4934557$A364E60F-DDB9-44E7-B663-425EFE184F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71280657ab8daca175bf34f8ca4df2811aac603f","datavalue":{"value":{"entity-type":"item","numeric-id":4263841,"id":"Q4263841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a35faa3d0c921d2f929384b0ed85c956b3ed41","datavalue":{"value":{"amount":"+0.805069088935852","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":"Q4934557$DE839C37-65E0-441A-8F2B-4AE18B5C12D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796c0588e44c93936430caed071d94b5e4a4fd57","datavalue":{"value":{"entity-type":"item","numeric-id":2848048,"id":"Q2848048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7d011f8f9571fbc22ef066c1f1b02fa47c678d","datavalue":{"value":{"amount":"+0.8017931580543518","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":"Q4934557$88DB2918-141D-4361-A743-9727C15A73BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1bff0083d5306f78d94ac28e217263fa23a329","datavalue":{"value":{"entity-type":"item","numeric-id":1725847,"id":"Q1725847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603e2c0cf09c8558d1247eeae9b47c0d09f99018","datavalue":{"value":{"amount":"+0.7937809824943542","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":"Q4934557$25E239F1-A23B-44A9-BD6B-16B92BF4BD4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934557"}}}}}