{"entities":{"Q708925":{"pageid":710774,"ns":120,"title":"Item:Q708925","lastrevid":63790776,"modified":"2026-04-11T15:34:03Z","type":"item","id":"Q708925","labels":{"en":{"language":"en","value":"First-order reasoning and primitive recursive natural number notations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5800411"}},"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":"Q708925$CECD02A6-A956-4C11-B733-5298C6F0C755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebb445e0541cb75a7507ba24c1b27c2eef00dfbd","datavalue":{"value":{"text":"First-order reasoning and primitive recursive natural number notations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q708925$0C8FEAD9-3EFA-4964-BCE6-B2495D211F09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c20e63691cfccd53263c657312ed16604950a1a","datavalue":{"value":"1200.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708925$59438991-43C0-467A-81CF-8229516EC8C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e836e6a68e09c01aded6f58e26ea39930b5c8870","datavalue":{"value":{"entity-type":"item","numeric-id":689205,"id":"Q689205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708925$68ADA7C3-95C5-4780-A928-4B546F1D7AA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708925$FE25658B-3BAF-4974-8863-538D8F08AE44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d214923a38e7ffd38eef0923ebec08ba9fb27220","datavalue":{"value":{"time":"+2010-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q708925$4A6F33EF-9AEE-4028-AB6B-2D92FC16F561","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3e8e62a1538224dae7d4d0fb636deb492711c26","datavalue":{"value":"The paper is devoted to the reliability of first-order derivations in axiomatic elementary number theory in the case when the collection of its models is enlarged by including ``primitive recursive notations''. Two of such derivations are criticized, in particular derivations which claim, respectively, to establish the totality of exponentiation and to prove Euclid's theorem about the infinity of primes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q708925$7807B83A-A418-4027-8D4B-2D3D884EAEA5","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":"Q708925$314DE7AC-FC5D-492F-A457-8FAA2696E9A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708925$463C45A9-33AD-4B02-9C5F-DFFDA4A1D77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708925$01B0F7AF-4717-4DE2-86F4-9FE54337BC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708925$5EB531FC-3792-4F8D-B594-0BA4209748EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad84e377e998c5c4acc4ce2a0d1ae3dfda8d8dc3","datavalue":{"value":"5800411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708925$006919D3-32F3-4ADF-A34C-5AE8B33D4A60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q708925$AF1EE152-9344-404F-AA4F-72EE3CEB5F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q708925$A2E305BA-152B-4C3A-91B3-818237EFC422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc73fc6d8c7a9ee83012fb8343fee8bed5b19b6","datavalue":{"value":"nonstandard natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q708925$E3E2A5D1-DDC6-4342-BED1-1BBE0FB2A3F3","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":"Q708925$27923308-55C7-400A-9032-29BD1B125402","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fc680109cbb18b72476c6d81e20250329ee9762","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9272-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q708925$D7CF8F42-DF81-4680-A154-764F4D72038C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abb590b48ecf47101009c7b044ea10178a00f605","datavalue":{"value":"W1986380412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708925$A5C0486D-9476-4F1A-8D25-CC1130CD2D63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd3c6c07517d6c54f38de138e106e285808f76c","datavalue":{"value":{"entity-type":"item","numeric-id":1245931,"id":"Q1245931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708925$4BCE6AC7-9A87-4930-946B-1A5FFD1CD0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c2a53fc4be65dc4d71b7a875f542b2bfd3b1d0","datavalue":{"value":{"entity-type":"item","numeric-id":2911593,"id":"Q2911593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708925$A6D56854-25AA-4B48-A0D7-7B34FF53F0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe3653d89647516d174ca8d5e67c86693796717","datavalue":{"value":{"entity-type":"item","numeric-id":5485945,"id":"Q5485945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708925$E1A821FB-104F-424F-A67C-5D7A4081538E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c46b1c8828b7a908ced31b184a9cf7a09414c4","datavalue":{"value":{"entity-type":"item","numeric-id":689206,"id":"Q689206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708925$08F75736-A92C-4FD0-B313-4A954F08EBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9211a736b8504e16204161ea2f7ca6a807b4e8a","datavalue":{"value":{"entity-type":"item","numeric-id":1338480,"id":"Q1338480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q708925$7401D562-B762-4290-8781-2BB0B972089C","rank":"normal"},{"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":"Q708925$6586EB52-A592-4FFB-A492-CE24982D9205","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f834c4f6d081381075d166af33fc5da61e69521","datavalue":{"value":"10.1007/S11225-010-9272-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q708925$4DD44C21-9CC9-4343-A27F-20FB98472266","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bafdf3b5dbc88837df05c14f6387e729816f18a9","datavalue":{"value":{"entity-type":"item","numeric-id":5941260,"id":"Q5941260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefd29a7868d782da4a4ade18f5b31a6d851025f","datavalue":{"value":{"amount":"+0.7067663073539734","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":"Q708925$E607A824-5A13-44F1-8360-9A6131D1E310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba722aa68f9ec7dbc41fb0271522f1cc5f273667","datavalue":{"value":{"entity-type":"item","numeric-id":3741624,"id":"Q3741624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c0e996763f8261c2b5c2839da550da505e95ef","datavalue":{"value":{"amount":"+0.7034170031547546","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":"Q708925$DD222935-1448-44D3-9344-509B7BC5A498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae952f85f0e68eacce91764960796c544b80bd7","datavalue":{"value":{"entity-type":"item","numeric-id":3762310,"id":"Q3762310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79cb141ef233cdbc3a1297d5517f8381abd8a70","datavalue":{"value":{"amount":"+0.7005285620689392","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":"Q708925$0E276929-8A50-405B-8AC8-7E9B9C8BB7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcec93e1597e4c57cdb212205651fb95bf6aff4","datavalue":{"value":{"entity-type":"item","numeric-id":1091390,"id":"Q1091390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def73632444afb597ce894ec24483ed0055ed17b","datavalue":{"value":{"amount":"+0.698187530040741","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":"Q708925$9AB09204-501F-44AC-A457-ADE42C158ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aaa7c0363c91c87f487df431b82c1a1932b1723","datavalue":{"value":{"entity-type":"item","numeric-id":5019125,"id":"Q5019125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0073b01607e35f369e52cce0e374183d0fee25dd","datavalue":{"value":{"amount":"+0.697605550289154","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":"Q708925$545AB1BF-E54D-4C2D-B3DE-603F7472D549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order reasoning and primitive recursive natural number notations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_reasoning_and_primitive_recursive_natural_number_notations"}}}}}