{"entities":{"Q1147117":{"pageid":1157866,"ns":120,"title":"Item:Q1147117","lastrevid":66951594,"modified":"2026-04-12T13:56:36Z","type":"item","id":"Q1147117","labels":{"en":{"language":"en","value":"Decidability of the universal theory of natural numbers with addition and divisibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3702598"}},"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":"Q1147117$6B5E0993-836D-4172-B5AD-F01C7138BEF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff450d869d3fabaaf451f60342ec5502c06f1a3a","datavalue":{"value":{"text":"Decidability of the universal theory of natural numbers with addition and divisibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1147117$5436E128-67DA-4585-8220-441453CEFB22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56975fb475fb4dff2095da707300003ccee5dd83","datavalue":{"value":"0449.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147117$2FCAE39F-C255-48E3-B7A2-666716A7A003","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3354eeeed4c9f872dc0ded8d855b4411e1dc1c5","datavalue":{"value":"10.1007/BF01693974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147117$5928AA3E-AAF6-42A2-B679-5E80738EE0C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147117$D535A6A0-4F7C-49D2-9781-C65F8E6AAFD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1147117$B3611948-A43F-44F2-9166-EA33EC886F52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147117$9A5CDE89-EF57-4388-94EF-E190DFC088A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147117$9A7DC216-AB78-4A79-94A3-84E40E032DDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"895b8d2236a729fd1c254eaf0069f79b0df6191f","datavalue":{"value":"3702598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147117$6E43DC66-2D14-492A-84AF-DA5A6F9AADD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8b6244ebe794629ca2add1e296753a430acd80","datavalue":{"value":"universal theory of natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147117$8FF853AD-7663-419F-9E75-BC45C174542C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6fee9b8f80a167daaedb899a49bc71f16319d","datavalue":{"value":"addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147117$836F850E-31C8-43E0-A119-EAE93288791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b194623b94c68e817528a2366db86f33f73962","datavalue":{"value":"divisibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147117$6D216CD7-79F4-499B-94D5-ACAB8D8B60D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2b64f0961f0651858ae8900a541d0d880eb189","datavalue":{"value":{"entity-type":"item","numeric-id":1885029,"id":"Q1885029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147117$8F7454C0-2F20-4CE6-A40A-5EDECBE981AD","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":"Q1147117$3E32A22A-4516-4A25-8A37-6CAFF63D61AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147117$BBA37CF0-44D3-40B1-805D-D9753835C6F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of the universal theory of natural numbers with addition and divisibility","badges":[]}}}}}