{"entities":{"Q5084572":{"pageid":7114148,"ns":120,"title":"Item:Q5084572","lastrevid":54351599,"modified":"2026-01-26T16:42:36Z","type":"item","id":"Q5084572","labels":{"en":{"language":"en","value":"Takeuti's well-ordering proof: an accessible reconstruction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7549301"}},"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":"Q5084572$4C1B30C2-7A9F-474A-94C3-058837EB6804","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08468a4e6200a4cd1c04b7c2403b031f5e227880","datavalue":{"value":{"text":"Takeuti's Well-ordering Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5084572$197F590D-35D0-4F76-90A8-B9975231174F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"446788f73a9cbba58673d3d9ae301450b549a7d1","datavalue":{"value":{"entity-type":"item","numeric-id":1711781,"id":"Q1711781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084572$44D7F37B-EE14-458D-9E85-BC5DED6D97E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94541b1bb3819ea98903ef1696b95b45d54f8fad","datavalue":{"value":{"entity-type":"item","numeric-id":1711782,"id":"Q1711782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084572$B0D762D0-4AC3-4103-A80B-AC1F3850F06F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69dbb2b4c88052dd4e2de10d8b493ae56163fb3e","datavalue":{"value":{"entity-type":"item","numeric-id":3121032,"id":"Q3121032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5084572$6D461D25-3FE1-47F7-BCCA-CCFC747F1A95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dba42a7602513fad0c1a043c5f7fcf442ea1271c","datavalue":{"value":{"time":"+2022-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5084572$7ED382B3-4545-477C-B55C-CEDBFB0AB835","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084572$6097012C-B593-4F03-B532-A8B428B044C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"747d0faeaeaa58e586724e2b9c6c1bb35546e28d","datavalue":{"value":"7549301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084572$0DF5A605-DF30-4C28-A18A-9BB7AEE865A6","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":"Q5084572$0A270892-8823-402D-9E28-844055477F7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"264281a17c49f9097716784bcecd2fd5c18e7a89","datavalue":{"value":"https://doi.org/10.26686/ajl.v19i1.5911","type":"string"},"datatype":"url"},"type":"statement","id":"Q5084572$C4C79394-3DB8-445B-9654-96E8D86BACFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd2c435e15edde63e96f66087c8302ba4b7cd49e","datavalue":{"value":"W4224221430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084572$2FE9134F-D1A4-440A-BEE0-B7589031D080","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1eefbfd28687c43cd8e2c10c6b27ad06d052352f","datavalue":{"value":"10.26686/AJL.V19I1.5911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5084572$8C52058A-B232-459F-8164-3F0C6ADF4D4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9190cc5560b8d00a93a1236db9aa94fe4346581b","datavalue":{"value":{"entity-type":"item","numeric-id":1711783,"id":"Q1711783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753eabc727bd52e6dbf097f2c9ff0a0f33402bbd","datavalue":{"value":{"amount":"+0.8911662697792053","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":"Q5084572$5485E8F7-28C9-4C66-A913-9D15AD54E1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80919e725f36aa7a771fafdbac6f4284966c32d","datavalue":{"value":{"entity-type":"item","numeric-id":2863601,"id":"Q2863601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b985780f3dc771a8327c3913c637939fae09d9b","datavalue":{"value":{"amount":"+0.7994596362113953","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":"Q5084572$62042D2B-8CF5-428A-B5AF-3E7337BFDA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0864c587ffd0671a32cb3927c84ad701eea3be1f","datavalue":{"value":{"entity-type":"item","numeric-id":5361248,"id":"Q5361248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2513d3199527f7820a827848f518883e102b582","datavalue":{"value":{"amount":"+0.7811926603317261","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":"Q5084572$CF5AA70A-2806-4198-AF9B-97858EA082F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fee1b21036fb7f4149c1238b99e16fa824f5068","datavalue":{"value":{"entity-type":"item","numeric-id":4364500,"id":"Q4364500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e07abcb6662b4ac15a0bf1b2678cc29c4fdb39","datavalue":{"value":{"amount":"+0.7772191762924194","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":"Q5084572$CCE8A2FE-B07E-4B68-9042-C9F264AA8C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95edf9163bfa4fb8a11f650f4dfdcb4e85e2947","datavalue":{"value":{"entity-type":"item","numeric-id":3101104,"id":"Q3101104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e07abcb6662b4ac15a0bf1b2678cc29c4fdb39","datavalue":{"value":{"amount":"+0.7772191762924194","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":"Q5084572$140C3D56-5A8D-48A2-9B5D-7C6A53C4C194","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5084572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5084572"}}}}}