{"entities":{"Q798624":{"pageid":800472,"ns":120,"title":"Item:Q798624","lastrevid":42702216,"modified":"2025-07-08T15:35:05Z","type":"item","id":"Q798624","labels":{"en":{"language":"en","value":"Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871244"}},"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":"Q798624$A436EA88-F515-4956-9603-A76E8D50E1B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e304b908dd06fa525cdffac8e8afb99d7d7889a8","datavalue":{"value":{"text":"Computation and proof theory. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798624$050EB4AA-D383-4646-952A-5E6C4324A642","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"247d972991d7f98af8652fea489053e3b1c33b51","datavalue":{"value":"0547.00036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798624$302F87DD-38A1-4E33-9E0E-4391E09D6CC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"583d5634d5ee6575aaa37bb42a0c5602371241ea","datavalue":{"value":{"entity-type":"item","numeric-id":163387,"id":"Q163387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798624$18D3E68C-F7A9-477D-928A-A8F5FAF5FEBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q798624$CDAF1C3A-BAA9-4450-A077-1C1CEB211F87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"71763eab2d2aca447d46e1b0ccd9fe1bdd9f25e6","datavalue":{"value":"The articles of this volume will be reviewed individually under the abbreviation ''Computation and proof theoy, Proc. Logic. Colloq., Aachen 1983, Part II, Lect. Notes Math. 1104''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798624$7A78A5A8-A6E0-4108-A53E-19AAE186D04A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb92a23a58a049f3c204d4eddc79bea9d2a42861","datavalue":{"value":"00Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798624$98DEE916-84DF-4A86-A59A-AFA4E7139F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798624$784A9F85-D7F4-4715-9241-D45BB19524F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40c41eb13d6ae055ce63b8353a0678eee82b4a79","datavalue":{"value":"3871244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798624$A6346F71-EE62-4709-A83C-A40DED5BAB5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7733f4707cd6367a6ff84835298a3aa55a9016e","datavalue":{"value":"Computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q798624$59EF2610-CDAC-4A3A-9ADB-A8CCF207E069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0cbbc442fcc127d9fa405ab5ed2ad80336e2fc","datavalue":{"value":"Proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q798624$FF2148BD-0865-4B16-BDB6-CCF73E8A75A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q798624$CCAF0DDA-F004-49C2-8422-8BE6D94DC86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634db17038e0c87795d20bb9a946e52b4041d984","datavalue":{"value":"Logic Colloquium","type":"string"},"datatype":"string"},"type":"statement","id":"Q798624$2561D2D4-9B56-476E-B887-EBB585AB8901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85413872e180f82c5b8a578e96e74f0315026938","datavalue":{"value":"Colloquium","type":"string"},"datatype":"string"},"type":"statement","id":"Q798624$184EEA97-875F-447E-A80B-CAC4743425EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9e15ccca70830102d5024b6ad045cf089a35f87","datavalue":{"value":"Aachen/Germany","type":"string"},"datatype":"string"},"type":"statement","id":"Q798624$8AD683E2-E79C-451B-8170-0004E024FAAC","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":"Q798624$CA84BB20-718B-4A0B-BF77-3EB4DEA9A269","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798624"}}}}}