{"entities":{"Q343308":{"pageid":345075,"ns":120,"title":"Item:Q343308","lastrevid":61110249,"modified":"2026-04-10T21:14:47Z","type":"item","id":"Q343308","labels":{"en":{"language":"en","value":"Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6656799"}},"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":"Q343308$4443962A-8243-42D7-9E4C-E9F65AB9412C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73ff59ca3f0652de94d33784d119c504234d7d9b","datavalue":{"value":{"text":"Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q343308$33A3181C-3899-41A5-A3E9-FDAC8EBB47FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2f11f73949c4f9aaec4035ca03d110291b2823c","datavalue":{"value":"1349.00097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$B942E7DB-73F5-40A8-87B1-58AC5D8EAC1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeebda90b1f51e9da9bb21609c941921923f2d36","datavalue":{"value":"10.4171/OWR/2011/52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$C7F53BBA-6E72-482D-B41A-8C580DCA9801","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a9abe280024f1bf6d5dacc0d016ddbaccd65fb63","datavalue":{"value":{"entity-type":"item","numeric-id":269669,"id":"Q269669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q343308$5B286399-93C4-465B-A335-1861D17CDFDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2eb93b3eb76106a013e21a8672b95f28db8ce45","datavalue":{"value":{"time":"+2016-11-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":"Q343308$E7E462BE-EC94-4A77-BF72-4C1216A33BA3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08ee35197570daf5a49a5645bcc9e1b37c077029","datavalue":{"value":"Summary: The workshop ``Mathematical Logic: Proof Theory, Constructive Mathematics'' was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q343308$3517CDDF-ED9F-444C-8066-812CB138FB88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9273ee9d6a850a5b4a9f2fe224e0804dc9e99b1f","datavalue":{"value":"00B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$2E43C2BA-6261-42A1-86A2-1FCE6DC8BE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$89A10534-2864-4B06-BE95-413C39A25BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$C6FF7049-C2A5-4C3C-B032-C50740D2189E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$3FECAAB2-1595-41CB-835F-0B7E08AE65FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$5340A6B1-9047-4E0F-97E5-F6ED576F6FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$8AF43816-72FD-4BC1-949C-A9508CAF1DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$94BD7CAC-2C00-4364-8C7D-F991CABE0660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$8372C6CC-3731-4670-90A4-778B1C0A6605","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9df5235e5ba7925b0114c27cded98c2e935c4ed","datavalue":{"value":"6656799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q343308$D6B5F9BC-6313-4DED-9317-E644CCB2233F","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":"Q343308$D618151B-1AD6-4E5F-ADC2-B70FE81C2DF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q343308$E3D913B0-036C-45AB-87F6-730872C7F277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784d500dac6a0c794215d9cef69a190e7f0e7226","datavalue":{"value":{"entity-type":"item","numeric-id":3580683,"id":"Q3580683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q343308$538EC5F0-0FE4-4036-87CB-ADB96796749A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_logic:_proof_theory,_constructive_mathematics._Abstracts_fro_the_workshop_held_November_6--12,_2011."}}}}}