{"entities":{"Q3863885":{"pageid":5893790,"ns":120,"title":"Item:Q3863885","lastrevid":88864889,"modified":"2026-06-04T15:41:03Z","type":"item","id":"Q3863885","labels":{"en":{"language":"en","value":"An Intuitionistic Definition of Classical Natural Numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3664945"}},"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":"Q3863885$A1AA98E6-D274-40F2-9818-8D9372905819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a873a0786a885b43fd2af67a919179d2bb0f5beb","datavalue":{"value":"0427.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863885$86770D20-01CF-4FD8-8DF8-485F630B7234","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6489d3c06f6abe38d834b04107e1687ecd535b5","datavalue":{"value":"10.2307/2042191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863885$1798CB91-455F-4894-AEB7-8CCF3EE108C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863885$AFC42731-8F47-4372-BD4A-EBA4C53795FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3863885$82FDE2EE-0E0D-41AA-8922-CBA9C2328161","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863885$95F7B1FC-B10E-46E6-8881-6974D2EAA859","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13ab1e71bbc9fdd67b0326584f0984fd65252067","datavalue":{"value":"3664945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863885$757AB6B2-AC5E-4465-9EDE-36BF433EA426","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebdccafc41144b2c499043ca45c5c201f2809020","datavalue":{"value":"theory of species","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863885$4AB0FD24-B8A3-461D-A98B-709C22DB222C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a21aa51170f0ff89b295995a6751a8a56aa14c1","datavalue":{"value":"classical second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863885$F1171405-1B7B-4CB7-BC4D-D605E8FFD24B","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":"Q3863885$8E537EC4-A1AF-4784-9559-087EC6EDD72A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfa881d14e420be2727233637d78564026622218","datavalue":{"value":"https://doi.org/10.2307/2042191","type":"string"},"datatype":"url"},"type":"statement","id":"Q3863885$36F35F19-0A09-4B7F-B2EC-7C1645823C77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58e811d38b8c1810f92f0a1f9d53857922b44ffd","datavalue":{"value":"W4245345708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863885$A6A19128-1BA7-4352-BE33-EB65A4C72103","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b59f72adc22fe51967b1fe07829ec4b6d24fc45","datavalue":{"value":{"text":"An Intuitionistic Definition of Classical Natural Numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3863885$77B99CDF-EBDF-469D-AD44-8CFE7251C5FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Intuitionistic Definition of Classical Natural Numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Intuitionistic_Definition_of_Classical_Natural_Numbers"}}}}}