{"entities":{"Q4749835":{"pageid":6779415,"ns":120,"title":"Item:Q4749835","lastrevid":34680413,"modified":"2024-06-13T16:40:11Z","type":"item","id":"Q4749835","labels":{"en":{"language":"en","value":"A well-ordering proof for Feferman's theoryT 0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3805541"}},"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":"Q4749835$F4FA6B72-E9B5-4248-9EF2-A8DA1FC70237","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c91c92e3036f78d1d0e93a146af8e5357aaa0f1","datavalue":{"value":{"text":"A well-ordering proof for Feferman's theoryT 0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4749835$B7F151B9-7D09-44C5-95DC-33B5F014B3DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a00d079775d22a5bb0def989e375398acde49f7","datavalue":{"value":"0511.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749835$B9D83FC6-2CC7-4CCF-B6E5-379CC1400D48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e5dd6c539114fb5dbca32fb681a7f68226a120a","datavalue":{"value":"10.1007/BF02023014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749835$61C2FECE-3A2E-4FEE-9103-E2A41E757C6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749835$BFDBFFD1-8F88-46ED-A910-9F7CBDA1C186","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749835$83E644BA-9AF4-4619-A3DA-54855DECC470","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q4749835$12AC3397-D756-433D-AF75-B8D8CF6C6DDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"275ef06f149a7ede9ab94604458aad1c8ec7415f","datavalue":{"value":"https://eudml.org/doc/138008","type":"string"},"datatype":"url"},"type":"statement","id":"Q4749835$BFCFEB13-E402-48D1-B836-6EF981FCA014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749835$660791D3-46AA-4E4D-B5B6-337B779E4E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749835$C9BA1C8F-3F57-450B-8682-523EE42E873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749835$2ADCD9EE-934C-4D31-8CFE-EAB70325289D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3aa9fd980bc0dc66499886373718e08455a4ad2","datavalue":{"value":"3805541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749835$C9ADDECE-624B-4220-8FD9-EA8EF3918CF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749835$58CAC41D-E309-4836-88BF-6A502AE018FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a92e7382f047b9dd2d558e84247263ba6566685a","datavalue":{"value":"constructive well-ordering proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749835$6729E20E-F813-4FE9-9CAA-C2189A2DE987","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":"Q4749835$19D684FE-CCA4-4223-889F-3FF4F49277CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fc2e7459eaf322f6bdf4106f28738c73144017","datavalue":{"value":{"entity-type":"item","numeric-id":4198748,"id":"Q4198748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749835$D948756C-EF46-4028-BC93-F173F4B4679B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749835$8D0528DA-FFF6-4B49-B969-EA5ABB2A66F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749835$BE8A56E0-04D4-457D-9DF5-6C08B38DAF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749835$C646098B-85F4-4D7E-A6F1-FD315EB1E691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4749835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4749835"}}}}}