{"entities":{"Q5561955":{"pageid":7591515,"ns":120,"title":"Item:Q5561955","lastrevid":40283309,"modified":"2025-02-21T21:14:27Z","type":"item","id":"Q5561955","labels":{"en":{"language":"en","value":"Deduction-preserving \u201crecursive isomorphisms\u201d between theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3277485"}},"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":"Q5561955$D4E74C0E-3563-4C30-A174-7878DD6008E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1dc4bf4cb632d7907a213bf08c38b6033857d7a","datavalue":{"value":{"text":"Deduction-preserving \u201crecursive isomorphisms\u201d between theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5561955$72FCFF7E-91B1-492C-976D-E21557815306","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49585a4d148d9687ea9eb8d9b1e6e563d88f9cc9","datavalue":{"value":"0174.02004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5561955$1140192C-D062-44BD-9C89-5E5F7E4F35DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62551c5f267f1f781a6e9c13ce008de2d47923ee","datavalue":{"value":"10.1090/S0002-9904-1967-11689-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5561955$B08EF4E5-090B-4B48-86AF-3E709675CFF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"973754d9eb70515ced44daf5fece13d3527ee1a8","datavalue":{"value":{"entity-type":"item","numeric-id":1054722,"id":"Q1054722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561955$C06A579B-9E51-49EC-9484-AB1062CFD470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cb1aa2c6d6015d8a6ed32a0385ce25c4bd16c03","datavalue":{"value":{"entity-type":"item","numeric-id":484183,"id":"Q484183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561955$FC2902D7-452B-4FA9-AEF9-934D76C6F288","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561955$3A5F187A-D9F5-4369-8A2D-FC75C7E573AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q5561955$403983D2-7854-427C-808F-95997BC06ABA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea5e83570c5532763b24111be03a0b4eda0943cb","datavalue":{"value":"https://eudml.org/doc/213983","type":"string"},"datatype":"url"},"type":"statement","id":"Q5561955$88EF6D9D-5F4A-4E42-B7A9-00E7D53142F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"954eff0b7e5795d992dce135c34a8c7f99df7449","datavalue":{"value":"3277485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5561955$092CEF8D-7E86-4058-A4F8-687708C0D145","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5561955$5B6E5B85-9362-499D-98FC-D57E3EB02495","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":"Q5561955$757451FC-E941-4899-846A-FE5E77177A39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561955$24B83C00-9DB2-4087-BEA7-9D7B6E512805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766d123780f1e3d44c279eee3073682f29150e27","datavalue":{"value":{"entity-type":"item","numeric-id":3260570,"id":"Q3260570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561955$AEBBBCF1-61FF-4989-9DAC-D4AAF5653728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c451ae4bc57a2401ca0a06eefdc1ba5da11477","datavalue":{"value":{"entity-type":"item","numeric-id":5848891,"id":"Q5848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561955$3DC1E96D-67F8-4588-83A5-25E3EE6891E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e88f474ebdc782951ea360b323389db56dd3ba7","datavalue":{"value":{"entity-type":"item","numeric-id":5608005,"id":"Q5608005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561955$2BF5E2D4-23C5-4978-B867-EB9DFFE0FC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561955$F43015FC-06E3-44BD-B57E-C4E847C8EEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561955$D25C2630-9588-4882-94E5-CD62ED8E60E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e8cc68e2962879c52ba44532b4a079df90d93fe","datavalue":{"value":"W1973799827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5561955$82B65C69-B00A-4599-A65F-B016A215F1D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5561955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5561955"}}}}}