{"entities":{"Q3767346":{"pageid":5797252,"ns":120,"title":"Item:Q3767346","lastrevid":51911309,"modified":"2026-01-20T12:52:29Z","type":"item","id":"Q3767346","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4025439"}},"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":"Q3767346$B6DFBA44-44BD-4399-8BC3-5E30CBDC6268","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78cd2a5f1c868bb07cdd57aa16de28eb866fa3cb","datavalue":{"value":"0631.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767346$47B49EE6-0E52-4F7D-AE14-D0E93D1F5A3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3767346$CF91D141-D988-4E1A-858B-E6733467853D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3767346$57B2FA68-0D65-4C28-82DA-0BC1617ECA61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767346$7014395C-B21A-4D39-8994-DF8C72394B17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8f51a4654f9cedecbb3758da9f6a6997b5f07d9","datavalue":{"value":"4025439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767346$265383E2-624A-48BD-871B-B06999C6BF26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f316b2630dba872a6bf428b91cabb539f8e934","datavalue":{"value":"subsystems of second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767346$3DA2C004-3178-4A9E-BC63-D0E7FD195AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"406120b3fe0079b95821cf6485aad114cd2d24c3","datavalue":{"value":"full comprehension principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767346$21C12C23-6E1C-4806-BDF1-F1991F14DFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a88895af7d2dece676c0f72b9e1251acd79c407e","datavalue":{"value":"theories for classical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767346$40FA15F1-7ACA-42CA-8303-3A5D20CD1C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"786054ab9c568a87248588e837f6638eb812edaf","datavalue":{"value":"weak systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767346$DD3E0A5C-F63F-4C66-8815-DE8B865E1CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0e6f3ac39f3891df3d804caf1bb3939e9e18a6","datavalue":{"value":"logical reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767346$0424B54D-5971-4798-B08C-F9D42D16EC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767346$16435DB5-A155-4A55-90F0-B18DAC7516AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767346$9F4992C8-9087-4466-8B37-A331CC2BE752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767346$DD51F396-3925-43B9-8B8D-8D1BB135A226","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":"Q3767346$5836367D-3830-44D6-ABE4-297A3F8879FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152274efbde0378996060f440f36682128e14955","datavalue":{"value":{"entity-type":"item","numeric-id":1841001,"id":"Q1841001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6c0b66f23c89b5006ef11c56f698afd7a5a3b7","datavalue":{"value":{"amount":"+0.7742113471031189","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":"Q3767346$1AEB1107-AD4F-4CC5-80D1-29380ADA5FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5777eb9af789c1a7952fdfaf6f677660337084a","datavalue":{"value":{"entity-type":"item","numeric-id":1202497,"id":"Q1202497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6c0b66f23c89b5006ef11c56f698afd7a5a3b7","datavalue":{"value":{"amount":"+0.7742113471031189","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":"Q3767346$4F0B2FD7-1DA5-433D-B81D-17151257D96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940b6dcd8950abc36b845f7581e57a016e232a46","datavalue":{"value":{"entity-type":"item","numeric-id":3803081,"id":"Q3803081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5dcdb65cc069b8c8c7da4da50dd6de0ed29038","datavalue":{"value":{"amount":"+0.7738792896270752","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":"Q3767346$AD5C22A3-63FD-4AF4-AB24-39D86442DD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c21a0437bf7b39e102388ebbd0b82d161f84a3","datavalue":{"value":{"entity-type":"item","numeric-id":3305638,"id":"Q3305638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016c83764682e5fef018cb44f3d598f4606352f8","datavalue":{"value":{"amount":"+0.7419565320014954","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":"Q3767346$C9956D03-5C16-4671-8CAE-6D77AFC366A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cc887c3bd14f28fa90bc31fec8da5b095636da","datavalue":{"value":{"entity-type":"item","numeric-id":1841000,"id":"Q1841000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e09ae4bf1024fb436d2399e4710672323f861de","datavalue":{"value":{"amount":"+0.7402631044387817","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":"Q3767346$F88AEED0-183D-4AD4-821B-7F72995E180D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3767346","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3767346"}}}}}