{ localUrl: '../page/formal_definition_meta_tag.html', arbitalUrl: 'https://arbital.com/p/formal_definition_meta_tag', rawJsonUrl: '../raw/4gs.json', likeableId: '2761', likeableType: 'page', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [ 'EricBruylant' ], pageId: 'formal_definition_meta_tag', edit: '5', editSummary: 'clarified use', prevEdit: '4', currentEdit: '5', wasPublished: 'true', type: 'wiki', title: 'Formal definition', clickbait: 'This page gives a purely formal definition of a topic, rather than motivating, explaining, and giving examples.', textLength: '300', alias: 'formal_definition_meta_tag', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'EricBruylant', editCreatedAt: '2016-07-14 00:30:18', pageCreatorId: 'EricBruylant', pageCreatedAt: '2016-06-17 01:06:23', seeDomainId: '0', editDomainId: 'PaulChristiano', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '2', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '81', text: 'Meta tag for pages which give formal or brief jargon-heavy technical definitions of a concept. Formal definitions should be secondary [17b lenses] when explanations are available.\n\n[todo: Write a more detailed description of these pages.]\n[todo: List some examples of high-quality definition pages.]\n', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '1', maintainerCount: '1', userSubscriberCount: '0', lastVisit: '', hasDraft: 'false', votes: [], voteSummary: 'null', muVoteSummary: '0', voteScaling: '0', currentUserVote: '-2', voteCount: '0', lockedVoteType: '', maxEditEver: '0', redLinkCount: '0', lockedBy: '', lockedUntil: '', nextPageId: '', prevPageId: '', usedAsMastery: 'false', proposalEditNum: '0', permissions: { edit: { has: 'false', reason: 'You don't have domain permission to edit this page' }, proposeEdit: { has: 'true', reason: '' }, delete: { has: 'false', reason: 'You don't have domain permission to delete this page' }, comment: { has: 'false', reason: 'You can't comment in this domain because you are not a member' }, proposeComment: { has: 'true', reason: '' } }, summaries: {}, creatorIds: [ 'EricBruylant' ], childIds: [], parentIds: [ 'arbital_meta_tag' ], commentIds: [], questionIds: [], tagIds: [ 'stub_meta_tag' ], relatedIds: [ 'algebraic_structure', 'relation_mathematics', 'iff', 'conjugacy_class', 'order_of_a_group_element', 'group_coset', 'category_theory_equaliser', 'prime_number', 'group_stabiliser', 'inverse_function', 'group_orbit', 'field_structure_of_rational_numbers', 'order_relation', 'identity_element', 'transitive_relation', 'set_union', 'ordered_field' ], markIds: [], explanations: [], learnMore: [], requirements: [], subjects: [], lenses: [], lensParentId: '', pathPages: [], learnMoreTaughtMap: {}, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20323', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'deleteUsedAsTag', createdAt: '2016-10-26 12:03:56', auxPageId: 'uncountability_math_3', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19341', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'deleteUsedAsTag', createdAt: '2016-08-28 00:30:31', auxPageId: 'underlying_set', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18991', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'deleteUsedAsTag', createdAt: '2016-08-20 13:13:27', auxPageId: 'group_isomorphism', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18956', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'deleteUsedAsTag', createdAt: '2016-08-20 12:59:39', auxPageId: 'bag_mathematics', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18908', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'deleteUsedAsTag', createdAt: '2016-08-20 12:39:05', auxPageId: 'operator_mathematics', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18894', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'deleteUsedAsTag', createdAt: '2016-08-20 11:56:52', auxPageId: 'convex_set', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18864', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'deleteUsedAsTag', createdAt: '2016-08-20 11:38:54', auxPageId: 'binary_function', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18861', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'deleteUsedAsTag', createdAt: '2016-08-20 11:38:21', auxPageId: 'mathematics_ceiling', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18561', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'deleteUsedAsTag', createdAt: '2016-08-08 09:35:02', auxPageId: 'poset', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16676', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '5', type: 'newEdit', createdAt: '2016-07-14 00:30:18', auxPageId: '', oldSettingsValue: '', newSettingsValue: 'clarified use' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16612', pageId: 'formal_definition_meta_tag', userId: 'JessicaTaylor', edit: '0', type: 'deleteUsedAsTag', createdAt: '2016-07-13 04:12:26', auxPageId: 'convex_set', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15488', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '4', type: 'newEdit', createdAt: '2016-07-05 22:34:37', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15487', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-07-05 22:29:10', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15486', pageId: 'formal_definition_meta_tag', userId: 'AlexeiAndreev', edit: '0', type: 'newParent', createdAt: '2016-07-05 22:28:53', auxPageId: 'arbital_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15484', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '3', type: 'newEdit', createdAt: '2016-07-05 22:28:52', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13938', pageId: 'formal_definition_meta_tag', userId: 'PatrickStevens', edit: '0', type: 'newUsedAsTag', createdAt: '2016-06-18 15:45:50', auxPageId: 'category_theory_equaliser', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13796', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'newUsedAsTag', createdAt: '2016-06-17 23:37:32', auxPageId: 'iff', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13784', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'newUsedAsTag', createdAt: '2016-06-17 23:27:10', auxPageId: 'bag_mathematics', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13764', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'newUsedAsTag', createdAt: '2016-06-17 23:21:14', auxPageId: 'relation_mathematics', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13758', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'newUsedAsTag', createdAt: '2016-06-17 23:18:00', auxPageId: 'underlying_set', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13754', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'newUsedAsTag', createdAt: '2016-06-17 23:17:18', auxPageId: 'operator_mathematics', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13750', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'newUsedAsTag', createdAt: '2016-06-17 23:14:49', auxPageId: 'group_isomorphism', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13740', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'newUsedAsTag', createdAt: '2016-06-17 22:02:17', auxPageId: 'order_of_a_group_element', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13424', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '1', type: 'newParent', createdAt: '2016-06-17 01:34:30', auxPageId: 'arbital_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13422', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '0', type: 'newAlias', createdAt: '2016-06-17 01:07:03', auxPageId: '', oldSettingsValue: 'formal_definition', newSettingsValue: 'formal_definition_meta_tag' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '13421', pageId: 'formal_definition_meta_tag', userId: 'EricBruylant', edit: '1', type: 'newEdit', createdAt: '2016-06-17 01:06:23', auxPageId: '', oldSettingsValue: '', newSettingsValue: 'Created page' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }