{"entities":{"Q3346307":{"pageid":3357015,"ns":120,"title":"Item:Q3346307","lastrevid":48761659,"modified":"2026-01-05T19:35:37Z","type":"item","id":"Q3346307","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880682"}},"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":"Q3346307$F4F29CC8-4BCD-423A-B748-DE863E06540A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19e386ee75575070a547fec45cf990f4fdd67b92","datavalue":{"value":"0553.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3346307$8399D25F-5CB1-4F6C-9E01-C1D25D0F67D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30f57550dde9f482f0fb1e31a266606abdea62d8","datavalue":{"value":{"entity-type":"item","numeric-id":372639,"id":"Q372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3346307$6E9D3E51-021A-4F54-B2E1-3B111A3ED0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44176704c420391b1ec646932fc59126c7d2f6cf","datavalue":{"value":{"entity-type":"item","numeric-id":264026,"id":"Q264026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3346307$85C6A886-D55C-436C-9F20-FE293A07A77E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3346307$44BE269D-B5BA-4526-86B0-1394745FAB2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3346307$D24A93A7-253B-4D2C-AD2C-83B34E294BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3346307$B5E9E1F1-5295-4BB9-9EB8-1466D5F14AF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83952614d7e22845d6ddfbe09ef42c698d086258","datavalue":{"value":"3880682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3346307$7D5A7DDD-8F07-48A5-B585-8477EFFFCA2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df8497c0117eee88452c2ed9b2b74ac2b121274","datavalue":{"value":"bounded formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3346307$D54E9434-55FA-4DE8-B89B-C4E990A20056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08321b0eab62649a36626de79d675b69bb04be01","datavalue":{"value":"subsystem of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3346307$67DB3CBD-A6CC-4323-9CAD-62E70919DD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbdcdb68f38daa2b48322f1b5d12a4ecba19e626","datavalue":{"value":"bounded induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3346307$2EADF094-9435-4685-AEF9-64500A167F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3346307$7DEB1E27-19D2-4CEF-A6C2-9C65974DF29A","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":"Q3346307$3E457F38-D358-4EFE-83DF-1058D6142E6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd588964afbae448a4cac58ae86e516228bf9c80","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635c51e9848886887eacbd178b7a5ca8e30298ce","datavalue":{"value":{"amount":"+0.8070741295814514","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":"Q3346307$E52B450E-CB13-4D95-B637-19A4A2A8E5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8261886948f14cb59ff6658e1e67a5d38ebf9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":4565103,"id":"Q4565103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbffe11624c0986585955e83b67ca6f969395a3","datavalue":{"value":{"amount":"+0.7890160083770752","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":"Q3346307$B4D13901-DBFB-4F04-8F53-2A703D81B6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c4c056f5b7980e481a8cd2f1203de9243ef4a0","datavalue":{"value":{"entity-type":"item","numeric-id":1896613,"id":"Q1896613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5be5211e8e85d58095bcaa340995bc57f28b42d","datavalue":{"value":{"amount":"+0.7877640128135681","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":"Q3346307$0FC6BA74-6E0B-4939-A086-1D04152C8BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ebc7db4f5b7f4f6b42b5c7d5ecc4673153b275","datavalue":{"value":{"entity-type":"item","numeric-id":4735189,"id":"Q4735189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42008ed2c00a57a864155d209ae89948f611cc6","datavalue":{"value":{"amount":"+0.7848660945892334","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":"Q3346307$30283B80-CF36-419B-B2E2-59B47BE1F91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51cc5b3c52376e8beaa36270fa41c761d3a29eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2309507,"id":"Q2309507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e507b0b203bd430c6a5c69008e694038859184","datavalue":{"value":{"amount":"+0.7819340229034424","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":"Q3346307$BE2F06DD-8288-465A-B017-DC1680ABE181","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3346307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3346307"}}}}}