{"entities":{"Q6836070":{"pageid":16892436,"ns":120,"title":"Item:Q6836070","lastrevid":74400633,"modified":"2026-04-14T20:38:52Z","type":"item","id":"Q6836070","labels":{"en":{"language":"en","value":"The proof-theoretic square"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8179115"}},"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":"Q6836070$D6A886C8-2433-47DC-9CB2-6458D50A967F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36d3fc7c7022f6e1d8fdaefdf1b036aac10eb124","datavalue":{"value":{"text":"The proof-theoretic square","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6836070$1B306F6B-F98A-4BD9-B554-7ABDF3969BAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3a6e346e6696625b049c32b91fffa92e55b01c6","datavalue":{"value":"10.1007/S11229-023-04203-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836070$F8F627CF-0450-48BC-9B9A-DF06305BAF40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a977557eedc095fa590f47f35e292a85bca19bf3","datavalue":{"value":{"entity-type":"item","numeric-id":2080588,"id":"Q2080588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$B52A9D9F-5BDD-45CE-BEF9-ABFF3F58FD11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$9423E78D-3087-4899-9040-F4C6E244FF7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92c4bb9c5b701d90a0e553ee058a3cbb14feafcb","datavalue":{"value":{"time":"+2026-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6836070$0EDE9AC3-C0D2-46C5-BD7B-8FD4ADFFAC50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836070$722CE49A-CBE6-4D86-BABA-C5E73393CD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836070$B368CE1B-EEDE-473D-AA54-0890535AC803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d578cfe5b211f834bf8504a794a8fc3fc49f07d","datavalue":{"value":"8179115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6836070$EEBF5B54-FA85-435A-ADF5-71E73475F56C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7348c001d4c51aaecfb8cf5b43d6b9fb809ed9c7","datavalue":{"value":"Prawitz","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836070$3E9BD19C-7087-4847-99ED-78C1FD75A630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836070$A19B4AFC-9952-48A4-9E28-BA3671D81423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03afd0a1cf5987c8853a2816ee4339e978c8a9bc","datavalue":{"value":"justification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836070$F6660772-E82B-4ADD-B968-E8BAE6BA71E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836070$6632DAFC-A2A0-4ED7-A373-5571C6B1003E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6836070$030CCCCD-4785-497F-B928-32B598D679D7","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":"Q6836070$42C7FD59-F298-4A9A-9ECD-F7043A6C40B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The proof-theoretic square","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_proof-theoretic_square"}}}}}