{"entities":{"Q6481230":{"pageid":13977365,"ns":120,"title":"Item:Q6481230","lastrevid":104433415,"modified":"2026-07-10T19:39:28Z","type":"item","id":"Q6481230","labels":{"en":{"language":"en","value":"proof theory"},"de":{"language":"de","value":"Beweistheorie"}},"descriptions":{"en":{"language":"en","value":"branch of mathematical logic"},"de":{"language":"de","value":"Teilgebiet der mathematischen Logik"}},"aliases":{},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"92380a19e020365620ec0e762cf263ba76b0ed4d","datavalue":{"value":"Q852732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$FC1A4250-EED8-4143-998F-726B0B542B06","rank":"normal"}],"P235":[{"mainsnak":{"snaktype":"value","property":"P235","hash":"6a9f5e97be9ab17691dd7b628065ec302580c18c","datavalue":{"value":"4936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$DDBB1E3F-18E8-4FE2-9DEF-E81AE5C612ED","rank":"normal","references":[{"hash":"d3906c6d061174752d0505951f9eba346ea08a95","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"6336e5908fd94549601724b0016a1a445a9804a2","datavalue":{"value":{"entity-type":"item","numeric-id":56567,"id":"Q56567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"da0b891167577e987d030a37ac0197947920fd95","datavalue":{"value":{"entity-type":"item","numeric-id":60231,"id":"Q60231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481230$78678AFF-7E25-4D55-93A9-CB9210CA0C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"d21b21713c62fc2937793d5fe4d563c53de7b182","datavalue":{"value":{"entity-type":"item","numeric-id":75692,"id":"Q75692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481230$E4980EAC-FF07-4C6B-B65D-B356CE7B756E","rank":"normal"}],"P236":[{"mainsnak":{"snaktype":"value","property":"P236","hash":"f6fc0c94ebd91dc259809907c2eb1c3b6c882068","datavalue":{"value":{"entity-type":"item","numeric-id":7280106,"id":"Q7280106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481230$E03AB246-84C0-4EE0-A38F-97474B9CF470","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"24503f1634d8cd96843ddad0753d2a818baf73b3","datavalue":{"value":"/m/0191r1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$B1C644B4-D51E-4CE7-975E-5F677DB34539","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P36":[{"mainsnak":{"snaktype":"value","property":"P36","hash":"d91f54fce1f967d82b62a2ac5e3ee8c4cfa1a0f3","datavalue":{"value":{"entity-type":"item","numeric-id":6481167,"id":"Q6481167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481230$B03398F2-CCBD-4E71-9CC2-FA64395B8D91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$8ECE4CA6-27C0-4D95-9BE1-E696E10A22EC","rank":"normal"}],"P252":[{"mainsnak":{"snaktype":"value","property":"P252","hash":"326070efcabaf872416780aed356bc90405916b7","datavalue":{"value":"proof-theory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$9C5057FC-BF19-42DF-A1B9-1939BA901AD3","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"49ad6182724d3e68dc86d564f77e7138d6dc608a","datavalue":{"value":"ProofTheory","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"a199500f673d88cc2b5668e27526950a7a90abf3","datavalue":{"value":"Proof Theory","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481230$13C22913-C521-452C-A100-B669263F8C7D","rank":"normal","references":[{"hash":"a672de65eb2b6dcec07e610678e397925bc17341","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"ee5d7978eef1b85c32d922666af793ebc7700297","datavalue":{"value":{"entity-type":"item","numeric-id":56814,"id":"Q56814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P269":[{"mainsnak":{"snaktype":"value","property":"P269","hash":"9d78734e15c229ccc639bb1c57b0926f90523e6a","datavalue":{"value":"theorie-de-la-demonstration","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$C926EA35-11DA-4176-A85A-00D762BF689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P269","hash":"18f3e6f7a5b029da8d7cbdee1bdd190efed2174e","datavalue":{"value":"verite-mathematique","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$07F8C2DD-B021-425A-ABC3-AF1BE2EAD256","rank":"normal"}],"P450":[{"mainsnak":{"snaktype":"value","property":"P450","hash":"b79491175040b4096dbed204148571cd8e257eb6","datavalue":{"value":"10003792","type":"string"},"datatype":"string"},"type":"statement","id":"Q6481230$79D4FB27-B31D-442A-829C-184DF075118B","rank":"normal"}],"P1589":[{"mainsnak":{"snaktype":"value","property":"P1589","hash":"1f2dd931832d980d82079abf95dffdde6bff5665","datavalue":{"value":"proof-theory","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"a199500f673d88cc2b5668e27526950a7a90abf3","datavalue":{"value":"Proof Theory","type":"string"},"datatype":"string"}],"P43":[{"snaktype":"value","property":"P43","hash":"344ff8bb262d9090d5ebca69b19023de92abb389","datavalue":{"value":"Rathjen, Michael","type":"string"},"datatype":"string"},{"snaktype":"value","property":"P43","hash":"fae844ba5073771e0d93a3f999b665d202d63431","datavalue":{"value":"Sieg, Wilfried","type":"string"},"datatype":"string"}],"P28":[{"snaktype":"value","property":"P28","hash":"30feba6170f0dd078cec0568a6ba1b353248bccc","datavalue":{"value":{"time":"+2018-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P96","P43","P28"],"id":"Q6481230$B0452AAB-7E72-4FDD-B2AA-FF366F4BE460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1589","hash":"9bab5c34e386020c6b783efdccdf332b7b3e0a1c","datavalue":{"value":"proof-theory-development","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"8e42ff8cf8c61fb75905b37811fe6b9eea89f66f","datavalue":{"value":"The Development of Proof Theory","type":"string"},"datatype":"string"}],"P43":[{"snaktype":"value","property":"P43","hash":"aa9373d4008c7fcd4893eb16471e14e08e6de46e","datavalue":{"value":"von Plato, Jan","type":"string"},"datatype":"string"}],"P28":[{"snaktype":"value","property":"P28","hash":"6a5658e642f3500324f78b23f55b5ff809190c23","datavalue":{"value":{"time":"+2008-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P96","P43","P28"],"id":"Q6481230$25D5C28E-FEFF-434B-9C67-159C74ED924F","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"1e06a18517209c51dc9509887273834f35ee561c","datavalue":{"value":"2318724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$F98CEA91-76CE-475B-9690-657B77DBFEED","rank":"normal"}],"P912":[{"mainsnak":{"snaktype":"value","property":"P912","hash":"3ccb182e40fe42faf1a89e45c71ac4d69cdf7307","datavalue":{"value":{"entity-type":"item","numeric-id":6481410,"id":"Q6481410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6481230$23CAB668-6CCC-4A51-BCD1-C3B5CF6EA530","rank":"normal"}],"P294":[{"mainsnak":{"snaktype":"value","property":"P294","hash":"2f9846dcddc2032946d1a58b471a0e2163e1d96c","datavalue":{"value":"ProofTheory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$5FD1EEED-1789-4752-8A66-3003A5A1305A","rank":"normal","references":[{"hash":"00aecfbe761c025df2d03be8a01c0517e827f828","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"5826672b850b1dc5989ca83142af2df32bc3577a","datavalue":{"value":{"entity-type":"item","numeric-id":56566,"id":"Q56566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"657a02fa5bc1c652c10dada51e589d0dd0a8ce4b","datavalue":{"value":{"time":"+2020-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P69"]}]}],"P1195":[{"mainsnak":{"snaktype":"value","property":"P1195","hash":"8f90607fda0a44127bebf1305449fa66a8b4515b","datavalue":{"value":"proof theory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$EC0C7A58-8C13-4419-A408-D54509FEA8B0","rank":"normal"}],"P82":[{"mainsnak":{"snaktype":"value","property":"P82","hash":"f20cab33eff69af26ebb1cbc28d776e86cc767bc","datavalue":{"value":"122670310","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"bae19ee52e8864272dff390da0fdf65155843bec","datavalue":{"value":"Th\u00e9orie de la d\u00e9monstration","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481230$E0ADD8CF-8D79-4B91-B4D1-C4D46BCE255C","rank":"normal","references":[{"hash":"9dd4a850d58811bda20dccdd77d30b7f9e06d0ce","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"6336e5908fd94549601724b0016a1a445a9804a2","datavalue":{"value":{"entity-type":"item","numeric-id":56567,"id":"Q56567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P56":[{"snaktype":"value","property":"P56","hash":"daf4dd7428b56bbc97ef316a3d31bb187b56470d","datavalue":{"value":"https://thes.bncf.firenze.sbn.it/termine.php?id=4936","type":"string"},"datatype":"url"}],"P69":[{"snaktype":"value","property":"P69","hash":"7c8bf076d159566cccf4c892ea1a35172b74932d","datavalue":{"value":{"time":"+2021-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P56","P69"]}]}],"P85":[{"mainsnak":{"snaktype":"value","property":"P85","hash":"c4c0c5e2768158d1ba23e53f5ff09dac4b33cdea","datavalue":{"value":"sh85107437","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"52e7a63779bcd76cf4c7cfaa359910011d8ff753","datavalue":{"value":"Proof theory","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481230$E499FD72-C308-4B7A-8539-148139F22107","rank":"normal","references":[{"hash":"9dd4a850d58811bda20dccdd77d30b7f9e06d0ce","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"6336e5908fd94549601724b0016a1a445a9804a2","datavalue":{"value":{"entity-type":"item","numeric-id":56567,"id":"Q56567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P56":[{"snaktype":"value","property":"P56","hash":"daf4dd7428b56bbc97ef316a3d31bb187b56470d","datavalue":{"value":"https://thes.bncf.firenze.sbn.it/termine.php?id=4936","type":"string"},"datatype":"url"}],"P69":[{"snaktype":"value","property":"P69","hash":"7c8bf076d159566cccf4c892ea1a35172b74932d","datavalue":{"value":{"time":"+2021-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P56","P69"]}]}],"P303":[{"mainsnak":{"snaktype":"value","property":"P303","hash":"4022295577b06c475eea531227427949211e35e4","datavalue":{"value":"19839268","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"f86311931d6dd922822def42907098dda237431c","datavalue":{"value":"\u8bc1\u660e\u8bba","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481230$94056C22-8C19-4D35-A99C-5AEEE7211A11","rank":"normal"}],"P309":[{"mainsnak":{"snaktype":"value","property":"P309","hash":"b4be19e64656473faee9052f65790a8f2d164893","datavalue":{"value":"987007541259805171","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P1887":[{"snaktype":"value","property":"P1887","hash":"4fe2e648087d3d18f5bbd58645e065e8ccb7e50b","datavalue":{"value":{"text":"Proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},{"snaktype":"value","property":"P1887","hash":"a7c1459f75e3141f45b4f3b5972dad73b1f7bbad","datavalue":{"value":{"text":"\u05ea\u05d5\u05e8\u05ea \u05d4\u05d4\u05d5\u05db\u05d7\u05d4","language":"he"},"type":"monolingualtext"},"datatype":"monolingualtext"},{"snaktype":"value","property":"P1887","hash":"8fce975b98b149dc20550d027f24cca30e1ef5a5","datavalue":{"value":{"text":"\u0646\u0638\u0631\u064a\u0629 \u0627\u0644\u0628\u0631\u0647\u0627\u0646","language":"ar"},"type":"monolingualtext"},"datatype":"monolingualtext"}]},"qualifiers-order":["P1887"],"id":"Q6481230$8F694011-7FFB-4D50-AC88-CB5563148AFD","rank":"normal","references":[{"hash":"7ea42c51fce1acfb1d0ebc3a2636c133c77f5fcf","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"8f57eb71c5a615498763734d03b921b969fa66d8","datavalue":{"value":{"entity-type":"item","numeric-id":56570,"id":"Q56570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P98"]}]}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5d164a0b5cbbc340c455926a8fed00763df145d","datavalue":{"value":"C2318724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$3896FDFD-D421-4A21-978B-9FBAFB2C6E58","rank":"normal","references":[{"hash":"b61840b5e4c07320c0aa508d1e9d37d18264ae22","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"d98ff3d8cd81c87263e3f0008a1ae470fbcf55ae","datavalue":{"value":{"entity-type":"item","numeric-id":56612,"id":"Q56612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"a8b2a7e9de45fd3832b36f489407e826769f65b6","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}],"P56":[{"snaktype":"value","property":"P56","hash":"f7cf0fc8f94cea909ab2fa761ee0f84fb1ca5b1a","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}]},"snaks-order":["P98","P69","P56"]}]}],"P312":[{"mainsnak":{"snaktype":"value","property":"P312","hash":"6f985a75297d59636e39061cc8d1ebd7d2b05e4f","datavalue":{"value":"455","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P1887":[{"snaktype":"value","property":"P1887","hash":"1aab2a529e9af7db41a2a00aeaebfb71e2afd43a","datavalue":{"value":{"text":"proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},{"snaktype":"value","property":"P1887","hash":"cdee22b418c4271c0a119aa92bfb98c46ebabcf8","datavalue":{"value":{"text":"todistusteoria","language":"fi"},"type":"monolingualtext"},"datatype":"monolingualtext"},{"snaktype":"value","property":"P1887","hash":"ecbde285069bf4f3ac6a5198c025c7cffa6bf4fb","datavalue":{"value":{"text":"bevisteori","language":"sv"},"type":"monolingualtext"},"datatype":"monolingualtext"}]},"qualifiers-order":["P1887"],"id":"Q6481230$86532864-161C-4376-A6FE-585AC5629307","rank":"normal","references":[{"hash":"e40ec072b299958b3ca08bde3bde9e672424c170","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"0fd59f491ac1785acd7bd8a8bf17ce8f24dafabe","datavalue":{"value":{"entity-type":"item","numeric-id":56571,"id":"Q56571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"de150c7a6d56a66e099ced5d92d60c49ef45f20f","datavalue":{"value":{"time":"+2022-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P69"]}]}],"P88":[{"mainsnak":{"snaktype":"value","property":"P88","hash":"fc3efc5fd9614922785b28cfba29baa87f72cb92","datavalue":{"value":"01190375","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"b952a8c04e6067b0fd157d2332d814d0883399ad","datavalue":{"value":"\u8a3c\u660e (\u6570\u5b66)","type":"string"},"datatype":"string"}],"P538":[{"snaktype":"value","property":"P538","hash":"6420bcae4001ced911fd462e5fe7007f6e122414","datavalue":{"value":"\u8ad6\u8a3c (\u6570\u5b66)","type":"string"},"datatype":"string"},{"snaktype":"value","property":"P538","hash":"4137357c4b0cbd68daa29bc20533bcd7c43aed8e","datavalue":{"value":"Proof theory","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96","P538"],"id":"Q6481230$3BD25350-1930-4A13-A809-4E0C9886C2B4","rank":"normal"}],"P324":[{"mainsnak":{"snaktype":"value","property":"P324","hash":"29081a5d472ac77b412b1c2a439d7a8e351301e7","datavalue":{"value":"000137654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$3A35F8B5-CC8E-44BF-803B-43D495847DEC","rank":"normal"}],"P315":[{"mainsnak":{"snaktype":"value","property":"P315","hash":"6c67beb6a0eb26646ee2694451b39ac84a0c09db","datavalue":{"value":"ph126551","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"d46e8b3af871e7590f80d7dd02480ad0f54a1c93","datavalue":{"value":"teorie d\u016fkazu","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481230$2724F554-F325-4A2C-969F-453DEE4E46BD","rank":"normal"}],"P357":[{"mainsnak":{"snaktype":"value","property":"P357","hash":"bf4ac2056f46064faf071371ac67f246599a8302","datavalue":{"value":"https://mathoverflow.net/tags/proof-theory","type":"string"},"datatype":"url"},"type":"statement","id":"Q6481230$8ECB1815-7926-47BF-BD3D-2D1D2BDE46E1","rank":"normal"}],"P1575":[{"mainsnak":{"snaktype":"value","property":"P1575","hash":"e1d02951684d6eb0f4ededf6b56454c92f1eaf86","datavalue":{"value":"Definition:Proof_Theory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$4DA181AC-2568-4ACA-8C47-16F4027AAA5A","rank":"normal"}],"P545":[{"mainsnak":{"snaktype":"value","property":"P545","hash":"44be1d236eb6625b02d691bed2806e7fa82caf23","datavalue":{"value":"/g/12dpwymzg","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$E8477E47-D924-4D6B-8763-2DE934FB4922","rank":"normal"}],"P1710":[{"mainsnak":{"snaktype":"value","property":"P1710","hash":"8874410941e9827cad7238078e0577b83c60fdca","datavalue":{"value":"concept/4230d2ca-e04a-4d90-88b4-aa1bccf58ad0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$C507CB04-A228-45A0-8A86-A5575160F001","rank":"normal"}],"P83":[{"mainsnak":{"snaktype":"value","property":"P83","hash":"bb25252d7cb806ff64beee4791f36d5b5c12ffd6","datavalue":{"value":"4145177-6","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"11abb8564f2d639a7fa79dd9291c557f0939dc25","datavalue":{"value":"Beweistheorie","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481230$44F50427-8553-4ACF-ADE2-77448B4E5320","rank":"normal"}],"P306":[{"mainsnak":{"snaktype":"value","property":"P306","hash":"d1a52286756553f519cc77da09f8459069b03a80","datavalue":{"value":"511.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$D9EFA275-32DC-4E49-BA08-3993BC33F858","rank":"normal","references":[{"hash":"51bff94cf0f598c39ca671de8414b062e75a9936","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"bd58d304f1e89c58f6cdd3796565129fea36e4bc","datavalue":{"value":{"entity-type":"item","numeric-id":56970,"id":"Q56970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P83":[{"snaktype":"value","property":"P83","hash":"bb25252d7cb806ff64beee4791f36d5b5c12ffd6","datavalue":{"value":"4145177-6","type":"string"},"datatype":"external-id"}],"P69":[{"snaktype":"value","property":"P69","hash":"8afbbdcae0ea5ceb9e0a2143452b6a938f5876d2","datavalue":{"value":{"time":"+2025-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P83","P69"]}]}],"P1206":[{"mainsnak":{"snaktype":"value","property":"P1206","hash":"30d9015a39c7a8a0740857714335349dd018e010","datavalue":{"value":"QA9.54","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"18f35d17d1e51c421303ed16cd199d58b77a89cf","datavalue":{"value":"Science--Mathematics--Philosophy--Mathematical logic--Proof systems","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6481230$2FFD3ACB-FFF9-4EAC-9764-5CDA6E396298","rank":"normal"}],"P1121":[{"mainsnak":{"snaktype":"value","property":"P1121","hash":"91a62b3c44682675bf0dce61126f2b493dc54f7d","datavalue":{"value":"0334109-teorie-dukazu","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$B47F2E95-600F-4550-AA9F-7BBD8155FC1B","rank":"normal"}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"2efeac5c46cdd692e1e009392bf39582ccad99aa","datavalue":{"value":"proof theory","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6481230$766673B5-87A0-4374-B624-6D5691DBD9D8","rank":"normal"}]},"sitelinks":{}}}}