{"entities":{"Q1054720":{"pageid":1056568,"ns":120,"title":"Item:Q1054720","lastrevid":69527499,"modified":"2026-04-13T07:36:46Z","type":"item","id":"Q1054720","labels":{"en":{"language":"en","value":"\\(\\Sigma_ 1^ 1\\)-formulae on finite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3821701"}},"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":"Q1054720$609FBC3C-506F-4F83-B532-6A2F2C2460E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4b452e80ae6439d10e02adbe6cc655f96c8f536","datavalue":{"value":{"text":"\\(\\Sigma_ 1^ 1\\)-formulae on finite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1054720$9BC41B36-A5CA-44B4-ACEB-3853439B7BA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea5803127a45f7648f4683c1773f9553e83407e0","datavalue":{"value":"0519.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054720$55BFC853-3229-47E5-9569-346D121311AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e9da36394512ba09113b462b2203b15ab68e2e6","datavalue":{"value":"10.1016/0168-0072(83)90038-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054720$9CE496CD-2BFB-4AA4-A762-5B47689B141D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054720$F10B205F-C62C-4D2D-B587-84496D36BA01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1054720$D1594D57-3B47-4F58-83DD-FC4130AEE811","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054720$3ABE4A5C-C375-4F50-A3A3-EB033904FB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054720$7AF8B3CC-256E-4251-9EA7-88EBE3D443A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054720$3D324CD3-3CEC-4433-BC76-EB924F5A7BDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc363a5c1ff8b1fd67a4ea1f553a7858185441fd","datavalue":{"value":"3821701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054720$4C040EE5-912D-4CCC-967B-281BC1CDED51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54e4c688bb0bdf7bc7e71c5e77f1c31b88f62832","datavalue":{"value":"finite structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054720$3520444B-6824-4CB0-ABC2-E072E2E70C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054720$C545BDC7-C088-4081-BFF0-584D8305C280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054720$43113C5F-4D90-489D-99C1-DA85B1D30539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1054720$CF92B34E-D264-4AE9-B338-FC8495F4AB62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148865fab0c03358d2bdbf45e3f52d46a798048","datavalue":{"value":{"entity-type":"item","numeric-id":684397,"id":"Q684397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054720$36205BBA-40E1-4D5E-9CDD-6EB28573E038","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":"Q1054720$011352BF-BE89-4A18-9132-85CB25729155","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"400581b628a033dc2afcfb16924f016857af6c0c","datavalue":{"value":"https://doi.org/10.1016/0168-0072(83)90038-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1054720$E91815FC-1E79-4465-9180-C6296C4CEF5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a2ec2dfc528a1ff47ef0f262314973bd02d2e4d","datavalue":{"value":"W2036656440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1054720$AC65CD16-5C3F-4BE1-94B4-D875F53401C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd8b52328ff362cdc0a1ef37368d1be97a3c795","datavalue":{"value":{"entity-type":"item","numeric-id":3931384,"id":"Q3931384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054720$F44FB2CC-1846-4CB7-A575-5B37541A3B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73c5a57025b45f10348ef04248f115c0e52aa16","datavalue":{"value":{"entity-type":"item","numeric-id":4739895,"id":"Q4739895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1054720$FD30407B-A42A-43B2-B5B7-9A734AA392A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\Sigma 1^ 1\\)-formulae on finite structures","badges":[]}}}}}