{"entities":{"Q2177579":{"pageid":2188322,"ns":120,"title":"Item:Q2177579","lastrevid":57763548,"modified":"2026-04-02T10:33:27Z","type":"item","id":"Q2177579","labels":{"en":{"language":"en","value":"On the constructive truth and falsity in Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197406"}},"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":"Q2177579$B6BDA6BB-293E-4422-9D1A-C3ECA90CF055","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d17523977f1fb53c9d7f68882b351ea96ae04309","datavalue":{"value":{"text":"On the constructive truth and falsity in Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177579$D460C64F-7BAE-4F36-AF0D-0713C7392326","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab627a853cc55dae3ac1f3a1a8672e4993ee076e","datavalue":{"value":"1485.03250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177579$29F823D4-726E-44AF-96C6-2C5268AB06D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d653f7c40084b9772a20dd7db549c110567d918","datavalue":{"value":"10.1007/978-3-030-36755-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177579$1D3619C1-AA9E-4F7D-8584-A4BAFF9EC7C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c21b911446dff7b633c86665c36eaff6815454","datavalue":{"value":{"entity-type":"item","numeric-id":600851,"id":"Q600851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177579$EE10D8AC-8DAB-4C17-8FFC-FD75F95B41CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2177579$9CC71664-2A57-4F51-8668-E48C814368BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3a861de5e8669886d96839611597c6dc83b7926","datavalue":{"value":"https://arxiv.org/abs/1905.10494","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177579$0921F031-FF12-4FDE-9112-5DA4AEA2FE31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177579$C6981F42-69BA-45AA-B01E-813E469403D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177579$27B85EF6-0824-4067-A17C-399CDD3D38FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fd4add73a3771bd9d2149f602cca19e25529a2e","datavalue":{"value":"7197406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177579$B36DE626-5367-487B-9A89-7B824006A12F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177579$8DA9F8F2-8205-4DC6-B97B-FCC2BEFE10D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177579$825DB77A-2997-4119-BC96-8086B4ADA355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177579$B436C032-6E8F-4AD3-B34B-F34AA1690BB2","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":"Q2177579$F511BE60-3819-4056-B728-0C9FAEC527EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98d289563d4269b90aa42ce52312040fd5b6f773","datavalue":{"value":"W2995027571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177579$7B41B090-3240-45FF-91FE-6D330E9D1189","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9fd63b99683e1a87bf3e9f56e6a3db2e841451","datavalue":{"value":{"entity-type":"item","numeric-id":5028314,"id":"Q5028314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f6d583af14aff1cab1f4a3d090a992f32ad5ce","datavalue":{"value":{"amount":"+0.967060387134552","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":"Q2177579$E6FB7550-B22F-4517-A292-7D39FAF59402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2532ac6cc965f02da40729c90b4a1ba5835b24","datavalue":{"value":{"entity-type":"item","numeric-id":1181476,"id":"Q1181476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc244c99a1a10bb09be07cdcb5d4c143b5c4b22c","datavalue":{"value":{"amount":"+0.7364572286605835","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":"Q2177579$BE538869-83CC-437E-925B-BCD472214B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa583b578fd8afa0365df90b88ba4ab49564106","datavalue":{"value":{"entity-type":"item","numeric-id":3617381,"id":"Q3617381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcab4fed8368772943658c1b2cc790bbaaf1b1d9","datavalue":{"value":{"amount":"+0.7364417314529419","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":"Q2177579$3F8F2F7D-D733-45BA-900E-786B6377070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf14a7d97251139c6e3ea177e9a45e6e49fd2827","datavalue":{"value":{"entity-type":"item","numeric-id":5202185,"id":"Q5202185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba1a7de1507d8d37752c1391f5a83e3837d9869","datavalue":{"value":{"amount":"+0.7350597977638245","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":"Q2177579$03794C16-251E-4AAA-A971-E1399647C96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a9e916093923c1ab582cec6a5ba1479d0cfa69","datavalue":{"value":{"entity-type":"item","numeric-id":3812241,"id":"Q3812241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74a86bfcf2b44c424e659674620040edd73558c","datavalue":{"value":{"amount":"+0.7323198318481445","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":"Q2177579$5687A437-D3EA-41AE-8D91-EDCB1DFAD072","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2177579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2177579"}}}}}