{"entities":{"Q5561954":{"pageid":7591514,"ns":120,"title":"Item:Q5561954","lastrevid":101461910,"modified":"2026-06-06T01:21:36Z","type":"item","id":"Q5561954","labels":{"en":{"language":"en","value":"Deduction-preserving \"Recursive Isomorphisms\" between theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3277484"}},"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":"Q5561954$02F82F33-A989-4F0A-A249-9B27D10B8BD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a937c622c1c2373b0ab01d0390b00e5cb0c47978","datavalue":{"value":{"text":"Deduction-preserving \"Recursive Isomorphisms\" between theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5561954$F7E63644-9865-47FB-8475-6850657E6B42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"baa028e6ad2d34c58eb458dda6b819260d965644","datavalue":{"value":"0174.02003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5561954$657AF0E7-C4ED-4C34-BDB7-5D8450643CC9","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":"Q5561954$F52B060A-AE4D-4EB0-98E0-232AE16101EA","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":"Q5561954$3216CD23-65B7-4574-86E9-1415F0E6D072","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561954$58AB60B0-7841-490C-B90B-1727375B67C5","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":"Q5561954$6DE0E225-7E2B-4DF9-A45C-903F90505F6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea5e83570c5532763b24111be03a0b4eda0943cb","datavalue":{"value":"https://eudml.org/doc/213983","type":"string"},"datatype":"url"},"type":"statement","id":"Q5561954$4DB4C543-6796-4530-B54F-D628EF295062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6bf6f9608adf10146a205ee6e235b74c4219ec6","datavalue":{"value":"3277484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5561954$21176A12-5248-4970-B7DE-5BCDBCE60DFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5561954$F8BA13E5-2C37-43A9-87E2-FA2D8C7A99B1","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":"Q5561954$2392C554-2F3D-4A46-91D3-02CE54ED6E87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91e14390affb1b71b4279aac91c3c1a5267624ee","datavalue":{"value":"W1588094391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5561954$694FE747-0C01-440B-9A88-1156585B5828","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c576e89b01083ca907185af864a9c9aa540b834a","datavalue":{"value":"10.4064/FM-61-2-141-163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5561954$1972DE7F-960E-4A78-91C6-79856D57DA9E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5561954$36853BF4-D60C-4684-BB3F-8355D51D2144","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deduction-preserving \"Recursive Isomorphisms\" between theories","badges":[]}}}}}