{"entities":{"Q3028994":{"pageid":3039710,"ns":120,"title":"Item:Q3028994","lastrevid":49092418,"modified":"2026-01-06T14:17:01Z","type":"item","id":"Q3028994","labels":{"en":{"language":"en","value":"Peano Arithmetic and Hyper-Ramsey Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016881"}},"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":"Q3028994$24E16119-1371-4062-8B6E-89A7B2DBAC3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e8e24a128c25e61853792ba9f8915ded9b4b045","datavalue":{"value":"0626.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028994$08981828-030E-401D-ABA8-2F174A15D3D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d570ae9e57b5fb38e8bf55d7f5848874cf959ab","datavalue":{"value":"10.2307/2000376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028994$6121BF21-597E-4616-A80F-9012B712F241","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80620c2b4df8756e658fe199f1a89d0f51d86188","datavalue":{"value":{"entity-type":"item","numeric-id":190265,"id":"Q190265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028994$CCA6CEF2-B732-44C1-9157-581CF3EC219C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3028994$57C2F749-D72D-4D78-829B-293B8A31FFC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028994$55081643-E533-4F34-B921-46A82B9E0C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028994$29987FAB-3D26-4BD3-AADF-CC2E641ED096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028994$DE64FF22-AE7B-470E-AEB0-81D566CBEEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028994$AFE8BF47-2C78-4FC3-82B3-14D5054B28EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2891232b542a6a97d9b5d925a1cb2aad96a106da","datavalue":{"value":"4016881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028994$B31176B9-38AF-48E2-AC40-ED86642BCEC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028994$6C64A078-9E86-40C9-8279-E4C86FC1B39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c035ce5837e8151e6840ca120dc39eb804838925","datavalue":{"value":"Ramsey logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028994$22A985F0-44A3-4F1D-805A-5540FD96CA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7010c2da262ae30262762edb52a75765cd41a6f5","datavalue":{"value":"fragments of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028994$0E6ECB2E-B202-4FFF-AD52-1542BF66AF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45d3e4c5347ddb98590a45f19dc6db07ac9fdcc","datavalue":{"value":"natural models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028994$63834EEB-3620-41F3-BD8A-D5BA4A94A00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5f8337d152566964549c325c328131571de2b77","datavalue":{"value":"Ramsey quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028994$72D692D1-0606-40A1-AD25-794D00AEEF7A","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":"Q3028994$B62AB198-9C6F-4ECE-B8E4-68D2F9658DF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02c860ef5bb4e6c40a19abd5cd7edfbe3f4c1cfe","datavalue":{"value":"https://doi.org/10.2307/2000376","type":"string"},"datatype":"url"},"type":"statement","id":"Q3028994$6DE4FDCA-F84E-48EE-BFE3-2C52C2D223ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"807097babcbacfb85985d9ddfd006e7cf93456ad","datavalue":{"value":"W4233015408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028994$6D915951-212D-43F9-9E40-DFC7038E8014","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e6a2c6798bfee669dfe5cf39e744411a37f7fe4","datavalue":{"value":{"text":"Peano Arithmetic and Hyper-Ramsey Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3028994$5246CECB-3983-4037-8C35-1831450EF274","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7867921f8e5a18afc0a31efd699e0ad8e0353b01","datavalue":{"value":{"entity-type":"item","numeric-id":4132525,"id":"Q4132525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028994$10C430EC-461D-4921-96EC-B2726E3817CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20d97d3bbd0a4f86c9ba087fcc00907d9550d77","datavalue":{"value":{"entity-type":"item","numeric-id":5331471,"id":"Q5331471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028994$18E84850-EF48-47E3-B3A0-D894FF1AC0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53049bc2c5e709c5bdaebbb2dfcdc24aa07e420e","datavalue":{"value":{"entity-type":"item","numeric-id":4128785,"id":"Q4128785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028994$6C59F97D-D024-4482-93AB-C15AB1D66E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2003cf2c4645e7cc4c5af62b21819a39338ba5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2562079,"id":"Q2562079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028994$C16D99C7-441D-4484-B2E7-C22AEB89B57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14411f324330e707679cf79763a71f6a64b3b3c1","datavalue":{"value":{"entity-type":"item","numeric-id":3953757,"id":"Q3953757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028994$981948D9-2CFC-4699-9436-D77BCA39F57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4117209a37214de8ad6e90d28f6c63e41095a9f","datavalue":{"value":{"entity-type":"item","numeric-id":3028994,"id":"Q3028994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028994$DDBEC93D-ABFD-4F61-A01C-EC7B745FC965","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e70e1cdec42ddf3d5710e29e974eea64645c514","datavalue":{"value":{"entity-type":"item","numeric-id":3682484,"id":"Q3682484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbeec8e3e89d2721fdef0733f03afe53c82298e","datavalue":{"value":{"amount":"+0.7575129270553589","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":"Q3028994$3D0C18F1-AF74-439A-8AD3-6F4804844588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984a31636ad00d56ab4006a7754aa3c26696084d","datavalue":{"value":{"entity-type":"item","numeric-id":3813817,"id":"Q3813817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec1a2a7f2f4f927e5565112ce36d7fdddc89ec7","datavalue":{"value":{"amount":"+0.7345062494277954","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":"Q3028994$053F492F-A306-4C83-9992-E655EC916055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737e2de74ef34807d3fbf8ec664b108113a50386","datavalue":{"value":{"entity-type":"item","numeric-id":1913630,"id":"Q1913630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce5558fc103a7f344080eec02d51eec39259fe2","datavalue":{"value":{"amount":"+0.7339778542518616","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":"Q3028994$C3F2AA56-9262-4B30-8046-C5FBDFD81CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e17a63133f658fa2d7ffa3a641966172b2f061b","datavalue":{"value":{"entity-type":"item","numeric-id":3781756,"id":"Q3781756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3db26e1cbb86e800b88ad600dfaf0ddc6cc341","datavalue":{"value":{"amount":"+0.7316634654998779","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":"Q3028994$78727611-1FF8-4DE8-9E7C-3A142D9EA456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956b97ae9bd786765e9ca0896991f9818b597f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f5e4b45237a64e20e7906d2e67a042e3b762d6","datavalue":{"value":{"amount":"+0.7279552817344666","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":"Q3028994$2314885A-22C5-42CF-B78F-64FAC3965FDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3028994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3028994"}}}}}