{"entities":{"Q297665":{"pageid":299432,"ns":120,"title":"Item:Q297665","lastrevid":60743307,"modified":"2026-04-10T18:51:21Z","type":"item","id":"Q297665","labels":{"en":{"language":"en","value":"Arithmetical realizability and basic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594771"}},"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":"Q297665$E07C55AB-6D5A-4F77-90D8-E63505193453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b06ec0b8a2a37df1c174f8dfbbb69e1c3ef2bfb7","datavalue":{"value":{"text":"Arithmetical realizability and basic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q297665$A262BE23-23FA-4206-9B7B-2B6719ED650B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"405ae84662434bba8086e89dd07f6353eb6a6ebd","datavalue":{"value":"1338.03108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q297665$94761F3B-D32D-4CF3-8438-88A5122553AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"083f04bb076ac54aa42ce03917aba98c3d6af35e","datavalue":{"value":"10.3103/S0027132216010071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q297665$16B410BE-7442-46FF-B6F5-DC36F6BA6318","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q297665$116303DA-39F2-49C5-9332-408450F0E25D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c31e552012427c3e62f18a09181317c2bfb4828","datavalue":{"value":{"time":"+2016-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q297665$25BF80F7-1D7A-4C20-AD81-28EEB417E248","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q297665$866783C0-7E8A-46EB-BF12-65D0A520DE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q297665$F6920F6F-8FBC-4A14-844F-FD33E39E26BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q297665$61452757-0A03-4AFC-90BB-6377AC9EA674","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95061e27ec909f8d881c7cf76ce080077932f0dc","datavalue":{"value":"6594771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q297665$4980DAFD-95E3-453C-91AC-A59A4977348D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb52c07706d34f74f4a00a15c247dbebe989151b","datavalue":{"value":"arithmetical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q297665$6C205B63-E1E4-4D3D-9590-E34297922B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q297665$B3FBF3A4-807A-4ED1-9A46-AB7885E933E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cdb2930e2582528817f04af5d3addf5081c196f","datavalue":{"value":{"entity-type":"item","numeric-id":785956,"id":"Q785956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q297665$3FEF6D3F-E08E-40F7-81AC-419AE614BE8C","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":"Q297665$BD741B5B-8D35-4460-91AA-FAF85C96DE8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q297665$CDF0BEBF-F731-4A39-82AB-6FE7D32EC952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f85398194532fbcb10fd385f6a9cd3a54134518","datavalue":{"value":{"entity-type":"item","numeric-id":3216644,"id":"Q3216644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q297665$E7BA2086-6327-4C7F-BFCF-853F49005EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2089fa58da7d2fc1dfe60e40e3a108a0413c8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5937805,"id":"Q5937805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q297665$950F4548-EC0C-4DFC-BFF7-8F25CFB6A065","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61c6581ca7ad143b5c454a9aa7d2f68eed45d08f","datavalue":{"value":"https://doi.org/10.3103/s0027132216010071","type":"string"},"datatype":"url"},"type":"statement","id":"Q297665$8A119557-D3EE-44FE-AD53-CE283A8B42F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18fdec527324eae668b40773c2f0ade707cfd0aa","datavalue":{"value":"W2332874597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q297665$B8FBA63D-F203-40E4-9083-C9C627BB9881","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetical realizability and basic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetical_realizability_and_basic_logic"}}}}}