{"entities":{"Q6836070":{"pageid":16892436,"ns":120,"title":"Item:Q6836070","lastrevid":84291473,"modified":"2026-05-14T17:42:32Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28548717abc3317f769472c9bd125361551305a","datavalue":{"value":{"entity-type":"item","numeric-id":2288278,"id":"Q2288278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$AE7DFD86-931B-4DC1-96D2-C3BAAE82FADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0357ad4b073a41c834ca816af85a3f84043fccec","datavalue":{"value":{"entity-type":"item","numeric-id":5213609,"id":"Q5213609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$E7EE0F22-C413-471B-9BE4-EFF9869F72DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7c82b93dcbfa49beab905d212878d012544775","datavalue":{"value":{"entity-type":"item","numeric-id":4856189,"id":"Q4856189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$0844E7B5-D6A5-48AC-921A-8B9C0BC714B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d668b7102acd422c122f6b6511ed9714dec97eb","datavalue":{"value":{"entity-type":"item","numeric-id":4388952,"id":"Q4388952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$A1DE0D17-C257-49EE-9603-7B92833CFBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de44f59af2518b82d5b86c0c90e21beeb489a834","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$57D88212-0996-4F1D-A9AC-E020743E8526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec46b22e53f4331f3013bea7cba2db4c72385b0","datavalue":{"value":{"entity-type":"item","numeric-id":2619865,"id":"Q2619865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$96C37EF7-EADB-49FC-8072-6C72238C5F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc633e6b956e0c963e81e58e9956edb7896ac176","datavalue":{"value":{"entity-type":"item","numeric-id":6899256,"id":"Q6899256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$A8D8FCFA-B84E-4427-A1D9-AB06B79141A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422b23e37d5b01b7246de2b30ee7616c2451b331","datavalue":{"value":{"entity-type":"item","numeric-id":5864208,"id":"Q5864208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$A7713D08-137D-4884-B8AA-65197E707E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b7b74c4c3a97d27a6a25a7f9662f779b8b7fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2516584,"id":"Q2516584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$D8066DC1-0194-443C-8A32-FF9219C3A28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4e36cdfcffb6756443d0154b39ea19a9439be7","datavalue":{"value":{"entity-type":"item","numeric-id":2631650,"id":"Q2631650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$6BB3D5BF-5972-4EEF-98C8-99B0AC38C51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$FC8527FE-E96B-4EC4-892A-2B75F3EF5622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$D6E50C61-B9F1-4B54-83B7-DC98F3A3D1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2671f822e3eeebd78d802daa72e812c4aaec7ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5213606,"id":"Q5213606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$BDF17355-734C-4ED1-A253-8FFAE3EE4C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eb01be856bbca6fe8a76df11d296752ae0a70af","datavalue":{"value":{"entity-type":"item","numeric-id":5187275,"id":"Q5187275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$5EB2A9FE-2588-4C3F-BA86-6A12718A0ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$9C15750C-742E-41E6-8BED-F5879DDBAF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8822dc62f02ea9c36897bbc35c138ec9ca4c7b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2500820,"id":"Q2500820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$90306215-A670-4D71-B895-206753C6F356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49f121476c3beb5b9d0e88b7c37b584c9fc8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":383070,"id":"Q383070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$8117DD4D-B4B8-4B6D-9372-3957E4FB5F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e9e998159715183fea9c2d3ef9cf2a541c2040","datavalue":{"value":{"entity-type":"item","numeric-id":5864209,"id":"Q5864209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$ADD5C085-3987-4FE5-95A0-913EDB2725A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f127b3855970e580849c7206b234093a5d1387","datavalue":{"value":{"entity-type":"item","numeric-id":2240552,"id":"Q2240552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$8A57FB98-8B82-41EC-80EE-DE18BD247C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a406e086e1f9a6620270b8ea6107ee488883c73","datavalue":{"value":{"entity-type":"item","numeric-id":5739972,"id":"Q5739972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$E32CD1A0-CD54-42F1-BBB1-11C947A50713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6853a9537341e883738cc0ed5cbba1c3e2b1bf","datavalue":{"value":{"entity-type":"item","numeric-id":2288280,"id":"Q2288280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$46F2FDD8-102F-4F81-ADAA-6719DD746100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6836070$0061862D-E18C-4E6C-AA38-75310DA6FFEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The proof-theoretic square","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_proof-theoretic_square"}}}}}