{"entities":{"Q2276950":{"pageid":2287693,"ns":120,"title":"Item:Q2276950","lastrevid":49478137,"modified":"2026-01-07T05:39:55Z","type":"item","id":"Q2276950","labels":{"en":{"language":"en","value":"Weak logic theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193652"}},"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":"Q2276950$0D657AE4-8C9D-4CEC-85DF-A29DFDF48EEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e639de08150abf4eea90a8dfb9c72a8b5175821","datavalue":{"value":{"text":"Weak logic theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2276950$C1AE7AFB-4632-43CA-9838-2FE1F30FD34B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1139827201ac0b503b10baae02ad9558c62d34f","datavalue":{"value":"0724.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276950$05B926E2-053B-4164-81B9-97273DC8F703","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed928e71ee6977fff6f4a3684dc703bb40988352","datavalue":{"value":"10.1016/0304-3975(91)90334-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276950$11C82617-511B-4B1D-80F4-DCBB1022DF70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90303d9709df5f4d9672bac33ab0d3cb63c043c1","datavalue":{"value":{"entity-type":"item","numeric-id":1009491,"id":"Q1009491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$8B456116-9B94-4040-BD5E-754985D87400","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$04F8166F-D11B-4009-90A2-46F2FA9B8369","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q2276950$6B5585C0-7D64-467E-9AFC-D541E1D1375B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f463229a10dce45728beaa543bcb517a8e3538d","datavalue":{"value":"Weak logic is an extension of first-order logic to handle partial functions and predicates. In this paper a sequent calculus for weak logic is introduced and its consistency and completeness are proved. Furthermore, a cut elimination theorem and some interpolation theorems are stated and a resolution principle for this logic is elaborated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$25897F3F-964B-4658-AD2B-298A78D24BE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276950$FEE63C51-68A8-4A9E-ACE3-CD8B1C5EC9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276950$4760ED28-D5A1-4CFB-A72C-5A9A455D1CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276950$2F618BFC-19BB-46B1-B420-D45DA9FD18BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"745fbe4ebda221e84fb6a707c2ccff2b5ad9a261","datavalue":{"value":"4193652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276950$DEC94071-951E-433E-9F9A-4C49E6E59D68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$748E79E8-DFFC-4D8C-B563-4C4143BF7F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$46FB49A9-E2AF-45FC-8E83-E2724450C346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb36bd07cf45ab8f53c60c9aef4be3278250446","datavalue":{"value":"system specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$66CAA1ED-15F8-43D9-B026-6AF22E2D3576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05574b04e6b96f7e4fb1b0d4760833d0f74ef46c","datavalue":{"value":"partial predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$A45CAD00-577C-4A4B-A4CD-B6508992EF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e3aefda6146ec01b513a4bbf21440f7e9242198","datavalue":{"value":"extension of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$2F48E1CE-72B6-4C9C-86FF-1D4AC8BAA7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$29E25931-6E19-4688-9AF7-50EC922D0902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$9FDD3D56-DC49-4895-A172-0DB1E264D936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a836d34ee195068b9fc4cec9c99c76f970b75710","datavalue":{"value":"weak logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$C5597A9D-C121-4FAB-89CA-ABA6541E876F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$D5584E70-3FB9-4A4E-A44E-F1586341580D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$8126436C-3C4E-4D19-8FA4-75940BBAD9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276950$E839B1CA-F26D-434E-BACA-1553262A5C58","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25306ed43a658ea19c64035347a11c5c173761c0","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$04CCE554-D73F-4DFE-8203-D859795CAD6E","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":"Q2276950$492FEC5E-BF06-4145-A5CA-6C7867261898","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$F1484613-B66A-43E8-8A09-0B232F2E7516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0abf65c499a2acb50eb37174e27c93ee329f542","datavalue":{"value":{"entity-type":"item","numeric-id":3914980,"id":"Q3914980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$5A428381-D841-4ED1-9289-09053EA68CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$D73D2E72-B958-4A59-AAA4-86774AB86692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$4AEA590D-EBE7-45A7-8B2B-5A88417D9F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8b0286e1a8e2ce6ae96a726304d2c00c6fa88f5","datavalue":{"value":{"entity-type":"item","numeric-id":2276950,"id":"Q2276950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$09526126-B35B-4BBF-B48B-93CFED754C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24956801039fd919454009aea6cf74b8bb853758","datavalue":{"value":{"entity-type":"item","numeric-id":5626273,"id":"Q5626273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$60119BF6-3D3B-4843-A372-15E908D7192B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c170fbf7b2655b8472aa46a5038af4789127c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":1819942,"id":"Q1819942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$93A14FEE-F3C2-4AB4-8DE6-567966F1BF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e8246186317a12728382bda44d4fa806440e38","datavalue":{"value":{"entity-type":"item","numeric-id":1183598,"id":"Q1183598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276950$0A36D7C8-5B85-4370-8EEA-B9636B894020","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8480398375347feaf3cbabed0fb4a1311596c051","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90334-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2276950$A09A9D26-936D-4F02-B7D9-DDAEA2E20ED9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0a82e0b2d45ffecebaceed097536c0a72206643","datavalue":{"value":"W2006286500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276950$02DFB5C8-D4E6-478B-97A8-AE1630E5746D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7caa784e70d069c58742510979aa0dd19dc9b1b","datavalue":{"value":{"entity-type":"item","numeric-id":4795397,"id":"Q4795397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e07b91f56851ef78c15a44bec2cdd4403b82dc","datavalue":{"value":{"amount":"+0.7668982148170471","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":"Q2276950$87967F41-B9AA-45B6-ACF9-34773B30092C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1761967e1110665394099f3a61ad0eb07e36d28","datavalue":{"value":{"entity-type":"item","numeric-id":2630491,"id":"Q2630491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db73ad522377ec0c20088dc21d04310dfaff2391","datavalue":{"value":{"amount":"+0.7659329771995544","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":"Q2276950$1D3C7A5E-9F6D-4C5C-A6B1-867F969AB12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15de8fe216b26ef42e36d6c82f9dbafdbd57ed92","datavalue":{"value":{"amount":"+0.7561857104301453","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":"Q2276950$74E61B46-9707-4A84-A0F3-983F89211C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efdbfc9c31ed4f0747b16cf4e8df422f3c222b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4244313,"id":"Q4244313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2687ec4db3190eb85b944be5db716886f10a12b5","datavalue":{"value":{"amount":"+0.7524130940437317","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":"Q2276950$E6950336-41E9-463B-AF6B-796DC50A79C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04b43e5e938eea98d5f2df94ba0886609189d05","datavalue":{"value":{"entity-type":"item","numeric-id":3309809,"id":"Q3309809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be02d0a51374ea4985106f1db8a959dc47f71fa6","datavalue":{"value":{"amount":"+0.7498041987419128","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":"Q2276950$0FF89B93-649F-4ECA-9C63-3C20CC44EC59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2276950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2276950"}}}}}