{"entities":{"Q1163544":{"pageid":1174293,"ns":120,"title":"Item:Q1163544","lastrevid":66415683,"modified":"2026-04-12T09:55:46Z","type":"item","id":"Q1163544","labels":{"en":{"language":"en","value":"Binumerability in a sequence of theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3760158"}},"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":"Q1163544$DD59214B-D5EC-4A18-9693-2ADDEE37A312","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caa1230eb02e1d53d2df2111b96e698fe89cf1a9","datavalue":{"value":{"text":"Binumerability in a sequence of theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1163544$B96AA05C-CD4E-48D7-8651-46D13BCE78DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d87d9af26d25dce08fbeb0cffdcb02a0356df05","datavalue":{"value":"0484.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163544$97D52D6A-BB35-4FD4-A88E-4E85BAA7B976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72965f6c67a117f5726e1f872e608077b885bec2","datavalue":{"value":{"entity-type":"item","numeric-id":810493,"id":"Q810493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163544$8736B37F-EC6B-43BC-8485-5B2556BB4FC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163544$E5FE0CED-B324-45B7-AB40-C4C4D3399017","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1163544$8ED00C25-818B-4119-9095-74FC3581B9FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0291a7e5f82124dad5fc66f1782c58a9c88d241","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1981__65__9_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1163544$ACA6EC27-99FE-4527-A332-A8C1D30C53AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"83dd19d5c9707d33bd8732bd9e188797ada3df71","datavalue":{"value":"https://eudml.org/doc/107832","type":"string"},"datatype":"url"},"type":"statement","id":"Q1163544$6C45C404-38F1-49C7-A322-48329827494B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163544$6B24F89C-3FD7-4634-9BB1-64223C7BB241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163544$FC34F3EE-8847-449D-A459-044409504082","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7ce8a90cf43856653ee2ef02d659ab3d9310f3e","datavalue":{"value":"3760158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1163544$20FE059C-FE6B-42F0-80A4-4D8F32E77B8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675da194db1f50f97d0560c08fcd54083be78b70","datavalue":{"value":"extensions of Robinson's arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163544$56A1C465-EEB3-4534-8853-92FC1AC2425E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78c0eae695171a9c831662d88cdad89a8e56ac6","datavalue":{"value":"sequence of theories for arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1163544$72490397-523F-49A3-81C6-AAB5E253C92B","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":"Q1163544$E8F110B5-C573-4098-BB06-5FBFCE20F859","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":"Q1163544$A00AA624-EB72-45E9-996C-928D152B281A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6717b0c43cb924be97bd9587263d86b3e7f3648","datavalue":{"value":{"entity-type":"item","numeric-id":1259592,"id":"Q1259592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1163544$BD34B1A3-3C0E-4550-9B45-0EA8C7ADD7C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binumerability in a sequence of theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Binumerability_in_a_sequence_of_theories"}}}}}