{"entities":{"Q5028314":{"pageid":7057891,"ns":120,"title":"Item:Q5028314","lastrevid":54220517,"modified":"2026-01-26T12:04:40Z","type":"item","id":"Q5028314","labels":{"en":{"language":"en","value":"Constructive truth and falsity in Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471464"}},"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":"Q5028314$611C8657-7192-47BF-9343-6CB341E2900D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81b5ae27897327f12fd2cd19d811ee8ae13d0952","datavalue":{"value":{"text":"Constructive truth and falsity in Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5028314$BA181050-4645-4C77-B5F1-285C220C27F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c21b911446dff7b633c86665c36eaff6815454","datavalue":{"value":{"entity-type":"item","numeric-id":600851,"id":"Q600851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028314$0CA863F6-7B91-4189-BEF7-764BDB1203D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"488e6207134e67ec131f48c4bb4bab2c61330f44","datavalue":{"value":{"time":"+2022-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028314$A91BF7EA-B594-4B1C-BB20-625ED9109028","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3a861de5e8669886d96839611597c6dc83b7926","datavalue":{"value":"https://arxiv.org/abs/1905.10494","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028314$3DFBEFB8-C81A-4986-8A92-A46A49325788","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028314$B21B7EFA-3335-48F2-B763-945542AFE514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028314$6B54C138-591A-4A32-A930-ABE86B7FCB1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"793cf3498293b04e34b03955acda35ed7bb8e83b","datavalue":{"value":"7471464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028314$46001DFA-3EF1-4E3C-B530-1DAC255CA48A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028314$BF291F83-CBEE-4171-9D4E-7D3B09B54C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028314$CD98D5AC-D8CC-4540-A46B-B9B024EFFF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294ce292240a6f433049300002b95cd141bb363b","datavalue":{"value":"foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028314$2EDD18B2-C1DE-4099-8E7B-DC38DAB89C9C","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":"Q5028314$B3A2375D-A1BF-4D20-8288-819D904A0E79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7996766668d639a60e9bf88b06caf2c3a709468","datavalue":{"value":"W3114560232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028314$D6756DE0-183E-476A-9FF7-831FBA71E166","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf303a36e7136078a8b99e47190c25e3f689ae9e","datavalue":{"value":"10.1093/LOGCOM/EXAA075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028314$673B7ED9-7195-4721-B6EA-94938F5C4C9D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028314$9BF5D67F-8A04-499A-B4C4-242CE0B2CBBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c86cb5e41480ddf7d3c17728a12e1ba008c7972","datavalue":{"value":{"entity-type":"item","numeric-id":2177579,"id":"Q2177579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f6d583af14aff1cab1f4a3d090a992f32ad5ce","datavalue":{"value":{"amount":"+0.967060387134552","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":"Q5028314$FA35A241-B5EF-4F2D-9CC1-9D7534A30E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2532ac6cc965f02da40729c90b4a1ba5835b24","datavalue":{"value":{"entity-type":"item","numeric-id":1181476,"id":"Q1181476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21827b343fd62be6db4498332c97a6fad71481ce","datavalue":{"value":{"amount":"+0.7601045966148376","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":"Q5028314$781F4058-E319-4B92-B29B-12F6FEE84F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794ccc62eb5751f3ed52cbf3625ea0f71bbaaedb","datavalue":{"value":{"entity-type":"item","numeric-id":3677761,"id":"Q3677761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11618c0ebca4b19bb1d24c666abcde54b6105341","datavalue":{"value":{"amount":"+0.7570770382881165","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":"Q5028314$F2814432-1B5B-4032-922D-E9F39C6FF4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397271f785bcd6e56e04c2c00001043f106d703e","datavalue":{"value":{"entity-type":"item","numeric-id":5213627,"id":"Q5213627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5230d269ee03aa56e619f3dfd91f15ef0f2be0c5","datavalue":{"value":{"amount":"+0.7497870326042175","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":"Q5028314$A2665613-4B66-4B1A-B3A4-158FA909B8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e81a41673c609f3d8cc1f40b101e65857668d348","datavalue":{"value":{"entity-type":"item","numeric-id":600852,"id":"Q600852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629e0243305e0258527161d40d3c3cbdd4b06934","datavalue":{"value":{"amount":"+0.733254075050354","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":"Q5028314$3DEBD1C9-CA3A-4327-A41B-D9A568B76A24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028314"}}}}}