{"entities":{"Q5569099":{"pageid":7598659,"ns":120,"title":"Item:Q5569099","lastrevid":34523484,"modified":"2024-06-11T22:19:23Z","type":"item","id":"Q5569099","labels":{"en":{"language":"en","value":"A survey of proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3282586"}},"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":"Q5569099$9D563AE8-95A5-4635-BC42-83369831F493","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acffda630313a8860eb2756a3bf836002da49f5e","datavalue":{"value":{"text":"A survey of proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5569099$156CEF01-C971-4406-9C7C-9ED9A2696E83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f3fb572b867b342950b3b7cf415390485a69097","datavalue":{"value":"0177.01002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5569099$032F1E93-5461-4E13-B317-8BAE65953590","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"677dcf83648ae24b24657ba28d392163d687aae8","datavalue":{"value":"10.2307/2270324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5569099$F35E573C-469E-46FA-9DC0-FF457C4B39FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$41D7E7B3-4831-42A2-85FF-803910D1A7EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-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":"Q5569099$F28AEF2A-7B96-4C0F-8434-8745B19CDA7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c42948683fdcfa650162b0bc453ff7d7c76406fd","datavalue":{"value":"3282586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5569099$B8FADE41-379D-4154-A3B7-966BEB83F2CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c246fcf4677bd1d7953725a68fc2c0ec1f5c0f5","datavalue":{"value":"algebraic logic, model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5569099$16518042-C009-4EE8-805F-F396D1B2B615","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab34ba425bc9591434354330de0028b3a960e2ed","datavalue":{"value":{"entity-type":"item","numeric-id":1238802,"id":"Q1238802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$44F0B9B4-172A-43B5-BBAF-56986848838E","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":"Q5569099$433F4659-F85D-4CC0-A118-68E2DB08FC2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b486821fd98c31578a2d4c3283502d27fc770d9b","datavalue":{"value":"https://doi.org/10.2307/2270324","type":"string"},"datatype":"url"},"type":"statement","id":"Q5569099$B621506A-1733-4A48-9E00-45748EDAE4DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bda0e233e254e150e1287a05cbc1b9a58ea3d866","datavalue":{"value":"W1978270323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5569099$F4CE5772-6453-422D-87B1-0EC3FDEEA15B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$A64007AB-7788-4312-B2AE-1A4180526CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6edba6cc7078f293d5517e96505fb988ccc3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2626205,"id":"Q2626205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$0ED3605F-315E-45B7-8FB6-A4EF82BD1CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9fb21636c3986e8faf726fd37fc52a96cdeedf4","datavalue":{"value":{"entity-type":"item","numeric-id":5599823,"id":"Q5599823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$68B72432-9F41-4B42-9396-1ECA2F384A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffed4a7db9147940301de84b906b986de91e3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3226736,"id":"Q3226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$DD60CAC4-81FC-4DB4-AFB5-C0E06DE3E5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$E3DFFD9F-5907-4AC3-9FA7-4847C88999D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787fdd94f22fc48e3892dd0d36a21af44f96488a","datavalue":{"value":{"entity-type":"item","numeric-id":5336303,"id":"Q5336303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$054C4B06-D306-4BCE-913D-3A4750420CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c0cc833f6d4df310fb1f849ee61f8305d9f5ac","datavalue":{"value":{"entity-type":"item","numeric-id":5561955,"id":"Q5561955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$C6790B67-E4D4-4CE7-A113-674EE555CCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f765274f8123ceeea374a7be99846530f348cebb","datavalue":{"value":{"entity-type":"item","numeric-id":5519152,"id":"Q5519152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$8427D099-9A92-45FF-BD55-C1D5164D9D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$9FEB8E3B-EC72-4BEF-8DCF-C31D8783CB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89aa52df98349a00601066feb1d247edb233c46","datavalue":{"value":{"entity-type":"item","numeric-id":5734415,"id":"Q5734415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$310BD17E-B397-481F-9B61-83EEF9728F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$77768694-A886-41B9-BB3B-4EF90859125E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48aafe511c3d70836530bc562f0f9a106bd757c","datavalue":{"value":{"entity-type":"item","numeric-id":5642556,"id":"Q5642556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$B17B9372-EA34-4402-81C4-CA4745D5591E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639ac7043f567c96fa003b695412c2b13a13c886","datavalue":{"value":{"entity-type":"item","numeric-id":2645585,"id":"Q2645585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$0AE14114-92CF-4D44-9ABB-DD3A7B937FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$012D00A8-FDC5-4A13-9CDC-2AB00FBAD1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424e891ec3320cd9100f08f39833a24c09ba9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$FEE1219D-1521-41EB-B73D-A8C837481975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6417ce0278550a9f24ecbb6fdfb3e528d0f47f91","datavalue":{"value":{"entity-type":"item","numeric-id":2527939,"id":"Q2527939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5569099$4C4F126D-2D7F-46ED-A004-D964F781D6EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5569099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5569099"}}}}}