{"entities":{"Q4189272":{"pageid":6218873,"ns":120,"title":"Item:Q4189272","lastrevid":34624433,"modified":"2024-06-12T23:56:16Z","type":"item","id":"Q4189272","labels":{"en":{"language":"en","value":"Choice sequences and reduction processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3627168"}},"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":"Q4189272$E1083131-B484-403E-BF65-1EB856C782EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5efd4155e13bb630216a159dbe9103402d644f6","datavalue":{"value":{"text":"Choice sequences and reduction processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4189272$73E8BA1A-890E-4486-8B7C-B4400DB875BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d474b090066f918181415c10d085b40c5ee0f76","datavalue":{"value":"0404.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4189272$C115DC41-B16A-4E99-9CA2-717299B9286B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b41a266d4679b3ec0c95f023e93bddf27da85d71","datavalue":{"value":"10.1007/BF02011866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4189272$E0E2ACDD-724F-4A4F-808B-36566995E730","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6915c255eb010d129380e77909b291198a170ecc","datavalue":{"value":{"entity-type":"item","numeric-id":4189271,"id":"Q4189271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4189272$2B503F77-5FC9-449D-A1B9-A9F22F646E50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4189272$6313D4EF-7036-44A6-A0EE-437FC9888AC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4189272$A7D6A211-5AD4-4F7A-A4D2-8A32DCF37624","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c357a92a5740ac2b912dfd2bf38510f5cdbbdfb","datavalue":{"value":"https://eudml.org/doc/137943","type":"string"},"datatype":"url"},"type":"statement","id":"Q4189272$6C6F64A6-8AA3-4814-8B15-931715ECB9D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4189272$8232EAB6-DAC9-4B3C-A761-5ECE947471B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4189272$442147D1-723C-4ECB-8BF4-5052FBBC1BC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddc244f1bcc1f9f4233e8cc547f6ab7381f795b9","datavalue":{"value":"3627168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4189272$5BC011DA-0A83-483A-B8A6-987F073431EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26cbb68c521f2ce3012feb91be59f714ae3c568d","datavalue":{"value":"Second-Order Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4189272$53363982-F9C7-4C09-BB41-BACB53463B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0939bef786d5ea178afd4a9f20c2b129a09284bd","datavalue":{"value":"Proof Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4189272$AD572DBA-D5C7-4969-906B-BAFD97B197F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20b23d6f744fb79f9b5828cd5234f52f3800a3c6","datavalue":{"value":"Systems of Natural Deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4189272$CBF5586B-E759-474F-88C0-70AA4ABE74C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"012d0edbc65cad1bfd391bcbbb85b562390205a6","datavalue":{"value":"Intuitionistic Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4189272$60766D18-A345-4CC4-AD92-8130B257A345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"745b5076848770a2b809b4647cc6293659bec0ed","datavalue":{"value":"Strong Normalization Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4189272$F64D209C-51B4-4287-BB9A-900B259E2255","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":"Q4189272$A463249F-28A3-4314-9004-6F2EA52E09BD","rank":"normal"}],"P223":[{"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":"Q4189272$1201718F-B869-48EB-A749-7D9508EEF7B1","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":"Q4189272$7841189D-2D0B-436D-B0B6-D15DF41DF7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f9ee8d481f53e1bfdaf761db218eb4734cddf6","datavalue":{"value":{"entity-type":"item","numeric-id":2557690,"id":"Q2557690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4189272$84168D17-AB0B-40E4-8F84-9BA4C2894D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48f818d77a77b1dfe9937eb752f4e3653b05364","datavalue":{"value":{"entity-type":"item","numeric-id":5654021,"id":"Q5654021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4189272$0B3E26BF-8499-493C-A165-0714D43AD2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4189272$2E194F16-1A35-4C20-9BA9-304607163F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4189272$B6316AF6-8FAB-422F-BDFB-38E5DFEB5370","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4189272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4189272"}}}}}