{"entities":{"Q3917483":{"pageid":5947388,"ns":120,"title":"Item:Q3917483","lastrevid":54988639,"modified":"2026-02-02T14:17:53Z","type":"item","id":"Q3917483","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3729437"}},"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":"Q3917483$014F4222-EA2C-4547-AB50-FD7379C8D56C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82242f215f79319eb6191ecf7f13c07a94a9da31","datavalue":{"value":"0465.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917483$944EF018-905B-469E-87D4-F69E83924703","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3917483$EC0657D6-6E8E-4613-93B3-BFFE8105FCFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3917483$AAE4714A-FFAB-4F5A-9CF9-B12765C4F7AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917483$40DF1D41-FBCE-4AEE-9F61-E83665E1CBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917483$D5BE130A-86A3-4EF9-844C-E46BBE0939BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917483$E6EF22B8-7BBA-4212-8790-956D0C9BEFC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5ff5b9aa83cf7fce07ffaf9e7dd6dcdd1f1a1cb","datavalue":{"value":"3729437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3917483$4F05ACE8-88BB-4271-90CF-B9EC29F03CEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53e9af042b6aae786a649b21f8510f7a952210e","datavalue":{"value":"regular programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917483$16345849-B253-4EC1-97D4-8AC983975607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a62b95dd2e53de908fdd7651b17f3455ce85481","datavalue":{"value":"regular first-order dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917483$3161ABB0-7501-44D5-8145-4F8D531F67B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603c1a722d34632538432e71f953dc30b044685d","datavalue":{"value":"nonstandard semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917483$1AB029DD-8F3E-4762-9E6C-8BD589F6BA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18506fe2b82683f98f0554b8e1cfac9dc377f2fa","datavalue":{"value":"nonstandard interpretation of arithmetical notions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917483$0001D038-C344-4E20-B372-B292F369E835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed96de97b0a609b359b7c86a233bcbfc19923f4a","datavalue":{"value":"finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917483$47DE70DE-1EBE-42F1-B218-26A2EE99498C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e88a441ec9cc32f05da4b34781dd0825b5eae067","datavalue":{"value":"interpretation of iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917483$28FCC172-DB22-4BEA-859D-3B90A4C6AD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc878375c586c07036a6fd2ea9ca531fd0a36af","datavalue":{"value":"arithmetical axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917483$D491C019-FD8F-4472-B4EF-DAF946797017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917483$6CABDCC4-7668-46DE-B00E-C7631049D346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d54771bfe51e9d10f494511c79abbe7d90cd697","datavalue":{"value":"semantical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917483$72DBBFCF-5AA7-4007-8133-CE53373F9E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80c23bf8da5c556a6a7e8a0dbbe5e262d617017a","datavalue":{"value":"recursive axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3917483$34D05726-B87F-4DEF-A3B8-F08EB5CB8AA0","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":"Q3917483$1F70B788-EE28-4F12-82BC-6271751F45DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3917483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3917483"}}}}}