{"entities":{"Q3510441":{"pageid":5540345,"ns":120,"title":"Item:Q3510441","lastrevid":50399390,"modified":"2026-01-13T23:31:44Z","type":"item","id":"Q3510441","labels":{"en":{"language":"en","value":"Theorem provers for substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5296692"}},"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":"Q3510441$B9192F40-4FC0-465B-8F89-8CF86A026415","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76eab2a616e0cdf43bdf2202c368df460d4d4f88","datavalue":{"value":{"text":"Theorem provers for substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510441$3DF3E2AF-B0DF-4616-BD35-1C669EBE3134","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18eeaf18d6967748e167124c016f016f80a491e7","datavalue":{"value":"1199.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$895B5BA9-7CFF-4974-B221-129C64B24A00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30d9abea1898b5a7a391589332b4dd50533da350","datavalue":{"value":"10.2298/PIM0796055I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$E267815F-DF9B-4F19-A7FC-B2E210AAE010","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f1971c90a7507af8e1e04fb469535e20df68ff8","datavalue":{"value":{"entity-type":"item","numeric-id":3115171,"id":"Q3115171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510441$4F93DBEC-14C8-4C1F-BA02-F8EB407A908F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00034c34431941ef173c32ddaed6c9a7c9ade616","datavalue":{"value":{"entity-type":"item","numeric-id":2815240,"id":"Q2815240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510441$DAE3049F-D057-45E7-B73D-D21A4ECB4F65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03dc85bcb852416a69558ff26ee872119ad863d0","datavalue":{"value":{"time":"+2008-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510441$1EE10967-8CBE-4062-8575-4515F0A8186E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ab30274beeb5066c77eaced869792acdaef16e1","datavalue":{"value":"https://eudml.org/doc/117041","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510441$4376CE11-9341-4312-9871-D1FFF2CCE76B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$35A69F80-73BE-4134-B51D-6AE7A35918FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$487D9AB6-0229-4045-8B6C-34EDFD7FB08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$70697914-73CF-4225-A084-8F8AC68D03D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$F2087E6A-28C1-4404-AAD4-39886D3FB5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$27BBA6C8-AAD2-4869-BB8A-62BCB2B2E73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$4E85D3A8-CD49-43AA-8AF8-BBC8768D2E37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81d4267f5bcb7d9e23289ac6d2a1470bc91d6119","datavalue":{"value":"5296692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$14214EE1-EECD-4463-A9A3-36D634AB73BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007178e48802a62bc4654c927dc92fdb00a13725","datavalue":{"value":"BCK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510441$73F7705D-1D4D-478C-B79E-8D02654AB236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510441$03780529-2D15-4C37-9453-BB666E583F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510441$88370BCC-EF00-47E7-A605-F0D623C781D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510441$2FC370CB-B85B-407F-A5E8-D8BE881CE60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510441$B56C9028-6F8D-4655-AC68-EF20836DE964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510441$57F02EC3-0B41-4EB0-911D-F62E157ED5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61646aae39c181a804d97b67e1585d6cb82b95f9","datavalue":{"value":"tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3510441$AE6CD802-5380-4077-B7E9-58A65B99D07B","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":"Q3510441$A5632283-B42B-4720-94BE-FDAA49D9F3C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35e2868b0df638ae61a5d153ca20c353cfde0391","datavalue":{"value":"W2071789544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$3BDC6056-5F6E-4D20-91DC-F4F801DC4062","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"2ea6c19f721cdb29dbc7bd907ce5420ea5f1304d","datavalue":{"value":"bafkreieu3dac6zfzebsq3qf4dzgk6fqrw7et7nx7ob7vxbll6hvzwy6lya","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510441$B68FABC1-F4AC-47CB-97D2-769DCDBFE043","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234b137cab501657b58cc80a0605388121ef3d50","datavalue":{"value":{"entity-type":"item","numeric-id":4815865,"id":"Q4815865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00898ee63b5967e659eda76e535c696ea9c25c54","datavalue":{"value":{"amount":"+0.8110802173614502","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":"Q3510441$33DB020F-F378-4EBD-A630-29A27D03CC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4265ccc402c9298983799332f26bd9eac478c17b","datavalue":{"value":{"entity-type":"item","numeric-id":4392659,"id":"Q4392659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820b9f446e7884696cd64fcf7ac16d42d251304c","datavalue":{"value":{"amount":"+0.7951676249504089","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":"Q3510441$65BDE374-82BD-49EE-93D8-9B33BCAACD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa660686f4f02c738c196f7b01b665503be5cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2757280,"id":"Q2757280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf7b147351e7ba96da3792ef3ff5cfba8821b71","datavalue":{"value":{"amount":"+0.7951675057411194","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":"Q3510441$3D1CFF8E-8432-4141-A2AC-D36F786366F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523ceda9c46f837435b012e3131d159e916a802b","datavalue":{"value":{"entity-type":"item","numeric-id":1575928,"id":"Q1575928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aaa1447aa5f74690a8ad4d50f0b230acc1ee41b","datavalue":{"value":{"amount":"+0.7757154703140259","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":"Q3510441$4BA0860E-37B5-42AC-AB9F-5BA3E0D14458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff0df3602aad140001d0e816f3b60779c64993f","datavalue":{"value":{"entity-type":"item","numeric-id":4357322,"id":"Q4357322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7759ad69da46e5eddfd5e6b2baf4bda2c43ac9","datavalue":{"value":{"amount":"+0.7709082365036011","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":"Q3510441$FC80F7F8-0431-4F19-B528-482ABAC8F99C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510441"}}}}}