{"entities":{"Q4395550":{"pageid":6425149,"ns":120,"title":"Item:Q4395550","lastrevid":41631607,"modified":"2025-05-06T14:33:02Z","type":"item","id":"Q4395550","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163926"}},"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":"Q4395550$ECC03C62-319F-4763-B383-3179274F4C7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f26e3e0e6e1b480bf9e333b409b6a3f8795f9a2","datavalue":{"value":"0906.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395550$F71C936B-CEB8-452D-BD0E-C0C08197BA64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49961f8f05963b4b9fb4ada0a07a7b103787b5b6","datavalue":{"value":{"entity-type":"item","numeric-id":2751813,"id":"Q2751813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4395550$E72B87E3-956D-49E9-850F-DD91BD58DF50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8d9e89658a8e2f6dce60f1d6614a42f4e608c3","datavalue":{"value":{"time":"+1999-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4395550$9452567C-9898-4D0B-A7B4-555081FA558D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395550$F74030E0-56A9-45FA-BFB7-AA7911E52684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395550$F816CB29-4D00-477D-AEDE-E1B196526A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395550$4714E0E0-D279-46FB-AECE-68E50E794AA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01cd58182d87930eae08024a5deefae7e1031fb1","datavalue":{"value":"1163926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395550$CEF7A842-BE53-48EF-AFC7-69D7881278DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395550$7E8BBE64-C6E5-4285-A0C0-4699E1319AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395550$0A74948B-E8FC-4998-AE72-266B229AFD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c3921d666dde100f7140651a610dee9b25f20f","datavalue":{"value":"relevant implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395550$5CAF74E0-C400-4FE2-B6A3-E92A138A00F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e6a4d18e54cb167980bd90deabf28ed58c2d2c7","datavalue":{"value":"R","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395550$5C946507-2D71-451A-A772-21496AC461DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395550$5AA39EB0-BECD-4D19-A723-C0447716A61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395550$F633ACAA-3C4F-41E5-B61C-5909D77898F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395550$42657952-63F1-4D4B-B8D3-63280D457DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9392e67bb799c6aa7170408d9c1ecd0bb0ce327e","datavalue":{"value":"consecution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395550$DC8C47D6-1233-40EE-B676-E96A7090A691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea8b0405b68ca50cb7a3ca938d6b14de3c7f96a","datavalue":{"value":"d-expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395550$C6F8D8AD-A921-4634-A058-2956C2431CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395550$84F57400-C285-4C6C-AB26-C839D7E126E9","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":"Q4395550$71E8EBBA-80EB-481A-BCE0-EE4F19C2A325","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da41e92f06b0f33fd3e03e3fdb03e6c775298960","datavalue":{"value":{"entity-type":"item","numeric-id":5387850,"id":"Q5387850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d95e7b4630058c5684f993526354d38a7f0544e","datavalue":{"value":{"amount":"+0.85788393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395550$18EBD941-8858-4F7A-A435-2751FC7BDE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecffa58bd5f005f32a4932492fdf6ea016b6b5f4","datavalue":{"value":{"entity-type":"item","numeric-id":3086705,"id":"Q3086705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78065766633ab980cd417777eec68962b045e78","datavalue":{"value":{"amount":"+0.8478243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395550$56699CEF-4C04-4C58-A05E-112CEAE1526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9b0af9f0c02b4fa3297a12e06b5d73ff10ca05","datavalue":{"value":{"entity-type":"item","numeric-id":4822148,"id":"Q4822148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99db1829d5d4246aed6ddb6b7a0b7bb18a91485d","datavalue":{"value":{"amount":"+0.83622265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395550$A8C36AED-FAD8-4997-963B-AFF75D0A4089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc944b1d26b576f4a8dc20859a46c95c44bc2b79","datavalue":{"value":{"entity-type":"item","numeric-id":6162080,"id":"Q6162080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c300bc247550261a761360663db994320959c8","datavalue":{"value":{"amount":"+0.8322096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395550$EA3D39D2-86E2-442F-BE1A-94DB07935BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08edf37047e15b9447f7521ce24714d635407ea","datavalue":{"value":{"entity-type":"item","numeric-id":3510440,"id":"Q3510440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a91288b66916a8e6b5ca2762623405a698e4d3d","datavalue":{"value":{"amount":"+0.8288663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395550$206430EC-D125-43E6-BE7B-BD3777294B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b6f47a65603bdeacc262eebe074cae6e807bc7","datavalue":{"value":{"entity-type":"item","numeric-id":1731918,"id":"Q1731918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247e2814a3e2ea2cd8d8ae4a3a528cc106739ad3","datavalue":{"value":{"amount":"+0.82576793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395550$775920EC-6EF0-4B8D-9126-25FC2B4F3C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04791c8371f914c1b3e3a547781cafd38b8757da","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c618873a3fe0753603eeadfeddd5d08a0e8ea7ba","datavalue":{"value":{"amount":"+0.822021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395550$EED70080-94EF-47F3-9CB0-E526804ADF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a2529a72ec646d3dcae8e924a2808082975931","datavalue":{"value":{"entity-type":"item","numeric-id":1372944,"id":"Q1372944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca738fd52f707ecc59dd0f605a029d9a90473c1","datavalue":{"value":{"amount":"+0.81824994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395550$321D71A5-245A-4118-8F3A-28F6E24C5D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4afe3ca228d0775916ea74ad549f4222c03de6ad","datavalue":{"value":{"entity-type":"item","numeric-id":2859105,"id":"Q2859105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56efe2b505f3d030f6ed3694e8b8a2f62a99e415","datavalue":{"value":{"amount":"+0.8177833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395550$18442C62-F64F-4D7B-BFAA-5B9D2B83EDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf7b225375aaeeb7f3d5e74b504aac437ec671e","datavalue":{"value":{"entity-type":"item","numeric-id":1263573,"id":"Q1263573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd507b86220e6776947a2437fecfcdb0b5abf1c","datavalue":{"value":{"amount":"+0.8168366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395550$050D87D4-C059-48B1-B4DB-3088B4C9A24D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4395550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4395550"}}}}}