{"entities":{"Q1138548":{"pageid":1149297,"ns":120,"title":"Item:Q1138548","lastrevid":66364719,"modified":"2026-04-12T09:36:28Z","type":"item","id":"Q1138548","labels":{"en":{"language":"en","value":"A proof-theoretic approach to entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3672288"}},"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":"Q1138548$C09F9C34-A512-4806-AB37-9F9661DE74CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97b59cdea8f0f43a20dbbbb361c2a99d2c2ddcc5","datavalue":{"value":{"text":"A proof-theoretic approach to entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1138548$4FD7ED5D-C58D-471D-8D48-CF330002AC1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aff6defa5debada146c5563a2f33f70cbd4b3071","datavalue":{"value":"0432.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138548$995302F1-87FF-45F6-BD6E-DCD904CF3626","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"000dbe861b64bc7763846e560c305039e85470f4","datavalue":{"value":"10.1007/BF00247748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138548$FEC83D9A-66E1-4AC5-A62B-83B2C82E2891","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27254c1d2f89d1ba738a7f8c09db866c62eee8c2","datavalue":{"value":{"entity-type":"item","numeric-id":246764,"id":"Q246764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138548$918F3A67-D4C6-456A-AA71-07F0010B4FD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1138548$737FBC96-8563-4699-9904-F06F767CD4DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1138548$EEC8AE53-D186-4C9F-AD2F-60E6437B0FE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138548$5C3E59FD-4AB9-4006-A417-AE31BD4CF872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138548$62D94A1D-B5D2-44EA-99EB-4BD3468A90B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5090eadd24c97a79a3f6cd9bf11362e14cfdc440","datavalue":{"value":"3672288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138548$C4BDBE01-B0C1-4296-8B6C-77F419AAAF32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcff1627eab331200891d6ea00e24fc731f18d5","datavalue":{"value":"normalization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1138548$42E2EE75-C7B5-49AD-BFB8-6FF2A4A526B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92515333597fb2686ad23fd04c82bea6c2c67024","datavalue":{"value":"classical natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1138548$560E2B99-B70D-4D3F-AB02-54ACF6C5BAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1138548$6FC84027-A178-4603-8AA6-C7F2A3AE8E5B","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":"Q1138548$D8C3A27F-95AF-4F3C-8FCB-CF29CF9CD9AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"517d4084f03737d1854b841dcf5da4d385731920","datavalue":{"value":"https://doi.org/10.1007/bf00247748","type":"string"},"datatype":"url"},"type":"statement","id":"Q1138548$7003424A-E341-495A-9868-1966E1DABEE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f018f573b717a38894bb43b3a6f4c49f3b753b0f","datavalue":{"value":"W2084080545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1138548$F792EBF0-F782-4073-B797-EAE5EF31734E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof-theoretic approach to entailment","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof-theoretic_approach_to_entailment"}}}}}