{"entities":{"Q2642795":{"pageid":2653538,"ns":120,"title":"Item:Q2642795","lastrevid":50158196,"modified":"2026-01-13T07:25:49Z","type":"item","id":"Q2642795","labels":{"en":{"language":"en","value":"An interpretation of \\(S_2^1\\) in \\(\\Sigma_1^b\\)-NIA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187466"}},"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":"Q2642795$EEB2AE6D-2FE7-4A1C-8401-38D3A2A70226","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ad9a6fba786d0099cd2d7c0e22ea1f8a590d287","datavalue":{"value":{"text":"An interpretation of \\(S_2^1\\) in \\(\\Sigma_1^b\\)-NIA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2642795$45B66207-F1EF-4BE8-8418-D746B14FE3F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d08af97c904c611e31664d06975f28f593c42c7","datavalue":{"value":"1124.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642795$2E673A53-E635-4792-B2AB-B32DAC165448","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642795$21E8ADA0-D2AD-4DA7-8E07-F89465CA978F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74d5c1de56f651c607d14039fd75a8fd555b6c96","datavalue":{"value":{"entity-type":"item","numeric-id":276256,"id":"Q276256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642795$5D3619C6-59C9-45A1-80F9-AEC7E97A1BBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0da1cb3a9fbcb78801361ca630307ed2635d6e0","datavalue":{"value":{"entity-type":"item","numeric-id":209011,"id":"Q209011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642795$21108E99-9EF0-447C-B0F0-9F5897A3C666","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2642795$4E6DA294-8675-428D-B03F-E6809276E60F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aee157101c1dae26040a6c513884f50c5b4f8076","datavalue":{"value":"https://eudml.org/doc/53547","type":"string"},"datatype":"url"},"type":"statement","id":"Q2642795$206905BE-16D9-4A78-A4E6-6425D0973917","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"00277094b005dcd719e350ab02007f3fec4d2e12","datavalue":{"value":"It is shown in the paper that Buss's theory \\(S^{1}_{2}\\) is interpretable in the Ferreira's theory \\(\\Sigma^{b}_{1}\\)-NIA (originally denoted by \\(\\Sigma^{b}_{1}\\)-PIND). The proof of this fact is for the first time carried out formally.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2642795$C32ADF72-DA78-43FA-981C-D1D4E7EB88E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2642795$F11F4962-B436-4F5B-8A85-794F7F946CAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642795$ABFDF1B2-9E9F-45AF-9796-3987CCB3AEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642795$24EBFFAE-C415-42E4-B3C5-A7CBAF203395","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a2a25b90125836f579fca38f1f5705724272d57","datavalue":{"value":"5187466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2642795$07AA3472-4CEC-452A-B3A3-DAB8CF884634","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":"Q2642795$CC1B2441-9009-4951-A5BD-35398F1AADEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a053703088c035a2835a39f9778e6d344d2dc5","datavalue":{"value":{"entity-type":"item","numeric-id":3739120,"id":"Q3739120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd26cfce1dc502ef83af64a9d93632d13451a35","datavalue":{"value":{"amount":"+0.7431890964508057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642795$16FBC085-1D30-49ED-84B8-EB991BAB0CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e0d1c4bb29c51d910595ef45134dd6514aaa86","datavalue":{"value":{"entity-type":"item","numeric-id":1176098,"id":"Q1176098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326d039ad4200451bc0834049f056255da5916d4","datavalue":{"value":{"amount":"+0.717642605304718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642795$D00B03EF-CDA4-4E86-8142-A3F65EBA1B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40276e0be76d48d778707b521dd611651d9d10f","datavalue":{"value":{"entity-type":"item","numeric-id":3816072,"id":"Q3816072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f7a7b5d5bbcea907584501d5754b9c8e290ccb","datavalue":{"value":{"amount":"+0.7176112532615662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642795$0DD34FCD-0496-45F0-A978-4C7F2D189849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f80c43dbc919f3d959818684f76aa827c15331","datavalue":{"value":{"entity-type":"item","numeric-id":2345393,"id":"Q2345393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de3738f55f9d87a81b5a17556e6aec47d86e2df","datavalue":{"value":{"amount":"+0.7093240022659302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642795$84C3D71B-B773-41C9-8F4E-EB2C0F04F2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242389439ac99f0043978be6bf447b2a362ff2a","datavalue":{"value":{"entity-type":"item","numeric-id":1107528,"id":"Q1107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ddfcdc0b82a13e178a272f71cf4bbb40f5bb6d","datavalue":{"value":{"amount":"+0.7060725688934326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2642795$49730F98-8C4B-4FB3-A4EF-126942D9BFFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2642795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2642795"}}}}}