{"entities":{"Q2363507":{"pageid":2374250,"ns":120,"title":"Item:Q2363507","lastrevid":74338290,"modified":"2026-04-14T19:36:53Z","type":"item","id":"Q2363507","labels":{"en":{"language":"en","value":"Proof analysis of Peirce's alpha system of graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748782"}},"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":"Q2363507$C2F4153A-C854-43B3-823B-9F797DCBD3BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5a5cc496410dd611bac9ba66d8993cfbf4bd88a","datavalue":{"value":{"text":"Proof analysis of Peirce's alpha system of graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2363507$2CD4468B-4AEE-452F-B9AF-187B89238798","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38d4044adaa746b07c8a21cddb0ca64e31e26412","datavalue":{"value":"1417.03281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363507$D650E1B6-DE41-495C-89D9-6E804086E385","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65bbc12e41ccd0239f4a6ab18981809067d1568a","datavalue":{"value":{"entity-type":"item","numeric-id":313132,"id":"Q313132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$F80B7EB2-CFDE-4CFC-80D7-A45D7C738706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"652c9e00241996c74459897b95e32e3cab48887a","datavalue":{"value":{"entity-type":"item","numeric-id":513914,"id":"Q513914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$295D5DC4-DB9D-43C9-B89D-E6F0FD55DCE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$5FBE8E60-67F9-4AFE-8DEC-A3ADF6EB31A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2363507$8C553EE9-4689-44A3-AFF6-2F4195E06418","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363507$5D54A314-607D-408B-8388-CEC298989FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363507$2DCA7762-4DB0-46EA-A8E3-9FC08C88D8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363507$C1B7BF6C-00A3-4266-AC98-D1F8B969B6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363507$CC9D5F90-1A1D-4FC1-A7E5-EE6DFF9027A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1b2b86f31ce14c9b3f6df8eea1f15e5d724526d","datavalue":{"value":"6748782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363507$22FD67C9-8584-470B-8D6B-E2808B91195F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e823d7fa218a3f6c0beb170d4d2a8ab1838caf","datavalue":{"value":"Peirce","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363507$FD883E30-B783-4C65-A896-2208158FECCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351a9c83b3bf97ee54bb28c0306e0ff506b6a7dc","datavalue":{"value":"alpha graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363507$C7EF095A-32DC-49F7-BB8A-85E76163B0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363507$6B7DDCDB-595E-4A43-85A5-580000025DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363507$11B3B697-2B9F-4E72-86FD-050A79F11044","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$B3377C59-95B5-4CB8-AAE2-CC004879732C","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":"Q2363507$D1128539-742F-4E9F-81B7-A460A9C30D4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8762d2c2220ac170bb94771dd384a29ef44336c","datavalue":{"value":"https://doi.org/10.1007/s11225-016-9703-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2363507$967D110D-1FEF-4611-9012-AA1921B21923","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2256ccfb4242a5bca4c70c088cddc3ebfccbd29c","datavalue":{"value":"W2562279582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363507$A8D61B98-E1C9-48C1-BB06-25B7D610349B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba81e34ec2ad35f8adbcf5fced698b89ca002fa","datavalue":{"value":{"entity-type":"item","numeric-id":5741611,"id":"Q5741611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$05F0CEA1-B42D-47BF-AC8F-9726D74855BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"387b3b7f683e3eac1b4c66b864d9dbc7916ec6a7","datavalue":{"value":{"entity-type":"item","numeric-id":1571062,"id":"Q1571062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$1184FCFC-7D8B-4E69-8248-55A3C3E221DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e50ae572a2880148ef669dedbef2bbc11df3066","datavalue":{"value":{"entity-type":"item","numeric-id":3375282,"id":"Q3375282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$04F4F242-76E7-4218-B256-D9756D78FF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b8d4724fac31c84be8dfe751236a3355fca52b0","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$2675CA8F-BDEB-4A0C-9AB9-1FF6FF492261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60684e7eecd7fd6fcb7954e2da9961460e9fdf7","datavalue":{"value":{"entity-type":"item","numeric-id":5175632,"id":"Q5175632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$4C2C64D3-8841-41DA-8B46-ADD0ED9CA458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6505cecbca59d25203d98a453e0db0f6fa0035c0","datavalue":{"value":{"entity-type":"item","numeric-id":5757444,"id":"Q5757444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$9023BD1A-B242-43D4-BEC6-DD8938F4E15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2677d983610e73c153225ec1ddd34ed52a7e0d63","datavalue":{"value":{"entity-type":"item","numeric-id":5224499,"id":"Q5224499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$10151959-6D21-4299-ABD9-E138FA80E605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a7c3a1d2008f8d359851f1958e54ae17e3ae87d","datavalue":{"value":{"entity-type":"item","numeric-id":5714026,"id":"Q5714026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$3EA336AD-A88F-4A7B-81A2-08BDCAAA75E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$CCA1D8E3-FFC9-40CE-AF71-AD9405A675F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9017a21270a8529d676bd7eb3ce058f86b75e4","datavalue":{"value":{"entity-type":"item","numeric-id":850996,"id":"Q850996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$5C681D5A-4C2E-48EC-A799-04514F9AC007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17aee3285a1812894731e4b27615330e17c83223","datavalue":{"value":{"entity-type":"item","numeric-id":4540990,"id":"Q4540990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$C4AF80DD-40CE-4184-A0A5-6EE93C3DBC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeea368291e0499b54e17da202840bc614d9f421","datavalue":{"value":{"entity-type":"item","numeric-id":487224,"id":"Q487224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363507$14E26D97-6CC1-4FFF-8560-E68E480BD258","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3f8f6cf9156988bca246135991844f3770108a4","datavalue":{"value":"10.1007/S11225-016-9703-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363507$6AA58B2C-9A9E-4277-AAB9-BA46E4474597","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf27261ad39b8cd8d3dc6ff82a698c6711d4191","datavalue":{"value":{"entity-type":"item","numeric-id":3067345,"id":"Q3067345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a2e743b9187470edf757a57fd44d3d527991d6","datavalue":{"value":{"amount":"+0.8685013","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":"Q2363507$DC25AFE1-38F2-434B-88F7-7D667CA7A1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e2e0de0ddceb4495131abf7796c62b1e08ec88","datavalue":{"value":{"entity-type":"item","numeric-id":5757444,"id":"Q5757444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791c1f47866674002adec22c0c0ea44ea288603b","datavalue":{"value":{"amount":"+0.86507124","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":"Q2363507$70BB8183-CE8C-47E7-AF2E-27B65E53937D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2336926120e09f473b7c55c36e3be18a95577e","datavalue":{"value":{"entity-type":"item","numeric-id":5060181,"id":"Q5060181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e15c6fcc31a469d49e2eaf28c112e0750ca3b06","datavalue":{"value":{"amount":"+0.855153","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":"Q2363507$17C79C61-D447-4150-BBEA-F4D8314219F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47fd1619dc952eb618a87308a80dab22d5a49d08","datavalue":{"value":{"entity-type":"item","numeric-id":4548192,"id":"Q4548192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a309bc1a1b48107ded03430911214fcbd9520c4","datavalue":{"value":{"amount":"+0.8366136","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":"Q2363507$9942143D-C1EE-46D8-B055-B6578100D6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a5369790eedbf6262bdb78f5c56e4d6ca76cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4540990,"id":"Q4540990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884c1f85b48ed2939a70f0fcb47ab6c7786f42ab","datavalue":{"value":{"amount":"+0.83423585","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":"Q2363507$6B8D37E1-6553-4FD2-B507-C9A63AB4763E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf72702022b8e3401ec9395e154b236b78dafac","datavalue":{"value":{"entity-type":"item","numeric-id":2671612,"id":"Q2671612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f0256d6432622abb48fce3dc94d06f41f7d6e6","datavalue":{"value":{"amount":"+0.8320033","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":"Q2363507$8A83F90D-F608-493E-AC3F-5B488EDAAC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf46aad459119c33004925957d08c945d98d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4222817,"id":"Q4222817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5500c83711544ec8576bed86bb9738b1feccbfa8","datavalue":{"value":{"amount":"+0.8314551","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":"Q2363507$C763BA1D-C5B6-42ED-8F0A-B0458E98407B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241a4336503c1bbf1259487f5f10938ea76db5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2671599,"id":"Q2671599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c24185e2aa1c36810e6019b355c30cecbe19d9","datavalue":{"value":{"amount":"+0.8303543","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":"Q2363507$10B40A62-8E28-4215-B51C-790BAD9DC37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cb7811efd824210bd6a73dce09ab4765355ab0","datavalue":{"value":{"entity-type":"item","numeric-id":955713,"id":"Q955713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e35b840f7e727d88bbb8af89a5e5192bc2e305","datavalue":{"value":{"amount":"+0.82609653","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":"Q2363507$A7024A2E-3149-41A0-9482-721ED3360C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d844b35a6f6a9be912d8a714182adf477ed94e05","datavalue":{"value":{"entity-type":"item","numeric-id":5712437,"id":"Q5712437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74b07cfddc3682a5c21e1cfc0354875edb37cdf","datavalue":{"value":{"amount":"+0.8240727","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":"Q2363507$E083CC25-6225-4398-9EA6-7FB3C9134E78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof analysis of Peirce's alpha system of graphs","badges":[]}}}}}