{"entities":{"Q6904404":{"pageid":20925736,"ns":120,"title":"Item:Q6904404","lastrevid":84172355,"modified":"2026-05-13T00:30:37Z","type":"item","id":"Q6904404","labels":{"en":{"language":"en","value":"Truth, proofs and functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8117105"}},"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":"Q6904404$887EA856-2434-407E-8401-3A383A870919","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b62510713fae8f10c383f3b875ec73069624fec5","datavalue":{"value":{"text":"Truth, proofs and functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6904404$6D0FC6CD-555E-44BD-BEAC-3458A99B56FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d6a8f5bbba4abdf083797fe90a8bb6a2acf0a19","datavalue":{"value":"1573.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904404$17A7F06D-B26C-4E83-8D6B-60EF824D86F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f715fe65a8dcbe1bb2f2e06304622cdbc2cdcf31","datavalue":{"value":"10.1023/A:1026274716840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904404$0F00CF79-C7D2-4B1C-9946-7F2995FDAF4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db9e51ce80292be6936012577a75a3713a538bbb","datavalue":{"value":{"entity-type":"item","numeric-id":5250216,"id":"Q5250216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$84EB4E15-28F8-4A2C-8CB6-92F6B2B453D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$3D21F1D9-35EA-4851-B510-93C5A66E44C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb362a705940cd90fcce9cff27386cf2e571803f","datavalue":{"value":{"time":"+2025-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6904404$8F9709BD-49F5-4665-940A-75BAD5BB080F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904404$D11D2C2B-0581-4E34-AA46-82CF2CED8A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904404$22EFF865-B3B0-4EA5-9E6A-8D1623C53959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904404$08621F67-D74B-43AD-A5E4-0B16868345B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29eb779077220af4a723b732026746dc80f213a9","datavalue":{"value":"8117105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6904404$9FFF98A9-34D6-407E-9698-AD9752F62D36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2a65bd0b56765f4ac5e062f28b03e3f82cbd7c9","datavalue":{"value":"classical truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904404$415B8A03-CED9-4E86-B30C-BE0E25581C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904404$442EA042-A572-4D06-94D6-1E7D4C5056EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18b249bb84edb7d0df38bbee3ffa9ac98116846d","datavalue":{"value":"truth amount","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904404$421683EF-295B-47A2-A47A-61B186F72E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ccac56ca277225fe03d6591f4df930ce34e61d","datavalue":{"value":"mathematical proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904404$86CC3EA4-3C21-451A-A4E1-2A243232C042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0737cc768bcc8fea60859e2c933a627e0768a469","datavalue":{"value":"Tarskian definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6904404$68D93E63-898B-4B1D-9ACD-431CC265D3FC","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":"Q6904404$C7891A77-B083-481B-A789-82BE8715DEBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$CA43F33A-77E1-4BF7-9B11-9AF6630CE978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"136125ab2d53cd2deba9ba482ebf6489bfb65abb","datavalue":{"value":{"entity-type":"item","numeric-id":1516656,"id":"Q1516656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$643CF475-8AB5-4550-B6CA-53E67FAA00D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$A44C00B9-304A-4348-A406-C031417FB7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1458bfac42ad286313aff266819d8c1ef7aaaea","datavalue":{"value":{"entity-type":"item","numeric-id":5613908,"id":"Q5613908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$03D6F43A-219E-4EE3-8D08-EF8003E02C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05636096481ccb8a848a628c362a5b1beb31c4d","datavalue":{"value":{"entity-type":"item","numeric-id":3214892,"id":"Q3214892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$B9FB8409-E4C3-423D-8574-92015C7100E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ffae7793cb2f017658a44896cb5888b517a415","datavalue":{"value":{"entity-type":"item","numeric-id":4770943,"id":"Q4770943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$EA96051B-B930-4CBD-892F-82313C315051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a20f8652fd0d1f7b6894e3a01368ec836a9336","datavalue":{"value":{"entity-type":"item","numeric-id":571214,"id":"Q571214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$81A2CACF-1C0B-43B9-BCA5-FF5F4C7DF166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7c19c852f9877294464e5a7bf91a7e38fc7384","datavalue":{"value":{"entity-type":"item","numeric-id":2539037,"id":"Q2539037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$D5BB5D87-30EB-45AF-984F-61B8A8E29351","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":"Q6904404$BEF9541F-8A89-4080-81F0-080D40F51154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$DC30C240-B0F1-452C-ABD2-22FB4DF5DC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1760682e44bd53ae9a340eb6fb1f43172b76cf32","datavalue":{"value":{"entity-type":"item","numeric-id":3259069,"id":"Q3259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$6D75BF8E-A376-4CDF-BC3A-3E917F39610C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"779a756daeab8a8a58e91b2835f5b54603849913","datavalue":{"value":{"entity-type":"item","numeric-id":5343326,"id":"Q5343326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$34CC7138-3D15-475D-9DFC-D2B19BDF4D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78529980a5954018f5a0a13cb9282bf059b803fb","datavalue":{"value":{"entity-type":"item","numeric-id":5525322,"id":"Q5525322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$4CE3ABA6-72AF-4B16-B217-CF48FA89DA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ad9da17a866aedbb1fcb0b1b80324ca70c7695","datavalue":{"value":{"entity-type":"item","numeric-id":5619069,"id":"Q5619069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$4F3BF012-7474-43B4-8AA9-770FB9833005","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":"Q6904404$EBB1EB6B-917B-47C4-BB7E-F17E24C7A5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4c6d9ba83c8d7d076cf23fbde61713704c7a35","datavalue":{"value":{"entity-type":"item","numeric-id":4247025,"id":"Q4247025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$C353C1D3-2F17-489B-86D7-F44DE86FC981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad4905c3ba5f825b1c47112f2dfdb7b9a3bd4a5","datavalue":{"value":{"entity-type":"item","numeric-id":793721,"id":"Q793721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6904404$181FD411-04B5-4844-A170-4CFB21FEDBA0","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":"Q6904404$3410EA73-288C-4ED6-922B-BFF831F0AC28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Truth, proofs and functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Truth,_proofs_and_functions"}}}}}