{"entities":{"Q4781602":{"pageid":6811182,"ns":120,"title":"Item:Q4781602","lastrevid":74768013,"modified":"2026-04-15T00:13:56Z","type":"item","id":"Q4781602","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1827828"}},"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":"Q4781602$E45843FD-6267-43C7-AC2D-AFE138357E65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5edf50363033ca0be67aac04e5d60fd7fb303225","datavalue":{"value":"1013.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4781602$F9F42AE9-876F-4F04-8AA2-A43B687AFF21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d6e3958ecd59ef8308845d606e8ada7bd937463","datavalue":{"value":{"entity-type":"item","numeric-id":782562,"id":"Q782562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4781602$41696A35-3796-4339-84FB-051D3DA7867F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ec7f7ecdf641cc967573093978184a5ab102f23","datavalue":{"value":{"time":"+2003-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4781602$7B5DB49B-3F56-441B-B52E-287D3D241F43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4781602$9BB54A01-579D-44D7-B115-F692A40021E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4781602$73E4E955-7069-4622-964C-57803D05E19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4781602$8EA8C290-DB08-40E8-A38F-C695F2632856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4781602$6DB43655-3C87-42FB-9C46-0100E6A0FF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4781602$9EA0A813-FD0B-4276-A205-936F53B38B4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1d513f3f15ad532165b31e29ac13df6db52e7b7","datavalue":{"value":"1827828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4781602$37CDDA09-935A-4B05-BC3B-1CEC603ACCF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4781602$4F5BD02C-653F-4EBB-B4C7-5B8335147E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4781602$AE0A3046-295D-4AAD-83EC-2E30CB576757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f4c64be41bfb3c2b89c73b0ab4350e0a766482a","datavalue":{"value":"numeration systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4781602$7CF3341E-89EB-41C9-8BE4-66CAEA6CDED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f3df9e7eea2fda7d7d68cb87808336dbdf6c9b","datavalue":{"value":"Feferman-Vaught technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q4781602$CFF1BD7C-9E4D-4F51-BACE-1BC1C4227F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f72baadfa32fc999dbae82200f5a6844596340","datavalue":{"value":"Erd\u0151s-Woods conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q4781602$C7D494B0-8958-49DA-8DAF-8B85115BC327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4781602$21309087-071E-473B-84A7-B0FD671C24B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4781602$30CAF4DA-0C56-4681-B95C-8E1D253C7034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4781602$4B6B5B46-4ABE-42A6-B932-559F6E526E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ccf6cc51aece3ac85b594f2a4792bb114f24df","datavalue":{"value":"first-order fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4781602$7A82DBC5-168E-4186-AD45-A3B5B4BCE714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eecaf608f8364efad07406e615bb4f5ba45d6c3","datavalue":{"value":"Skolem arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4781602$ABFE6A31-17C6-43D5-8377-AEF311F88E40","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":"Q4781602$2C3597D7-6D66-4AE0-8A83-6C125B4FC330","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1827828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1827828"}}}}}