{"entities":{"Q6865658":{"pageid":20690557,"ns":120,"title":"Item:Q6865658","lastrevid":84242207,"modified":"2026-05-14T02:44:51Z","type":"item","id":"Q6865658","labels":{"en":{"language":"en","value":"Consistent ultrafinitist logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8153267"}},"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":"Q6865658$CEE00B3E-A545-435C-99B1-C0B029592E23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71bcdc37aa5b51d18d4b974867e72e9e380782ab","datavalue":{"value":{"text":"Consistent ultrafinitist logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6865658$A210D42A-BA12-47E6-A111-C46C4F255AC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e1d9c066a79a14b2d3ad74385442044a68ebb5f","datavalue":{"value":"10.4230/LIPICS.TYPES.2023.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865658$6BB13CA9-CA78-469C-A6CF-EB80AF14A836","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80befb97b283d4bfa6111fd2ec310c4f443fa19","datavalue":{"value":{"entity-type":"item","numeric-id":6425414,"id":"Q6425414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$F0280FE1-6D5F-43FA-8240-A44E3315DBA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59db53334aa774736a913683f0c2c8728a8f4267","datavalue":{"value":{"time":"+2026-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6865658$3F9563FE-32FA-4C55-8191-0F5068C3DC67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865658$17BBF207-76AD-4704-96F4-1ADE7AC7E97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865658$155F8794-DDCA-4076-BDD3-4CD536523632","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e8a1c593ff4f064cacaa9b9d53f921ca93b3c7d","datavalue":{"value":"8153267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865658$6692F51A-C32F-4888-988D-38DAA6AB4627","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$BDA85712-DF2A-4748-8FCA-C567FBF138DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef829f5531610a0d4cdf1b6fa0bdc6c5f6eb405","datavalue":{"value":"ultrafinitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865658$DB49A558-3C16-4E2F-A345-7CACB756AEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f1a89c0f378cc36f51106ff3cd260cb8016787","datavalue":{"value":"bounded Turing completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865658$16036B23-A336-4082-AB3F-C3A6D49655D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"073d272070f05b2e3a21202214e96cc071b9a039","datavalue":{"value":"logic of computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865658$A3B05BC7-DE2C-446C-8154-E1FA53815092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01191f9d7f9387164a177c19b32f93873d483518","datavalue":{"value":"decidable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865658$D55DD261-A621-4BC8-B2EB-4EB631ACE562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d10051997a8bf783f7b784a7e49dc9c2b7671726","datavalue":{"value":"explicit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865658$A79B1C66-C93E-4FEA-88D6-2B2FAEBB9FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36210dc2eab2a57ab803d30bcaad72bde789b395","datavalue":{"value":"strict finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865658$DBDBDA3C-DD4E-4039-B1D8-90104DEEA2C7","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":"Q6865658$5AD0F6ED-AF95-42F6-A575-06124E1C67D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ae45f11d039b13e3537bd38c8b726270d8fca6","datavalue":{"value":{"entity-type":"item","numeric-id":1437034,"id":"Q1437034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$A64F7006-AA5C-40A3-A100-CBF05C8B2AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c1414cd9962fbd399a92ea473a6510c885053d","datavalue":{"value":{"entity-type":"item","numeric-id":5111304,"id":"Q5111304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$3C43D13D-15F4-45B9-9A04-42B8B799079D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c22eb0ef2370260eb985143f6e6e1a69c548d9b","datavalue":{"value":{"entity-type":"item","numeric-id":1473589,"id":"Q1473589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$9F164E7F-5C34-42B5-B5F9-E18441C780A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e939b32ec478a1880a7238952ebc2c86f8191bd","datavalue":{"value":{"entity-type":"item","numeric-id":3942932,"id":"Q3942932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$BDA687A5-59EA-49B0-B521-7ECE394CB94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1379b0d7d914117fc328aa912a1b68f679f2271","datavalue":{"value":{"entity-type":"item","numeric-id":1074559,"id":"Q1074559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$6ABE1E46-524B-4355-8588-B504F0C666E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10cbb1771e448eb34b49739e806cd8956c5b308","datavalue":{"value":{"entity-type":"item","numeric-id":5875893,"id":"Q5875893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$19DCB343-E306-47C4-A4E0-70FA7032B4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$9203E19E-3D40-4D59-95CB-20754EE1A838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e91655c6bf6f9d782943532d26e6a7bfea83026","datavalue":{"value":{"entity-type":"item","numeric-id":3954784,"id":"Q3954784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$5913B9E4-9919-4F10-ACBE-4A648508BE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"949bb879675a89c1b9aa86a3ed643b251ffeaf62","datavalue":{"value":{"entity-type":"item","numeric-id":1222153,"id":"Q1222153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$006AC93B-E38F-45A5-8560-8DCDF0402718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b904f3056f2301dac2b9c70a01e25a40f524faf","datavalue":{"value":{"entity-type":"item","numeric-id":2711445,"id":"Q2711445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$E9EEE38E-2D7E-48DB-8D3C-702CF92C37C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f9c621289145389be4c5216ec9442d6665b7d8c","datavalue":{"value":{"entity-type":"item","numeric-id":600847,"id":"Q600847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$ED3BCEF6-5668-4627-996D-EBCB6234ADB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$902E32CE-2AB5-4A12-834D-4AF227458F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec0c6339a6656b04c8db9d9f87d70c68dd44245","datavalue":{"value":{"entity-type":"item","numeric-id":571218,"id":"Q571218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$7A072D67-36FD-4F72-9743-A2F2911CCEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bcaacfea2aa87458e1d3c1aa5260e6875d0121","datavalue":{"value":{"entity-type":"item","numeric-id":5834329,"id":"Q5834329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$4BB4677B-F9F4-44EB-BA29-CC6748F21FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b9decdcc3dd6629690b4d0694c51890bcfe4164","datavalue":{"value":{"entity-type":"item","numeric-id":3665369,"id":"Q3665369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$7E1BDE04-7882-4C78-97AF-68F958BB8C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f279c3aae830bd080ba63bbd071063b16cfe554","datavalue":{"value":{"entity-type":"item","numeric-id":5569445,"id":"Q5569445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$B81E3BCF-0B99-4BCB-A662-9E6F18289B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce64da331db2221625b14c18f3b94cc05dbffc","datavalue":{"value":{"entity-type":"item","numeric-id":1508777,"id":"Q1508777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$38AEE94B-5329-4837-B0A8-F83B47ABDDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941fd739d49f6822850913c1370983f71048d1d9","datavalue":{"value":{"entity-type":"item","numeric-id":5908333,"id":"Q5908333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$BB85227B-9D7B-4497-8908-98F1684CE99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b05c0128e9a1cc52c74f21ba9bf82bbffc463e","datavalue":{"value":{"entity-type":"item","numeric-id":5556431,"id":"Q5556431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$F415EA8D-523C-49BA-B9B8-D2AAFCF8AD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8951abfeb6b811622a1e6e0f8781b8446048b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5410454,"id":"Q5410454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$5F69F4E6-CB30-4968-9014-2D99B8DBA749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$DCE49C80-D623-4B20-A735-AED2C0C7DD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e2c220b8046c49b674508e158891d530d7219d","datavalue":{"value":{"entity-type":"item","numeric-id":6159947,"id":"Q6159947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$83D31248-F6A7-4A71-B156-237C5C3A3C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0913ae5d30c72e7da1d0adcc017fc94d399272c","datavalue":{"value":{"entity-type":"item","numeric-id":1404042,"id":"Q1404042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$A72F7265-3608-476D-A5DB-00041BBB01F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$32156D9F-7330-433E-AE60-8BBA0BC7B8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$1A08261E-B5DB-4648-95D3-2BBDC281F308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1420eb5b183c580e3eaa2025b4097787d860ff45","datavalue":{"value":{"entity-type":"item","numeric-id":1112584,"id":"Q1112584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$15A4DE19-005C-4D01-B7AC-7FD284E356E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$AD127DBD-94BF-4670-BD89-1975C0ED2113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6f94ff6bff1f466e5a725cb44f55496a28422b","datavalue":{"value":{"entity-type":"item","numeric-id":3293401,"id":"Q3293401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$7976AAC1-5BA3-48F4-896F-EC1DBC7F2FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$FD9CF752-C2F7-4003-8184-467D2859AC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba44a939c9f385837df2f90549f1df3f16c7b77","datavalue":{"value":{"entity-type":"item","numeric-id":3902991,"id":"Q3902991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$779A3D27-DB4F-436A-BA9F-048D9588B93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62756db01e363051fb903b58c62718f57d2ec5c4","datavalue":{"value":{"entity-type":"item","numeric-id":4640304,"id":"Q4640304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$8EE39254-1A49-4D61-9679-A8643D5C3298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0d5237ba02ae5d4978449cd2f94fa27dfd3b1c","datavalue":{"value":{"entity-type":"item","numeric-id":5792036,"id":"Q5792036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$39BACA7A-03B3-4CFB-A4AA-B5EE513960EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329b4ac551647bf3c9b6afa898f84dd05dca7c22","datavalue":{"value":{"entity-type":"item","numeric-id":6064275,"id":"Q6064275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$470C88F9-7C0F-4E05-86B0-B4908CEA6400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d16b79e78f7c125981f93d04400e36cfbceaef","datavalue":{"value":{"entity-type":"item","numeric-id":5488257,"id":"Q5488257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$CD730CF7-0652-47FD-8F18-D326C8CC4310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0859db62baa15d81e8867dcbf985a99f06a645c4","datavalue":{"value":{"entity-type":"item","numeric-id":5344167,"id":"Q5344167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$F84BB459-5D14-4D4F-9B42-6160B42ECE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b9fffeaa7225551f4c344e9f48f6990b870f29","datavalue":{"value":{"entity-type":"item","numeric-id":5233095,"id":"Q5233095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$033D4A16-2AC8-4DF7-901B-BA92151455EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc924498fefa8d96482fa4a41e8f9adadf25d1a3","datavalue":{"value":{"entity-type":"item","numeric-id":1445045,"id":"Q1445045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$926493EE-882B-489F-862F-6ADAF9E9D9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c4a3c37390df6e84b474a3a289fc3666097f70","datavalue":{"value":{"entity-type":"item","numeric-id":5626286,"id":"Q5626286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$77D24C39-3423-4AA6-BC84-F55C375EA323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$70B4BDBA-4A93-49E5-8FA5-9968B2AEFC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$2650141F-8D04-41A3-8DCC-14D307C158D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48cc1c93b9050629a9c39487a95240fda8d5f712","datavalue":{"value":{"entity-type":"item","numeric-id":790094,"id":"Q790094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$6728ABB8-F824-4617-84FB-1379424D157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2399188c750480c0e663609ad6f6c29f4a276a","datavalue":{"value":{"entity-type":"item","numeric-id":5590784,"id":"Q5590784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865658$B3F4F58D-9A80-4714-A078-D53A6F4B2092","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistent ultrafinitist logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistent_ultrafinitist_logic"}}}}}