{"entities":{"Q5523672":{"pageid":7553232,"ns":120,"title":"Item:Q5523672","lastrevid":48644311,"modified":"2026-01-05T11:50:29Z","type":"item","id":"Q5523672","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3236052"}},"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":"Q5523672$971DEEC9-64DA-4C9F-90AC-2D2ED072A420","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80565a30fbcb23720f555bad0837cc468a87e376","datavalue":{"value":"0146.24604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5523672$AEF4887F-B4BB-4A89-9E61-83CC3F571DC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b29152725e7ee6f2d3e5de688bdeec7acb631ef","datavalue":{"value":{"time":"+1966-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":"Q5523672$AFA8643E-02FD-45C1-9C7D-E529D85941C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5523672$92640ABC-1D9D-4B68-A47A-1A0AF4B4D5AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba82daa483e1a790be55ee34ca836a6f13566772","datavalue":{"value":"3236052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5523672$7D7B08E7-86B1-40CA-8908-B779125020F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355b0b08179e3c168930afa914369e7a478827dc","datavalue":{"value":"separation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5523672$C309E299-34C6-4B96-A06D-B492C5F3CF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5523672$50A7D999-AF9B-44D4-9B26-6BE6FF6E7F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a1ea41af0bffd612dc14782fa69268c8328f58","datavalue":{"value":"Gentzen's cut elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5523672$124FDB78-9D65-4438-8AF3-7E04BE72707B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4597744f225d71e666abfe477379201f378152aa","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5523672$E670F36E-D8B6-4EB2-A5D0-948D551396CB","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":"Q5523672$BD5054F1-019B-4D95-A4C3-F08B15ABD116","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd36a49b96952b5ebddc6023c1c9123063180cef","datavalue":{"value":{"entity-type":"item","numeric-id":5534906,"id":"Q5534906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb503d3d2d66ffe4fe9563da3c7b5854327870c","datavalue":{"value":{"amount":"+0.8186997771263123","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":"Q5523672$47070BF3-939D-45F5-9A65-595B4519A1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0fb285ea894896767f3b28e962eed2b929215d8","datavalue":{"value":{"entity-type":"item","numeric-id":3982861,"id":"Q3982861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8901d51e2b57fdb72f8b2fe2375a1105ed558cca","datavalue":{"value":{"amount":"+0.7341742515563965","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":"Q5523672$BC768FE2-CF1F-47E2-AF94-2D5E07C27AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e35ffb7ed90d12ae41aae6c6adfe2a53a63f01","datavalue":{"value":{"entity-type":"item","numeric-id":3063990,"id":"Q3063990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2423ec3a1cc95dfd6b450647f41322e235474ff7","datavalue":{"value":{"amount":"+0.7327125668525696","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":"Q5523672$E4FBF0E1-5D13-4905-A158-EBA94F1494C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c67c7baa355d83bb8de33bb6ee7174b047b0b75","datavalue":{"value":{"entity-type":"item","numeric-id":1115420,"id":"Q1115420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ee9da28a49c4cce5b94b03fa8daaf9685bbbe9","datavalue":{"value":{"amount":"+0.7315965294837952","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":"Q5523672$E655C5BE-A884-437C-AACC-FE406F03C2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8f544eece7138b924dfb8715b49977f7b9c7ef0","datavalue":{"value":{"entity-type":"item","numeric-id":3762282,"id":"Q3762282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c77ae9df1742757d981e357f1a2472c1fcd9b2","datavalue":{"value":{"amount":"+0.7241223454475403","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":"Q5523672$5B5C702B-0D4A-4A63-AE5D-9AA9CD9F9D24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5523672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5523672"}}}}}