{"entities":{"Q3029007":{"pageid":3039723,"ns":120,"title":"Item:Q3029007","lastrevid":49092463,"modified":"2026-01-06T14:17:03Z","type":"item","id":"Q3029007","labels":{"en":{"language":"en","value":"A Conservation Result Concerning Bounded Theories and the Collection Axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016899"}},"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":"Q3029007$70F8920D-DE1C-4C5D-A37D-E7A91DFF2542","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"201a331009b1816ad81a2be5c867325353962dde","datavalue":{"value":"0626.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3029007$870D5674-2D98-4BA7-AC06-682CFD23E93B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4edca61d3afa9a276c68e3c64e5f5bc2e4f6f95","datavalue":{"value":"10.2307/2046710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3029007$7B63B678-29FC-4B32-A8F1-5DADA31C3498","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3029007$C2620C05-4BE6-4882-AE7C-6F67698AB40B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3029007$F3129F29-C18D-4185-8570-BF8D412F6437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3029007$986BC365-68C5-4DEE-8D5B-F7D74D086CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3029007$849FD93F-19E4-4832-ADB9-9E51BAAB118E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37d2b6573a412b05079d06213e41a15988469edb","datavalue":{"value":"4016899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3029007$C1329852-A25B-44B3-A8B7-DB19728DE72A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3029007$9C3F9FE1-A571-4B8C-B3BA-C860DCBB591F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9d302514367ad64c57aeac2f8789be1e0003be","datavalue":{"value":"collection axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3029007$39730E06-B3B4-4444-A743-BA38A658F381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbb2febd37c5def0173f3515623d929aca413a33","datavalue":{"value":"proof theoretic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3029007$C5C3A54E-3B2F-4A88-B5AC-B1D91FDC666B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3029007$BC0988BE-075F-4DA7-A768-7D92ECF916B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32dc83d66a3e6beb1c85b8554f333e03e8d8f15d","datavalue":{"value":"Gentzen's sequent calculus LK","type":"string"},"datatype":"string"},"type":"statement","id":"Q3029007$D0049181-5754-4382-BA34-3AC9F28BDF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd901a3522549580244b03af17de29d54da9a9","datavalue":{"value":"model theoretic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3029007$09D5BB50-7479-4724-AB01-7B7D6CD817B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f153ca07462f068de798e37f29d117da2ab48fc2","datavalue":{"value":"resplendency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3029007$5355F421-1C48-43E5-9CD3-25FB40223FCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3029007$484F1E80-26B8-41EB-B16F-05FF95992723","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":"Q3029007$B961335C-62E6-4693-842B-0A0FADF30D95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c6814a04ede906c229ff230e869aa8d1c6bbd0c","datavalue":{"value":"https://doi.org/10.2307/2046710","type":"string"},"datatype":"url"},"type":"statement","id":"Q3029007$A154D7DF-21E5-48D3-A4D1-AC9B7CAE0781","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85d7ff6f81e7561a8097c0c0dbe096f8b3024863","datavalue":{"value":"W4244570573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3029007$11B0A193-6A57-49C6-A9EE-47048AB08602","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec1153aa98e4e23f179fbd782852d6996959a752","datavalue":{"value":{"text":"A Conservation Result Concerning Bounded Theories and the Collection Axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3029007$286CED8D-9B92-46F6-A4EB-B94959D26FFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3029007$16001B6E-2019-4E41-B3C8-116720D99E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3029007$148A283A-49C5-48F7-BBF2-9EB44AA1E9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3029007$3FECEF94-B6BE-45E0-9FD5-E5F6C0E81978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3029007$B913604B-DDEB-42BF-9E9F-F0D4C91BD478","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91240cf30087291545b29183dc984d261ab98d66","datavalue":{"value":{"entity-type":"item","numeric-id":4867394,"id":"Q4867394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f5db0cfca885114754196b281f576c99418100","datavalue":{"value":{"amount":"+0.851698637008667","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":"Q3029007$E27B6554-7EF6-4CA6-B94F-C8A6DA046777","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":"d213fa167abb64ab3c1f1858f85af7e520c4e29d","datavalue":{"value":{"amount":"+0.7951268553733826","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":"Q3029007$1E4AEE68-684E-4BB3-86FD-AC15ABD3E1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ef99667338a9f6145b24341f7624b80670f137c","datavalue":{"value":{"entity-type":"item","numeric-id":3611724,"id":"Q3611724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a269d8729efeb74d6809491465f265869b62c1d5","datavalue":{"value":{"amount":"+0.7776241898536682","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":"Q3029007$3DDB4129-7F05-490C-BC32-BF11AB29B641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be241b03bc484f9d877814ee74d1945dcc501880","datavalue":{"value":{"entity-type":"item","numeric-id":1264147,"id":"Q1264147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdab0d29f57fabcd1fde933e71908c3d7ca047c","datavalue":{"value":{"amount":"+0.7762961387634277","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":"Q3029007$5E490BC2-72CE-4D22-B128-791BDC56C750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7cf2bddc1bdbbb99bc09afd6251963098d986d","datavalue":{"value":{"entity-type":"item","numeric-id":1267837,"id":"Q1267837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71d1a828a18d464388d51e63bf3a81b3be46b3f","datavalue":{"value":{"amount":"+0.7757235765457153","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":"Q3029007$9FF4F526-871F-47EE-BE22-EAF3BE073C94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3029007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3029007"}}}}}