{"entities":{"Q3809795":{"pageid":5839701,"ns":120,"title":"Item:Q3809795","lastrevid":53523272,"modified":"2026-01-25T03:56:27Z","type":"item","id":"Q3809795","labels":{"en":{"language":"en","value":"The independence of Peano's fourth axiom from Martin-L\u00f6f's type theory without universes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4079413"}},"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":"Q3809795$00CA6690-96D4-48B0-954B-6EAE018D7D8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a321badd59f687b74c4661fb2fbc1e858c9d2067","datavalue":{"value":{"text":"The independence of Peano's fourth axiom from Martin-L\u00f6f's type theory without universes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3809795$336D2795-30F7-4E1B-8A7A-5E49E6D7C235","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9014e3523e8fb11b8911204ec49062a0c5bfe18","datavalue":{"value":"0661.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809795$86EE8E16-C710-40D7-9599-5BB815AB27C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b6871ed1f749d040bda2ca8c31c40b495aab2bc","datavalue":{"value":"10.2307/2274575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809795$E3B51FCC-476D-4AB7-8C86-4EC78F399FC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7d96d2c68882294e26baabd03e0c606a357194","datavalue":{"value":{"entity-type":"item","numeric-id":800718,"id":"Q800718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809795$0E37C474-4E93-4739-94EF-F21BA9C9B0AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809795$6EBB5799-E2B5-4959-947D-892AF0CD2CB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3809795$4BB074A2-CCC3-4A4B-9D03-D98656B97640","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809795$29F8715B-AF98-4B05-BC97-AB27E8A94C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809795$D66E02BF-42E6-40E8-91E4-EEA46625A054","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dba5c7f319bb06549c68cc957dfd38891f62fef","datavalue":{"value":"4079413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809795$7A794E5A-A83D-4BE5-9A80-21A4E3A74E4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809795$6B136297-9179-4656-B7F9-0D6BB54F3838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2a89517e29f96c0582e7ef59731cb72f680c7dd","datavalue":{"value":"Martin-L\u00f6f's type theory without universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809795$D3F7C3C6-BD94-42AE-B6E0-0A1C050D87A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66beeb842d39dfcf440b621787d11a73cc138048","datavalue":{"value":"first order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3809795$C5260887-7179-485A-9553-060A3B587119","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"816b98c2221a88b28928954b4f593ebb227bd9ff","datavalue":{"value":"Q114589028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809795$C57EB844-B383-4412-AF49-4F9A98EC5169","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":"Q3809795$47FAB0CB-174F-4C06-B5CD-9E4B2832F996","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61f3e1f15e1229f1397e3dbcdf7e6a7ebf81befd","datavalue":{"value":"https://doi.org/10.2307/2274575","type":"string"},"datatype":"url"},"type":"statement","id":"Q3809795$48DBEE8D-B5A8-492F-AC42-986C5EADB55C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e3e8460e9f9d730e339881970a80cc1d947db49","datavalue":{"value":"W2017438886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3809795$4A693DEC-76F1-436F-B7DC-EE104F691606","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28198614af480b9e51725473cd093916b37b84ed","datavalue":{"value":{"entity-type":"item","numeric-id":2645424,"id":"Q2645424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3809795$E8B5C558-065C-4E08-9AAF-7F6E84A8CCE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1917e1939faf8735d7befd7876f673498d2ec760","datavalue":{"value":{"amount":"+0.7528121471405029","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":"Q3809795$1C8F5662-0E88-4AAB-B80F-323786B7797A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794d279d05da52b247bcca346036b3a0e9ee7c88","datavalue":{"value":{"entity-type":"item","numeric-id":583201,"id":"Q583201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c274ded4e2373b5a89de390a4e8d4451c83e55","datavalue":{"value":{"amount":"+0.7503604888916016","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":"Q3809795$F3E3B9B8-F017-49B7-B036-67CD4E791991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a86783be468d2adab8db2bcfe00a00cc438adddd","datavalue":{"value":{"entity-type":"item","numeric-id":813417,"id":"Q813417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82637c9578ded2c37d3c167541e0ec02d639e317","datavalue":{"value":{"amount":"+0.745320200920105","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":"Q3809795$3E160896-97C0-4A9A-839F-507D59F2FBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c627492fd500f9c724d36db9e0f420687d667a","datavalue":{"value":{"entity-type":"item","numeric-id":4247302,"id":"Q4247302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9e1e5d8c009f3167598aa5f9c4617152b12edb","datavalue":{"value":{"amount":"+0.74369877576828","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":"Q3809795$8AC740A9-B2EA-4129-B9D6-91BB52D78EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c0867e245a452e44f078e1a0c502914012c5dc","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9e1e5d8c009f3167598aa5f9c4617152b12edb","datavalue":{"value":{"amount":"+0.74369877576828","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":"Q3809795$7911CEF8-592E-427B-96AF-90E53EF525CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3809795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3809795"}}}}}