{"entities":{"Q3194704":{"pageid":3205412,"ns":120,"title":"Item:Q3194704","lastrevid":86081219,"modified":"2026-06-03T14:12:32Z","type":"item","id":"Q3194704","labels":{"en":{"language":"en","value":"Propositional proofs in Frege and extended Frege systems (abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496810"}},"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":"Q3194704$6C69FF61-E64C-452B-A6F7-6111ABB80B09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fe99893868555cdf195b83e19292c7a600dcd18","datavalue":{"value":{"text":"Propositional Proofs in Frege and Extended Frege Systems (Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3194704$893251E1-125A-4C77-8B35-0518746B9E52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"518000f0e00db06347ed7bfe1987d14910d122d2","datavalue":{"value":"1464.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194704$DF2DD449-C5A9-4835-9F1E-8B8CCDAFD850","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a502a128799fea9e3fa1b59fb8123fbed9495801","datavalue":{"value":"10.1007/978-3-319-20297-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194704$14CD309F-55D9-40AF-A407-4192ECA68BA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$70E4F57E-D74A-464A-8A75-100CBA12BAA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3194704$E51011A4-C015-472D-914C-1CD245D489B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194704$B297F702-FF18-41E8-BECB-F2C31FEAEB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194704$BD83528C-4EF4-46A3-9432-12ADFAADFA4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4260191a680f1b5cad79b3b460a65023ad1411f","datavalue":{"value":"6496810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194704$D23E9A00-6C1F-40F1-9A16-0D36464A19FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194704$EE1DDA26-1C1B-4615-AE1E-B125FB7D7581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3315f7ae696ba4306ec76c2d09c57d6ec4966735","datavalue":{"value":"Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194704$E8E1DE13-0B7D-424F-B351-3F533838153C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194704$459E2B5A-07B3-4AE5-BA2F-7ECACFB4D2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de2523347144db8f827bb70bce45694d1b91f0ec","datavalue":{"value":"Kneser-Lov\u00e1sz theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194704$B1F7FB81-301E-4D64-BCD5-3E23C80773E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3194704$30F59887-C981-4E3D-A469-B0A330EEEDD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$7CC1BABD-30A3-4A5C-AEA2-B5B343EB3C66","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":"Q3194704$CCD4C0F6-FDF1-4784-8531-011FDBE7C12B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd2eaa04d28397b397876fd0081c80a9ad4bb9e9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-20297-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3194704$DBE05316-820E-4634-8EC0-97FD030F9DF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2d8f61de900f1106f32d633b65cd137018ab64c","datavalue":{"value":"W1054254092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3194704$EDF309C4-2490-43F0-AA7C-A637327C28F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b72445f138d5759d47b54e61d18422dec4da9a","datavalue":{"value":{"entity-type":"item","numeric-id":3188337,"id":"Q3188337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$4898F55C-36D9-4DCA-BC2E-E1A581C67E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8114c211fca5bae4eaebfd4e040f702bba8b2dce","datavalue":{"value":{"entity-type":"item","numeric-id":3449464,"id":"Q3449464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$A31E9FAD-E668-40B6-B2A5-81A2799B24C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5d95d4a1f501517f04217bc5b6894d0b0c5d5f","datavalue":{"value":{"entity-type":"item","numeric-id":4375783,"id":"Q4375783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$3AEAC6CB-86FE-46A3-83F3-6EEB32CBC22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf683bccb67ec1b23a8369baba6e8a33e9794a10","datavalue":{"value":{"entity-type":"item","numeric-id":4650571,"id":"Q4650571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$BCB6E0E5-76EC-4EF4-95A7-A64A9DD5C6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c70b318395c4ed2d5675bb48c8ac58ac36b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$E0B77F48-0C29-4B3A-898A-D6AA154123CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeebd466643aa876c1932f0bfc7bb13b63abb5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5410329,"id":"Q5410329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$58E096D2-CF76-4ADC-9734-17A2AB6A3E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85cb5c2591c3b4779c32d742e1061633a99acbed","datavalue":{"value":{"entity-type":"item","numeric-id":4850545,"id":"Q4850545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$044E740C-B37E-4AA3-B2F6-710301139968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4efc758b393bfca7e5de457ca3a2ef28a58c2b55","datavalue":{"value":{"entity-type":"item","numeric-id":2344736,"id":"Q2344736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$0C7E4A8F-5742-4209-B6D0-C0E7DFAE1EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$854CA938-D34B-40D5-9AF3-BD416D8AC6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$59B15FDC-3ABE-44E4-82DB-234672348247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"268508f11a93ad9daf989654e9defbf367898cdf","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$3F8A5186-A03A-486F-9937-8FC9EB7E6981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822e3104d6a40cfdd4c15d4f4c0a6e67edb1c659","datavalue":{"value":{"entity-type":"item","numeric-id":4263835,"id":"Q4263835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$ACDD4204-5C7F-46C7-A38F-BDC727235278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa0d6b54f6be3a440a4bb5a78e5668dceeb60c0","datavalue":{"value":{"entity-type":"item","numeric-id":435190,"id":"Q435190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$8A5C830D-943F-4409-A2B2-B125C8E9C157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$8BFDBAE5-1EC7-46E7-8E93-6539371C41A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$CE69D6B8-55FF-4193-8084-C937C71433A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a94b866c4904c0fee0380e2ce17f042631fee90","datavalue":{"value":{"entity-type":"item","numeric-id":5252690,"id":"Q5252690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$939DB4CE-14DC-47EE-8C51-F653FFE47E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b59b02c873aea56e9b357d14638711873259a51","datavalue":{"value":{"entity-type":"item","numeric-id":3192060,"id":"Q3192060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$444D2B86-6911-467E-BCA3-4668234C62B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$D36F6164-843B-48E4-A2D8-01B27A01CDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d95378a8c31d7715b88a9854f2b8f7d5953534","datavalue":{"value":{"entity-type":"item","numeric-id":639650,"id":"Q639650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$FD7F2866-D613-485C-8CBB-6FECD59D02DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$ED58DF30-F83D-4C56-B0B2-80D8AE0B24F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c428f1852e95384416608cd782a84ad75e86d42b","datavalue":{"value":{"entity-type":"item","numeric-id":755592,"id":"Q755592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$1167D122-9BEB-4191-B342-3B07ACFA6708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c697ac96dcb6d8ce9d9417ec4d5d18c7e16de713","datavalue":{"value":{"entity-type":"item","numeric-id":1882147,"id":"Q1882147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$11745848-07B3-4989-A496-E4B204687279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a2aaca8b0cf7d27ad61a4e939a844436669e64","datavalue":{"value":{"entity-type":"item","numeric-id":3503621,"id":"Q3503621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$38E0B60C-F36C-4397-BAFF-ADC530F3B517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3194704$1944224D-FBE0-4D32-827C-F1935092F2D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cccaac9b36deb25402bd0f6ccff787ac830afb","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b70d2ef39230c23e8f8a2d5ef6b496f8f838a2f","datavalue":{"value":{"amount":"+0.8635717630386353","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":"Q3194704$CAF6734C-E727-4D38-A17B-9029E52434E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578cd776d48d10dab91f5be7d3277c1ff953b403","datavalue":{"value":{"entity-type":"item","numeric-id":2344736,"id":"Q2344736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b519d92acec457779b01f2f3967e45b6a3bbc8","datavalue":{"value":{"amount":"+0.8448181748390198","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":"Q3194704$8890CDE4-62D0-4F80-8998-51E9A2E965D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db82c5063f3c043d430308796608f83cc800d8e","datavalue":{"value":{"amount":"+0.8152520656585693","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":"Q3194704$679C4CF1-4A84-4367-B638-7929C6F47573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe227919db66e25e02c2c9191bde7e2a1fcb02c","datavalue":{"value":{"entity-type":"item","numeric-id":3192060,"id":"Q3192060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712cdd4fbc7ed44513be28ec9626d14cef00d5c9","datavalue":{"value":{"amount":"+0.8152516484260559","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":"Q3194704$5E0DE663-6542-4DFF-8F9D-3857BE86D949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264eddba7cc17cba03d42bcf58c50a2a39ddada5","datavalue":{"value":{"amount":"+0.8101490139961243","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":"Q3194704$D548FEAB-20A9-4F71-8354-8E54ED386BB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Propositional proofs in Frege and extended Frege systems (abstract)","badges":[]}}}}}